论文部分内容阅读
提出了一种分析安全协议的新逻辑,既能有效地分析认证协议的认证性,又能分析电子商务协议的可追究性和公平性。该方法对认证协议的分析,不需要协议理想化,避免了因理想化而导致的各类问题。能够有效地分析电子商务协议的可追究性和公平性,用于分析实用协议。分析过程简单直观,便于实现机器自动验证。
一种分析安全协议的新逻辑
【摘 要】
：
提出了一种分析安全协议的新逻辑,既能有效地分析认证协议的认证性,又能分析电子商务协议的可追究性和公平性。该方法对认证协议的分析,不需要协议理想化,避免了因理想化而导
【机 构】
：
中山大学数学与计算科学学院
【出 处】
：
计算机工程
【发表日期】
：
2007年23期
其他文献
武广客运专线金沙洲隧道属于浅埋双线隧道，围岩条件复杂，采用新奥法正台阶法施工。为了进一步修改和完善原设计，并有效地指导下阶段施工，对台阶法施工中现场监控量测的数据采取了
京沪高速铁路宿州站，地质条件较差，为保证高速铁路运行的高平顺性和铁路路基工后零沉降，车站路基地基处理采用了PHC预应力管桩桩筏结构。文中对该工程施工中的预应力管桩桩筏结
广播加密技术是一种安全群组通信的技术，在付费电视、电话会议、数字内容的网络发布等领域有广泛应用。在对现有广播加密机制进行比较和分析的基础上，该文提出了一种广播加密机
印度谚语曰说:“播种行为,收获习惯,播种习惯,收获性格,播种性格,收获命运。”由此可以明了人的行为-习惯-性格-命运间的关系。养成良好的学习习惯是取得良好学习效果的关键,
在阐述评价方法的基础上,参考国内外若干权威学科排行榜学科评价指标体系,结合专家调查情况,构建包括学科声誉、学科力量、科学研究、教学与人才培养、国际融合、发展环境等
目的:探讨纯红细胞再生障碍(PRCA)的病因和治疗方法。方法:回顾分析2003年12月-2006年8月5例PRCA住院病历。结果:5例患者发病分别与胸腺瘤、自身免疫、应用促红素、感染等有