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

An Identity-Based Encryption Scheme with Compact Ciphertexts

Journal of Shanghai Jiaotong university(Science) 2009年第1期14卷 86-89页

作者：刘胜利郭宝安张庆胜 Department of Computer Science and Engineering Shanghai Jiaotong UniversityShanghai 200240China State Key Laboratory of Information Security Graduate School of the Chinese Academy of the SciencesBeijing 100049China Aisino Corporation Inc. Beijing 100097China

This paper proposes an identity-based encryption scheme with the help of bilinear pairings, where the identity information of a user functions as the user＇s public key. The advantage of an identity-based public key system is that it can avoid public key certificates and certificate management. Our identity-based encryption scheme enjoys short ciphertexts and provable security against chosen-ciphertext attack （CCA）.

关键词： identity-based encryption compact ciphertext ehosen-ciphertext attack （CCA）

来源：评论

学校读者我要写书评

暂无评论

An improved algorithm for IP alias resolution in network topology measurement

An improved algorithm for IP alias resolution in network top...

引用

9th International Conference on Electronic Measurement and Instruments, ICEMI 2009

作者： Yong, Zhang Shize, Guo Kangfeng, Zheng Yixian, Yang Key Laboratory of Network and Information Attack and Defence Technology of MOE Beijing University of Posts and Telecommunications Beijing 100876 China National Engineering Laboratory for Disaster Backup and Recovery Beijing University of Posts and Telecommunications Beijing 100876 China Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China

ISBN: (纸本)9781424438624

Internet topology measurement is an important part of network measurement. Nowadays, traceroute probing method is widely used to obtain the original route data, and the IP alias resolution technique is to identify IP addresses belonging to the same router for constructing accurate Internet maps. However, there are thousands of IP addresses only in a region topology exploration, while current alias resolution technique has limited effectiveness. So we need to apply a new approach to refine the collected path traces before IP alias resolution which is called Alias Filter (AF). In this paper we propose an improved algorithm called RAF which based on rules set according to experiences for dealing with the path data. The performance analysis proves the algorithm has low cost and high efficiency. ©2009 IEEE.

关键词： network topology

来源：评论

学校读者我要写书评

暂无评论

A Model-Based Fuzz Framework to the security Testing of TCG Software Stack Implementations

A Model-Based Fuzz Framework to the Security Testing of TCG ...

引用

International Conference on Multimedia information networking and security (MINES)

作者： Yang Yang Huanguo Zhang Mi Pan Jian Yang Fan He Zhide Li School of Computer Wuhan University of China Wuhan China School of Computer State Key Laboratory of Software Engineering Wuhan University of China Wuhan China Key Laboratory of Aerospace Information Security and Trust Computing Ministry of Education Wuhan China Guangdong Dongguan Supervision Testing Institute of Quality and Metrology Dongguan China

Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally fuzz testing tools use random inputs and watch the resulting values. In this paper, we present a model-based fuzz framework for systematic automated testing of a TCG trusted software stack implementation. This framework is based on blackbox fuzz testing methods, integrated with target profiling, data modeling and test algorithm etc. With the generation of smart, semantic-aware test cases, a more complete and deep testing can be provided. We also demonstrate the use of our model-based fuzz framework which can identity several vulnerabilities in some form of TSS implementation.

关键词： Software testing information security Aerospace testing Cryptography Libraries Simple object access protocol computer security computer networks Automatic testing Software quality

来源：评论

学校读者我要写书评

暂无评论

A security-Enhanced Remote Platform Integrity Attestation Scheme

A Security-Enhanced Remote Platform Integrity Attestation Sc...

引用

International Conference on Wireless Communications, networking and Mobile Computing (WiCom)

作者： Song Cheng Liu Bing Xin Yang Yang Yixian Zhongxian Li Yin Han Key Laboratory of network and information attack & defence technology of MOE Beijing University of Posts and Telecommunications Beijing China National Engineering Laboratory for Disaster Backup and Recovery Beijing China National Cybernet Security Ltd Beijing China Huawei Technology Ltd Beijing China

Remote platform integrity attestation is a method by which a client attests its hardware and software configuration to a remote server. The goal of remote integrity platform attestation is to enable a remote challenger to determine the level of trust in the integrity of another attestator's platform configuration. However, the existing integrity reporting protocol is vulnerable to man-in-the-middle(MITM) attacks. In this paper, we describe this kind of attacks against protocols for remote platform integrity attestation, and propose a security-enhanced remote platform integrity attestation scheme for preventing man-in-the middle attacks.

关键词： Protocols information security Laboratories Cryptography Hardware Protection Privacy Telecommunication switching computer security National security

来源：评论

学校读者我要写书评

暂无评论

Identity-based encryption scheme with compact ciphertexts

引用

Journal of Shanghai Jiaotong University (Science) 2009年第1期14 E卷 86-89页

作者： Liu, Sheng-Li Guo, Bao-An Zhang, Qing-Sheng Department of Computer Science and Engineering Shanghai Jiaotong University Shanghai 200240 China Aisino Corporation Inc. Beijing 100097 China State Key Laboratory of Information Security Graduate School Chinese Acad. of Sci. Beijing 100049 China

This paper proposes an identity-based encryption scheme with the help of bilinear pairings, where the identity information of a user functions as the user's public key. The advantage of an identity-based public key system is that it can avoid public key certificates and certificate management. Our identity-based encryption scheme enjoys short ciphertexts and provable security against chosen-ciphertext attack (CCA). Copyright.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

pService: Towards Similarity Search on Peer-to-Peer Web Services Discovery

pService: Towards Similarity Search on Peer-to-Peer Web Serv...

引用

International Conference on Advances in P2P Systems (AP2PS)

