为π演算建立具有安全级别的简单类型系统     

王立斌  陈克非 《中国科学院研究生院学报》2002,19(3):278-281

为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.  相似文献   

无线传感器网络跨层通信协议综述与分析     

文红丽  高飞 《昆明师范高等专科学校学报》2011,(3):55-59

设计基于跨层机制的通信协议,以达到优化网络性能、有效分配网络资源的目的,是无线传感器网络研究中的一项关键技术.对现有的基于跨层设计的网络通信协议进行综述和分析,并以跨层通信协议设计的目的性为着眼点,对跨层通信协议划分为3类：提高互操作性和增强网络适应性为目的的跨层设计,提高某些性能标准为目的的跨层设计和无分层模型设计.该分类方式有助于网络设计人员进行更具有针对性和实用性跨层设计.  相似文献   

基于不同VANET应用的路由协议选择分析     

李婷 《洛阳工业高等专科学校学报》2015,(1)

不同VANET应用对网络属性的要求和各自的特性影响路由协议的选择和使用。选择合适的路由协议将实现更好的网络性能,提供更高效的服务。通过分析VANET的5类应用的特点和对网络的要求,结合不同种类路由协议的特性,主要针对单播和多播情况下路由协议选择原因进行阐述,并给出单播协议中GPSR＋AGF和CAR这两种路由协议的构造方式。  相似文献   

Application of Think Aloud Protocols for Examining and Confirming Sources of Differential Item Functioning Identified by Expert Reviews     

Kadriye Ercikan  Rubab Arim  Danielle Law  Jose Domene  France Gagnon  Serge Lacroix 《Educational Measurement》2010,29(2):24-35

This paper demonstrates and discusses the use of think aloud protocols (TAPs) as an approach for examining and confirming sources of differential item functioning (DIF). The TAPs are used to investigate to what extent surface characteristics of the items that are identified by expert reviews as sources of DIF are supported by empirical evidence from examinee thinking processes in the English and French versions of a Canadian national assessment. In this research, the TAPs confirmed sources of DIF identified by expert reviews for 10 out of 20 DIF items. The moderate agreement between TAPs and expert reviews indicates that evidence from expert reviews cannot be considered sufficient in deciding whether DIF items are biased and such judgments need to include evidence from examinee thinking processes.  相似文献   

基于单向陷门函数的TMN协议的改进   总被引：1，自引：0，他引：1  

孙海波  林东岱 《中国科学院研究生院学报》2002,19(3):254-262

提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式,利用串空间理论证明了它的安全性,并给出了几个具体的实现形式.  相似文献   

Trivium密码算法的教学设计探讨     

韦永壮  张润莲 《大众科技》2012,(6):259-260,251

Trivium密码算法是欧洲流密码计划(eSTREAM)的最终入选算法之一.由于其结构简洁、优美、软硬件实现快速、安全性好等特点,倍受学术界和工业界的广泛关注.针对Trivium密码算法实际教学中存在的问题及信息专业高年级学生的特点,分析了Trivium算法的结构,提出从布尔函数的角度来进行教学设计,包括算法部件分析、加解密过程、性能及安全性等环节,为同行提供有价值的教学思路.  相似文献   

安全电子商务协议的形式化分析     

谭新莲  李磊 《数学爱好者(高二版)》2008,(2)

阐述了安全电子商务协议的安全属性,介绍了重要的安全电子商务协议,总结了近年来安全电子商务协议形式化分析方法的研究进展情况。文章最后对该领域主要的研究方向进行了展望。  相似文献   

运用ASM描述安全协议     

薛锐  冯登国 《中国科学院研究生院学报》2002,19(3):263-270

介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击.  相似文献   

Using the Wavelet as the Private Key for Encrypting the Watermark   总被引：1，自引：0，他引：1  

YANGXiaofan  WUZhongfu 《重庆大学学报(英文版)》2002,1(1):16-20

Watermarking is an effective approach to the copyright protection of digital media such as audio,image,and video.By inspriation from cryptography and considering the immensity of the set of all possible wvaelets,it is presented that in wavelet domain watermarking,the associated wavelet can be considered as the private key for encrypting the wavtermark so as to enhance the security of the embedded mark.This idea is partly supported by the fact that from computational complexity viewpoint.It is very time-consuming to search over the immense set of all candidate wavelets for the right one if no a priori knowledge is known about it .To verify our proposal,the standard image“Lena”is first watermarked in a specific wavelet domain,the watermark recovery experiments are then conducted in the wavelet domain for a set of wavelets with the one used for mark embedded in it ,separately.It follows from the experimetal results that the mark can be recovered only in the right wavelet domain,which jusstifies the suggestion.  相似文献   

安全协议形式化分析的不变式生成技术     

范红  冯登国  郭金庚 《中国科学院研究生院学报》2002,19(1):91-96

给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协议认证和秘密性的证明,从而成为许多协议形式化分析工具和技术的核心  相似文献