检索结果-内蒙古大学图书馆

Simple three-party password-based key exchange protocol with provable security

International Journal of computers and Applications 2013年第1期35卷 44-50页

作者： Xiong, Hu Chen, Yanan Chen, Zhong Li, Fagen School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China School of Electronics Engineering and Computer Science Peking University Beijing China School of Traffic and Transportation Bejing Jiaotong University Beijing China

Three-party password-based authenticated key exchange (3PAKE) protocols allow two users (clients) to establish a session key with the help of an authenticated server over an insecure channel. Owning to the significance in building a secure communication channel, a number of approaches have been suggested over the years. However, the lack of formal security proof is a major issue in the related literature. In this paper, we propose a simple 3PAKE protocol based upon elliptic curve cryptography along with formal security proof under the decisional Diffie-Hellman assumption. Experimental results by using the automated validation of Internet security protocols and applications tool also show that the proposed protocol is secure against various malicious attacks. Compared with previous work, the proposed protocol has lower computation costs and lighter communication loads.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

A hybrid floor identification algorithm based on Bayesian classification and special AP

A hybrid floor identification algorithm based on Bayesian cl...

引用

International Conference on Information and Automation (ICIA)

作者： Fang Zhao Dan Luo Wu Yuan Haiyong Luo School of Software Engineering International School Beijing University of Posts and Telecommunications Beijing China NSFC Taiyuan-Zhongguancun Cooperation School of Computer Science Beijing Institute of Technology Beijing China Research Centre of Pervasive Computing Institute of Computing Technology Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781479940998

Accurately discriminating different floors is a very important task in indoor fingerprinting localization, which can be used to reduce space search domain and improve localization accuracy. There exist some research works for floor identification at present; however, the accuracy is not high. To achieve higher accuracy, this paper proposes a hybrid floor identification algorithm using Bayesian classification and special AP. By extracting the distribution feature of APs in different floors with training data, the proposed approach can determine floor efficiently with 100% accuracy.

关键词： Floors IEEE 802.11 Standards Bayes methods Accuracy Classification algorithms Training

来源：评论

学校读者我要写书评

暂无评论

Assumption generation for asynchronous systems by abstraction refinement

引用

9th International Symposium on Formal Aspects of Component software, FACS 2012

作者： Yang, Qiusong Clarke, Edmund M. Komuravelli, Anvesh Li, Mingshu National Engineering Research Center of Fundamental Software Institute of Software Chinese Academy of Sciences Beijing 100190 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Computer Science Department Carnegie Mellon University Pittsburgh PA 15213 United States

ISBN: (纸本)9783642358609

Compositional verification provides a way for deducing properties of a complete program from properties of its constituents. In particular, the assume-guarantee style of reasoning splits a specification into assumptions and guarantees according to a given inference rule and the generation of assumptions through machine learning makes the automatic reasoning possible. However, existing works are purely focused on the synchronous parallel composition of Labeled Transition Systems (LTSs) or Kripke Structures, while it is more natural to model real software programs in the asynchronous framework. In this paper, shared variable structures are used as system models and asynchronous parallel composition of shared variable structures is defined. Based on a new simulation relation introduced in this paper, we prove that an inference rule, which has been widely used in the literature, holds for asynchronous systems as long as the components' alphabets satisfy certain conditions. Then, an automating assumption generation approach is proposed based on counterexample-guided abstraction refinement, rather than using learning algorithms. Experimental results are provided to demonstrate the effectiveness of the proposed approach. © 2013 Springer-Verlag.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Layered depth-of-field rendering using color spreading

Layered depth-of-field rendering using color spreading

引用

12th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and Its Applications in Industry, VRCAI 2013

作者： Yu, Kai Wu, Shang Sheng, Bin Ma, Lizhuang Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781450325905

Depth of field (DoF) is a depth range outside of which objects are blurred. DoF has been widely used in photography and films by artists and is expected to be applied to realistic image rendering and virtual reality applications in the area of computer graphics. This paper presents a framework that produces DoF effect with high quality and performance. It is a layered method rendering the scene into layers where spreading filter is used to directly get the output, reduce memory usage and improve the result comparing with other layered methods using gathering filter. Depth peeling is used to solve partial occlusion problem and modified to discard the insignificant occluded pixels so as to reduce the number of occluded layers. This framework can also eliminate artifacts such as intensity leakage and depth discontinuity, and is GPU-friendly. © 2013 ACM.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

