论文部分内容阅读
采用形式化方法分析安全协议是协议分析的有效手段，近年来。出现了众多的研究方法。串空间模型是一种新兴的密码协议形式化分析工具。文章基于串空间模型，扩展了认证测试方法，使之能够描述和分析电子商务协议。并用该方法对一个具体的协议进行了形式化分析，得到了与以往文献相同的结论。
基于串空间模型的电子商务协议的形式化分析
【摘 要】
：
采用形式化方法分析安全协议是协议分析的有效手段，近年来。出现了众多的研究方法。串空间模型是一种新兴的密码协议形式化分析工具。文章基于串空间模型，扩展了认证测试方法，使
【机 构】
：
山东大学网络信息安全研究所,山东交通学院,山东数字证书认证管理有限公司
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年3期
其他文献
我国的社会主义制度在不断的完善，相应的管理在不断的跟着时代的主流而发展。我国的经济在近十年内取得了很大的发展，无论是在事业单位还是企业单位的内部管理都在不断地改革更
在CT(Computed Tomography)图像重建领域,当投影数据含有噪声或者不完备时,与Feldkamp算法相比,同时代数重建方法(Simultaneous Algebraic Reconstruction Technique,SART)能重建出更高质量的三维图像。但三维SART方法非常耗时,为了减少SART的运行时间,利用工作站机群(Cluster of Workstations,COW
法定顺延事由如病假产假,在10年连续工作时间内,可否纳入无固期合同中,在《劳动合同法》与相关法律中均无规定。结合案例分析无固期合同,由于医疗期未明确规定,出现同案不同
电能计量是否准确和公正，直接关系到电力企业和用户双方的经济利益。受利益的驱动，窃电现象屡禁不止。提高电流互感器额定变比，利用变比差值窃电就是其中的一种。