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

A privacy-preserving mutual authentication protocol for vehicle Ad Hoc networks

Journal of Convergence information technology 2010年第7期5卷 24-24页

作者： Tan, Zuowen Department of Computer Science and Technology School of Information Technology Jiangxi University of Finance and Economics Nanchang 330032 Jiangxi Province China Key Lab of Network Security and Cryptology School of Mathematics and Computer Science Fujian Normal University Fuzhou 350007 Fujian Province China

Recently, Jung et al. proposed a robust conditional privacy-preserving authentication protocol in vehicle ad-hoc networks. However, Jung et al.'s authentication protocol cannot provide unlinkage and mutual authentication during the communications between the vehicles and the road-side infrastructure units. In this paper, we propose an improved privacy-preserving mutual authentication protocol for vehicle ad hoc networks by using secure identity-based group blind signature, the private encryption system and the public encryption system. The proposed privacy-preserving mutual authentication protocol for vehicle ad-hoc networks satisfies mutual authentication, anonymity and unlinkability under Random Oracle Model and the Decisional Bilinear Diffie-Hellman (DBDH) assumption. In addition, the trusted center can trace malicious on-board units or road-Side infrastructure units in our protocol.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

An associative memory system for incremental learning and temporal sequence

An associative memory system for incremental learning and te...

引用

2010 6th IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 International Joint Conference on Neural Networks, IJCNN 2010

作者： Shen, Furao Yu, Hui Kasai, Wataru Hasegawa, Osamu State Key Laboratory for Novel Software Technology Jiangyin Information Technology Research Institute Nanjing University Nanjing 210093 China Department of Computer Intelligence and Systems Science Tokyo Institute of Technology Yokohama 226-8503 Japan Imaging Science and Engineering Lab. Tokyo Institute of Technology R2-52 4259 Nagatsuda Midori-ku Yokohama 226-8503 Japan

ISBN: (纸本)9781424469178

An associative memory (AM) system is proposed to realize incremental learning and temporal sequence learning. The proposed system is constructed with three layer networks: The input layer inputs key vectors, response vectors, and the associative relation between vectors. The memory layer stores input vectors incrementally to corresponding classes. The associative layer builds associative relations between classes. The proposed method can incrementally learn key vectors and response vectors;store and recall both static information and temporal sequence information;and recall information from incomplete or noise-polluted inputs. Experiments using binary data, real-value data, and temporal sequences show that the proposed method works well. © 2010 IEEE.

关键词： Vectors

来源：评论

学校读者我要写书评

暂无评论

Analyzing Real-time Schedulability of Resource-oriented Distributed Real-time Embedded Software

Analyzing Real-time Schedulability of Resource-oriented Dist...

引用

2010 2nd IEEE International Conference on information Management and Engineering(2010年IEEE第二届信息管理与工程国际会议 IEEE ICIME 2010)

作者： Liqiong Chen Yunxiang Liu Guisheng Fan Department of Computer Science and Information EngineeringShanghai Institute of Technology Shanghai Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Departme

As computer systems become increasingly internetworked, Distributed Realtime Embedded (DRE) software is becoming increasingly common and important, a challenging problem faced by researchers and developers of DRE software is how to devise and implement a method that can effectively analyze requirements in varying operational conditions. In this paper, a Distributed Realtime Embedded net (DREN) is proposed as software design specification modeling tool. The basic tasks, function module and communication process are modeled by using DREN, thus forming the entire application by making use of Petri net’s synthesis operation. Time Reachability Graph is adopted to analyze the correctness of DRENmodel, the basic properties of DRE system are also considered. Finally, a specific example is given to simulate the analytical process, the results show that the method can be a good solution to analyze DRE software.

关键词： Embedded software Real time systems Distributed computing Embedded computing information analysis computer science Application software Processor scheduling Laboratories Software testing

来源：评论

学校读者我要写书评

暂无评论

Reduction Criteria for Probabilistic Models with Spatial Restrictions on States

Reduction Criteria for Probabilistic Models with Spatial Res...

引用

International Conference on Networks security, Wireless Communications and Trusted Computing, NSWCTC

作者： Niu Jun Guosun Zeng Embedded System and Service Computing Key Laboratory Ministry of Education Shanghai China College of Information Engineering Zhejiang Business and Technology Institute Ningbo China Department of Computer Science and Technology University of Tongji Shanghai China

ISBN: (纸本)9781424465972;9780769540115

Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on applying partial order reduction for verifying quantitative time properties and reward-based properties on actions. However, there are many situations that reward-based properties are expressed on states rather than on actions because actions are triggered in no time and the quantities can not be obtained easily. This paper presents reduction criteria for a probabilistic temporal logic that allows specification of restrictions on quantitative measures given by spatial resources function for the states of the considered system and provides the proof of the correctness.

关键词： Explosions computer networks Concurrent computing Embedded computing Educational technology Probabilistic logic Communication system security computer security information security Wireless communication

来源：评论

学校读者我要写书评

暂无评论

A Generalized Model with Spatial Resources Labels

A Generalized Model with Spatial Resources Labels

引用

International Conference on Biomedical Engineering and computer science (ICBECS)

This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and randomicity. The syntax and semantics of the new model are shown based on the existing temporal logics such as CSRL and pathCSRL. The model checking procedure is discussed and thus the practicability of the new model is intuitive. Based on the existing models, the proposed model includes spatial resources labels only by adding the spatial information to the existing labels of states, so the treatment of the state explosion problem is similar to that in the existing models.

关键词： Educational technology Paper technology Logic Labeling Educational institutions Embedded system Embedded computing computer science education systems engineering education computer science

来源：评论

学校读者我要写书评

暂无评论

Hybrid state space and echo state networks model of a miniature helicopter

Hybrid state space and echo state networks model of a miniat...

