论文部分内容阅读
探讨了非否认协议的保密性认证目标,用攻击的方法验证了A（0）协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA（0）协议;进一步运用SVO逻辑对NA（0）协议进行了形式化的分析,验证了NA（0）协议满足主体身份的认证性和会话密钥的保密性。
非否认协议中认证保密性的设计与形式化分析
【摘 要】
：
探讨了非否认协议的保密性认证目标,用攻击的方法验证了A（0）协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA（0）协议;进一步运用SVO逻辑对NA
【机 构】
：
潍坊学院计算机与通信工程学院
【出 处】
：
计算机科学
【发表日期】
：
2008年10期
其他文献
“鉴别危险、奉献安全”，不久前，上海化工研究院获批建成的“国家化学品及制品安全质量监督检验中心”举行揭牌仪式。该中心是国家“认监委”批准的第一家安全质量监督检验中心
不久前，拥有自主知识产权的全球首台5．5T（特斯拉）零挥发低温超导磁选机通过山东省科技厅组织的技术鉴定。至此，我国磁选机市场被国外垄断的局面被打破。国产纸张和陶瓷没有外国生
可传递签名是由Micali和Rivest在2002年首先提出的，主要用于对二元传递关系进行签名。本文综述了可传递签名的研究现状，描述了可传递签名的定义、模型及其安全性，概括了现有的可
建立了婴幼儿奶瓶中双酚A（BPA）迁移量的高效液相色谱-电喷雾串联质谱（HPLC—ESI—MS／MS）测定方法。奶瓶食品模拟浸泡液经过弗罗里硅土玻璃层析柱净化，高效液相色谱分离，采用选择反应
建立了离子交换一电导检测离子色谱法测定假冒卷烟所用熏硫烟叶中亚硫酸盐的检测方法。选用Ion．Pac AS11-HC型分离柱，以15mmol／LKOH为淋洗液，样品经10mmol／LKOH溶液浸提后，过滤进样
不久前,美国《科学》杂志公布了该刊评选出的2008年十大科学进展,其中在对细胞重新编程“定制”细胞系方面的进展名列第一位。《科学》杂志说,这些细胞系以及“定制”它们的
期刊
本文提出在整个Java程序开发链中通过使用UML Statecharts对异常处理建模，对Statechart进行模型检验，完成代码生成。首先将Statecharts转换为EHA，然后给出其操作语义，根据操作语
人工神经网络应用中最大的弊端是缺乏可理解性，而对结果的解释是任何一个完善的智能系统必备的基本特征。从神经网络中提取规则被公认为是解决该问题最有效的手段之一。因此，所
根据主机系统异常入侵过程中Windows native API序列的瞬时高频性，提出一种基于图的异常入侵检测算法。该算法首先将每个Native API映射成为图中的一个点，并以其为起点的子序列
光线投射算法是一种应用广泛的体绘制基本算法,其存在的主要问题是绘制速度较慢。为了提高光线投射算法的绘制速度,利用光线间和光线内的并行性,结合三维地震数据场的特点和文件存储特性,提出了一种基于工作站机群的三维地震数据场的并行体绘制算法。地震油气解释实际应用表明本算法能满足地震解释的要求。