DevNet: Exploring developer collaboration in heterogeneous networks of bug repositories

DevNet: Exploring developer collaboration in heterogeneous n...

引用

2013 ACM / IEEE International Symposium on Empirical software engineering and Measurement, ESEM 2013

作者： Wang, Song Zhang, Wen Yang, Ye Wang, Qing Laboratory for Internet Software Technologies Institute of Software Chinese Academy of Sciences China State Key Laboratory of Computer Science ISCAS China State Key Laboratory of Software Engineering Wuhan University China

ISBN: (纸本)9781479911448

During open source software development and maintenance, bug fixing is a result of developer collaboration. Understanding the structure of developer collaboration could be helpful for effective and efficient bug fixing. Most prior work on exploring developer collaboration in bug repositories only considers a particular form of developer collaboration. However, in real software bug repositories, developers collaborate with each other via multiple ways, e.g., commenting bugs, tossing bugs, and assigning bugs. In this paper, we present DevNet, a framework for representing and analyzing developer collaboration in bug repositories based on heterogeneous developer networks. Moreover, we illustrate that such developer collaboration can assist bug triage through a case study on the bug repositories of Eclipse and Mozilla involving over 800,000 bug reports. Experiment results show that our approach can improve the state-of-the-art bug triage methods by 5-15% in accuracy. We believe that the proposed approach provides new insights for analyzing software repositories through heterogeneous networks. © 2013 IEEE.

关键词： Heterogeneous networks

来源：评论

学校读者我要写书评

暂无评论

An exploration on long-distance communication between left-behind children and their parents in China

An exploration on long-distance communication between left-b...

引用

2013 2nd ACM Conference on computer Supported Cooperative Work, CSCW 2013

作者： Pan, Lu Tian, Feng Lu, Fei Zhang, Xiaolong Liu, Ying Feng, Wenxin Dai, Guozhong Wang, Hongan Intelligence Engineering Lab Chinese Academy of Sciences Institute of Software China State Key Lab. of Computer Science Chinese Academy of Sciences Institute of Software China Pennsylvania State University United States Intel Corporation China Computer Science Department Boston University United States

ISBN: (纸本)9781450313315

In China, hundreds of millions of migrant workers have moved to cities or coastal regions for more or better-paid jobs and have left their children behind at their rural homes. Separated by thousands of kilometers, these "left-behind" children and their migrant parents use mobile phones as their primary-and often only-method of maintaining family connections. To better understand the use of technology in this long-distance communication, we conducted a multi-phased study using interviews and surveys in three different Chinese rural areas. In this paper, we report our findings on how these children communicate with their migrant parents and what information they exchange. We also discuss design implications derived from these findings that may improve communication between left-behind children and their parents. Copyright 2013 ACM.

关键词： Rural areas

来源：评论

学校读者我要写书评

暂无评论

Constraint-based locality analysis for X10 programs 13

Constraint-based locality analysis for X10 programs

引用

ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013 - Co-located with POPL 2013

作者： Sun, Qiang Chen, Yuting Zhao, Jianjun Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China School of Software Shanghai Jiao Tong University Shanghai China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9781450318426

X10 is a HPC (High Performance Computing) programming language proposed by IBMfor supporting a PGAS (Partitioned Global Address Space) programming model offering a shared address space. The address space can be further partitioned into several logical locations where objects and activities (or threads) will be dynamically created. An analysis of locations can help to check the safety of object accesses through exploring which objects and activities may reside in which locations, while in practice the objects and activities are usually designated at runtime and their locations may also vary under different environments. In this paper, we propose a constraint-based locality analysis method called Leopard for X10. Leopard calculates the points-to relations for analyzing the objects and activities in a program and uses a place constraint graph to analyze their locations. We have developed a tool to support Leopard, and conducted an experiment to evaluate its effectiveness and efficiency. The experimental results show that Leopard can calculate the locations of objects and activities precisely. Copyright © 2013 ACM.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

