论文部分内容阅读
本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点。最后,找到一种对因特网密钥交换(IKE)协议的攻击。
一种增强电子商务协议安全性的形式化分析方法
【摘 要】
：
本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串
【机 构】
：
华南理工大学软件学院,广东,广州,510006
【出 处】
：
2009年全国理论计算机科学学术年会
【发表日期】
：
2009年期
其他文献
为了确保核电厂工作人员身体安全,需要加强辐射监测仪表的管理.为此,本文简单阐述辐射监测系统的功能,明确其具有排出流监测、辐射安全监测、屏障监测功能.在此基础上,重点探
电力资源是人们生产和生活中必不可少的能源物质之一,随着社会经济的发展,人们对于电力方面的需求也在不断增加,电力系统发挥了越来越重要的作用.而在电力营销的过程中仍然存
社会经济的迅速发展,也带动我国交通运输行业得到了进一步的发展.隧道工程作为道路工程的重要施工内容,只有做好公路隧道的施工作业,才能保障公路工程的施工质量以及后期使用
本文提出了一种基于基因表达式编程GEP的多源时域数据融合模型GEP-MSDA,该模型可以在无任何先验知识的情况下自动对多源数据进行融合。实验表明,基于GEP的融合模型较传统方法
计算机网络信息安全包括网络信息传输的安全性与保密性两个方面,其目的是避免内部系统安全病毒软件、阻止外界攻击导致内部信息泄密.随着互联网技术的发展,云计算的应用范围
本文先分析了基于改扩建的道路工程设计措施,包括做好调查工作、优化路线设计、适当扩展路基,随后进行了实例分析,包括工程概况、主辅路分离、平改立设计、扩展横向过路设施,
本文对我国大陆沿海底栖食用海藻进行了系统的研究和整理，报导了食用海藻68种，并对其主要食用海藻的营养成分进行了分析。
In this paper, we systematically studied and sor
如今计算机在各个行业都有着相当普遍的应用,对于各行各业的管理与分析工作起着至关重要的作用,所以对计算机的具体应用做分析与强调,保证其在应用时的稳定和安全是有相当显