【摘 要】
：
项重写是一个应用于信息安全领域的基础理论,是计算机科学理论的一个分支.本文首先介绍了项重写理论的相关概念,并从重写实质上对该理论进行简要的分析,阐明了终止和会聚等重
【出 处】
：
第十九届全国信息保密学术会议(IS2009)
论文部分内容阅读
项重写是一个应用于信息安全领域的基础理论,是计算机科学理论的一个分支.本文首先介绍了项重写理论的相关概念,并从重写实质上对该理论进行简要的分析,阐明了终止和会聚等重要性质及其完备化;其次提出一种新的在信息安全中的应用,即给出一个解决安全协议形式化分析中攻击者推演的代数属性问题的新方法,该方法采用划分代数等式集的思想,适用于目前大多数安全协议针对代数属性类型攻击的检测.
其他文献
请下载后查看，本文暂不支持在线获取查看简介。西北高原@王成才
Please download to view, this article does not support online access to view profile. Northwest Plate
本文根据常见的介质存储原理和操作系统行为,讨论了介质中已删除信息的安全性,提出了"软恢复"与"硬恢复"的概念,并对写覆盖删除方式的有效性进行分析和实验验证.
格雷森是一家享誉美国的医药公司，长期以来一直与中国保持着良好的合作关系。１９９８年的一天，总经理阿瑟·戈登突然收到美国商业情报公司的一份报告。报告首先出示了一张清单，上面列举
交互型USB Key有效地提高了USB Key的使用安全性,但PIN码已成为交互型USB Key的安全短板,直接影响到作为安全信息设备的交互型USB Key的整体安全性.动态口令能够有效地抵御大
目的:探讨急性白血病患者死亡焦虑水平与自尊、自我效能感的相关性,以便为改善急性白血病患者生活质量和实施心理干预提供依据.方法:选取急性白血病患者69例.采用中文版死亡
在电子标签中实现安全隐私功能是RFID研究领域需要解决的一项关键技术,本文假设阅读器与电子标签、阅读器与后端数据库之间采用无线通信,这两种信道都是不安全的,在此背景下,
本文从关联理论的视角对汉英旅游翻译作了语用学上的探讨,其研究的着力点在于阐释译者怎样作为交际者,与原语作者和目标读者进行跨文化交际。在最佳关联的引导下,译者发挥其
BLP模型是最早提出的安全模型之一,为在计算机系统中实现多级安全提供了理论基础,受到广泛的关注.论文简单介绍了BLP模型的公理化描述,总结了该模型目前存在的安全缺陷与问题
SET协议是当今最为流行的电子支付协议.本文首先回顾了SET协议的设计背景,介绍了SET协议的角色和工作流程,阐述了SET协议要达到的安全要求.在此基础上指出了SET协议所存在的
为继承和弘扬民族文化,热情歌颂党的改革开放政策,加强社会主义精神文明建设,展示全省
In order to inherit and carry forward the national culture, we warmly glorify