作者： Gang Zhou Jianjun Yu National Digital Switching System Engineering and Technological Research and Development Center China State Key Laboratory of Software Development Environment Beihang University China Computer Network Information Center Chinese Academy and Sciences China

We present the design of pService system for P2P Web services discovery supporting similarity search with its locality-preserving feature based on modified Skip Graph. In pService, the most important property (e.g. service name) of a service is viewed as the indexing key of a peer node. The other properties are extracted as multiattributes which would be mapped into one-dimensional indices using HSFC (Hilbert Space Filling Curve), and assigned to membership vector of the peer node. These two features help to support similarity search in two aspects: peer nodes with similar indexing keys would be distributed neighborly, peer nodes with similar indices will connect to each other through routing table. Our evaluation showed that the pService performs considerable Web services discovery efficiency.

关键词： Peer to peer computing Web services Indexing Routing Hilbert space Filling Search engines Data structures Switching systems Design engineering

来源：评论

学校读者我要写书评

暂无评论

Model Checking Needham-Schroeder security Protocol Based on Temporal Logic of Knowledge

Model Checking Needham-Schroeder Security Protocol Based on ...

引用

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

作者： Xiangyu Luo Yan Chen Ming Gu Lijun Wu School of Software Key Laboratory of Security for Information System of Ministry of Education Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic Technology Guilin China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

ISBN: (纸本)9781424442232

Formal verification approaches can guarantee the correctness of security protocols. In this paper we take the well-known Needham-Schroeder public-key authentication protocol as an example, to show how we can apply the symbolic model checker for multiagent systems MCTK, which is developed by us, to the verification of security protocols. One temporal epistemic property is checked successfully both in the original version and the Lowe's revised version of the Needham-Schroeder protocol. The experimental result shows that our method is an effective way to the verification of security protocol.

关键词： Logic computer security Cryptographic protocols Communication system security information security Electronic mail Authentication Multiagent systems Cryptography computer networks

来源：评论

学校读者我要写书评

暂无评论

Experimental Evaluation of Flooding Attacks in Mobile Ad Hoc networks

Experimental Evaluation of Flooding Attacks in Mobile Ad Hoc...

引用

IEEE International Conference on Communications Workshops, ICC

作者： P. Yi Y. Wu J. Ma Key Laboratory of Child Development and Learning Science and Ministry of Education South-East University Nanjing China School of Information Security Engineering Shanghai Jiaotong University Shanghai China School of Computer Science Fudan University Shanghai China

Mobile ad hoc networks will often be deployed in environments where the nodes of the networks are unattended and have little or no physical protection against tampering. The nodes of mobile ad hoc networks are thus susceptible to compromise. The networks are particularly vulnerable to denial of service (DoS) attacks launched through compromised nodes or intruders. In this paper, we investigated the effects of flooding attacks in network Simulation 2 (ns-2) and measured the packet delivery ratio and packet delay under different flooding frequency and different number of attack nodes. Simulation results show that with the increase the flooding frequency and the number of attack nodes, network performance drops. Meanwhile the packet delay firstly increases and then decline to a value of stability in the end.

关键词： Mobile ad hoc networks Floods Frequency computer crime Delay Routing protocols Layout information security computer science education computer science

来源：评论

学校读者我要写书评

暂无评论

key Binding Based on Biometric Shielding Functions

Key Binding Based on Biometric Shielding Functions

引用

The Fifth International Conference on information Assurance and security(第五届信息保障与安全国际会议)

作者： Li Huixian Wang Man Pang Liaojun Zhang Weidong School of Computer Science and Engineering Northwestern Polytechnical University Xi'anChina Second Arillery Military Office in Li-Shan Microelectronics Company Xi'anChina The Ministry of Education Key Laboratory of Comput.Networks and Information Security Xidian Universi

ISBN: (纸本)9780769537443

The tremendous evolution in networking,communication and mobility creates greater security assurance demand than can be provided by simple security measures, such as requiring passwords to gain access to a system. Biometric technologies are being used increasingly as an effective means. The combination of biometrics and cryptography is promising although there are some issues to be addressed. The key issue of the biometric encryption is how to deal with the contradiction about the veracity of cryptography and the simulation of biometric. The shielding function is a potential tool to solve this problem. In this paper, we shall review and analyze the classic biometrics-based cryptographic key management. And then, we construct a new fingerprintbased key binding scheme by using the shielding function and the WFMT method.

关键词： biometric encryption Shielding Function key binding fingerprint

来源：评论

学校读者我要写书评

暂无评论

An Efficient Mesh Simplification Algorithm

An Efficient Mesh Simplification Algorithm

引用

International Conference on Internet Computing in Science and engineering (ICICSE)

作者： Hailing Wang Guisheng Yin Jing Zhang Decai Wang Jian Wang National Defence Key Laboratory of Autonomous Underwater Vehicle Technology Harbin Engineering of Technology Harbin Heilongjiang China Harbin Engineering University Harbin Heilongjiang CN College of Computer Science and Technology Harbin Engineering of Technology Harbin Heilongjiang China Network and Information center Harbin Engineering of Technology Harbin Heilongjiang China

This paper presents a new mesh simplification algorithm based on edge collapse, it combines surface curvature and quadric error metric, the position of a new vertex for edge collapse depends on multiple-weighted approach. The new algorithm can improve simplification rationality in procedure and preserve important features after simplification. In an addition, we do some experiments with comparing different simplified models, the results show that the new algorithm not only maintains the overall appearance for models, but also obtains better effectiveness.

关键词： Automotive engineering Maintenance engineering computer errors Solid modeling Iterative algorithms IP networks computer networks Laboratories Underwater vehicles Educational institutions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：