引用

作者： Tan, Li Song, Yixu Jia, Peifa State Key Laboratory of Intelligent Technology and Systems Department of Computer Science and Technology Tsinghua University Beijing 100084 China Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology Tsinghua University Beijing 100084 China

ISBN: (纸本)9787894631046

To solve the problem of modeling the horizontal translational motion of a Raptor 30 based miniature helicopter near hovering, a black-box model is built based on echo state networks. Combined with a state space angular motion model, a four-degree-of-freedom hybrid model is created. system identification is done using the remote control experiment data. Model validation results demonstrate that the model can predict the motion of the miniature helicopter near hovering on the whole. The model can be used to optimize parameterized controller. Closed-loop simulation further validates the model.

关键词： Remote control

来源：评论

学校读者我要写书评

暂无评论

QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector

引用

Journal of computer science & technology 2009年第2期24卷 357-372页

作者：吴邦欲支志雄徐世杰顾明孙家广 School of Software Tsinghua University Key Laboratory for Information System Security Ministry of Education of China Department of Computer Science and Technology Tsinghua University

Under SOA （Service-Oriented Architecture）, composite service is formed by aggregating multiple component services together in a given workflow. One key criterion of this research topic is QoS composition. Most work on service composition mainly focuses on the algorithms about how to compose services according to assumed QoS, without considering where the required QoS comes from and the selection of user preferred composition algorithm among those with different computational cost and different selection results. In this paper, we propose to strengthen current service composition mechanism by generation of QoS requirement and its algorithm selection based on the QoS reference vectors which are calculated optimally from the existing individual services＇ QoS by registry to represent QoS overview about the best QoS, the worst （or most economical） QoS, or the average QoS of all composite services. To implement QoS requirement, which is determined according to QoS overview, this paper introduces two selection algorithms as two kinds of experiment examples, one aiming at the most accurate service selection and the other chasing for trade-off between selection cost and result. Experimental results show our mechanism can help the requester achieve his expected composite service with appropriate QoS requirement and customized selection algorithm.

关键词： service-oriented architecture service composition quality of services service selection

来源：评论

学校读者我要写书评

暂无评论

Hierarchical Certificateless Signatures

Hierarchical Certificateless Signatures

引用

IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC

作者： Lei Zhang Qianhong Wu Josep Domingo-Ferrer Bo Qin UNESCO Chair in Data Privacy Department of Computer Engineering and Mathematics Universitat Rovira i Virgili Catalonia Spain School of Computer Key Laboratory of AeroSpace Information Security and Trusted Computing Wuhan University of Technology China School of Science Department of Maths Xi'an University of Technology China

Certificateless cryptography eliminates the key escrow problem in identity-based cryptography. Hierarchical cryptography exploits a practical security model to mirror the organizational hierarchy in the real world. In this paper, to incorporate the advantages of both types of cryptosystems, we instantiate hierarchical certificate less cryptography by formalizing the notion of hierarchical certificate less signatures. Furthermore, we propose an HCLS scheme which, under the hardness of the computational Diffie-Hellman (CDH) problem, is proven to be existentially unforgeable against adaptive chosen-message attacks in the random oracle model. As to efficiency, our scheme has constant complexity, regardless of the depth of the hierarchy. Hence, the proposal is secure and scalable for practical applications.

关键词： Public key Games Artificial intelligence Tin Protocols

来源：评论

学校读者我要写书评

暂无评论

Distributed Fault Detection for Wireless Sensor Based on Weighted Average

Distributed Fault Detection for Wireless Sensor Based on Wei...

引用

International Conference on Networks security, Wireless Communications and Trusted Computing, NSWCTC

作者： Sai Ji Shen-fang Yuan Ting-huai Ma Chang Tan Aeronautic Science Key Laboratory for Smart Materials & Structures Nanjing University of Aeronautics and Astronautics Nanjing China Department of Computer Science and Technology Nanjing University of Information Science and Technology Nanjing China

ISBN: (纸本)9781424465972;9780769540115

This paper presents a distributed fault detection algorithm for wireless sensor networks (WSNs) by exploring the weighted average value scheme. Considering the spatial correlations in WSNs, a faulty sensor can diagnose itself through comparing its own sensed data with the average of neighbors' data. Simulation results show that sensor nodes with permanent faults are identified with high accuracy for a wide range of fault rate, and keep false alarm rate for different levels of sensor fault model.

关键词： Fault detection Wireless sensor networks Fault diagnosis Wireless communication Materials science and technology Paper technology Space technology Hardware Application software Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Authenticated Asymmetric Group key Agreement Protocol and Its Application

Authenticated Asymmetric Group Key Agreement Protocol and It...

引用

IEEE International Conference on Communications

作者： Lei Zhang Qianhong Wu Bo Qin Department of Computer Engineering and Mathematics Universitat Rovira i Virgili Catalonia Spain School of Computer Key Laboratory of AeroSpace Information Security and Trusted Computing Ministry of Education Wuhan University of China China School of Science Department of Maths Xi''an University of Technology China

A recent primitive known as asymmetric group key agreement allows a group of users to negotiate a common encryption key which is accessible to any entities while each user holds her respective secret decryption key. This concept not only enables confidential communications among group users but also permits any outsider to send encrypted messages to the group. The existing instantiation is only secure against passive adversaries. In this paper, we first propose an authenticated asymmetric group key agreement protocol which captures the practical security properties against active attacks. Based on our protocol, we then propose a broadcast encryption system without relying on a trusted dealer to distribute the secret keys to the users. Our system has also short ciphertexts. Furthermore, the proposal is equipped with the perfect forward security property.

关键词： Protocols Cryptography Broadcasting Peer to peer computing Communication system security Bandwidth Communication channels Multimedia communication Communications Society Application software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：