ANFIS and SA Based Approach to Prediction, Scheduling, and Performance Evaluation for Semiconductor Wafer Fabrication

引用

电子学报(英文版) 2013年第1期22卷 25-30页

作者： CAO Zhengcai ZHAO Huidan WANG Yongji College of Information Science and Technology Beijing University of Chemical Technology Beijing 100029 China State Key Laboratory of Manufacturing Systems Engineering Xi'an Jiaotong University Xi'an 710054 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

In this paper, an optimized mechanism for Semiconductor wafer fabrication (SWF) by integrating the Adaptive neuro-fuzzy inference system (ANFIS) with Sim- ulated annealing (SA) algorithm is proposed. In this ap- proach, aiming to solve the rush order problem which sig- nificantly affect the cycle time and impact the Work in process (WIP) of lots due to the high priority, we build an ANFIS based prediction model which will be embedded into releasing to forecast product codes and quantities of the contingent rush orders. Then a scheduler based on SA algorithm is constructed, the coding of which represents a combination of scheduling policies, including lot releas- ing policies, dispatching rules, batching rules and setting- up rules. When the SA finished its optimization process, an optimal scheduling policy is produced. By using the proposed approach??? we will find that the system can be optimized to a large extent and give a better performance.

关键词： ANFIS SA算法调度策略预测模型晶圆制造半导体自适应神经模糊推理系统评估法

来源：评论

学校读者我要写书评

暂无评论

Memristors for neural branch prediction: A case study in strict latency and write endurance challenges 13

Memristors for neural branch prediction: A case study in str...

引用

2013 ACM International Conference on Computing Frontiers, CF 2013

作者： Saadeldeen, Hebatallah Franklin, Diana Long, Guoping Hill, Charlotte Browne, Aisha Strukov, Dmitri Sherwood, Timothy Chong, Frederic T. Department of Computer Science UC Santa Barbara United States Electrical and Computer Engineering UC Santa Barbara United States Institute of Software Chinese Academy of Sciences China

ISBN: (纸本)9781450320535

Memristors offer many potential advantages over more traditional memory-cell technologies, including the potential for extreme densities, and fast read times. Current devices, however, are plagued by problems of yield, and durability. We present a limit study of an aggressive neural network application that has a high update rate and a strict latency requirement, analog neural branch predictor. Of course, traditional analog neural network (ANN) implementations of branch predictors are not built with the idea that the underlying bits are likely to fail due to both manufacturing and wear-out issues. Without some careful precautions, a direct one-to-one replacement will result in poor behavior. We propose a hybrid system that uses SRAM front-end cache, and a distributed-sum scheme to overcome memristors' limitations. Our design can leverage devices with even modest durability (surviving only hours of continuous switching) to provide a system lasting 5 or more years of continuous operation. In addition, these schemes allow for a fault-tolerant design as well. We find that, while a neural predictor benefits from larger density, current technology parameters do not allow high dense, energy-efficient design. Thus, we discuss a range of plausible memristor characteristics that would;as the technology advances;make them practical for our application. Copyright 2013 ACM.

关键词： Memristors

来源：评论

学校读者我要写书评

暂无评论

An expressive decentralizing KP-ABE scheme with constant-size ciphertext

引用

International Journal of Network Security 2013年第3期15卷 131-140页

作者： Li, Qinyi Xiong, Hu Zhang, Fengli Zeng, Shengke School of Computer Science and Engineering University of Electronic Science and Technology of China No.2006 Xiyuan Avenue West Hi-tech Zone Chengdu 611731 China State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing 100080 China

Decentralizing attribute based encryption is a variant of multi-authority attribute based encryption which doesn't require a trusted central authority to conduct the system setup. In this paper, we propose an expressive decentralizing KP-ABE scheme with constant ciphertext size. In our construction, the access policy can be expressed as any non-monotone access structure. Meanwhile, the ciphertext size is independent on the number of attributes used in the scheme. We prove that our scheme is semantic secure in so-called Selective-Set model based on the n-DBDHE assumption. To the best of our knowledge, this is the first multi-authority attribute based encryption scheme realizing such expressive access policy and constant ciphertext size.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：