论文部分内容阅读
文章利用StrandSpace模型对ISI支付协议进行了分析,得出了与卿_周逻辑分析方法相同的结论,并将StrandSpace模型对认证协议协定性的分析方法应用到了电子商务协议公平性的分析。
ISI支付协议的Strand Space模型及其公平性分析
【摘 要】
：
文章利用StrandSpace模型对ISI支付协议进行了分析,得出了与卿_周逻辑分析方法相同的结论,并将StrandSpace模型对认证协议协定性的分析方法应用到了电子商务协议公平性的分析。
【机 构】
：
中国船舶工业集团公司船舶系统工程部5分部,西南交通大学信息安全与国家计算网格实验室,西南交通大学信息安全与国家计算网格实验室 北京100036,四川成都610031,四川成都610031
【出 处】
：
信息安全与通信保密
【发表日期】
：
2006年10期
其他文献
近年来,我国的建筑行业在不断发展,暖通空调已经成为了建筑中非常重要的关键的环节,因此人们对暖通空调制冷系统的安装也提出了更高的要求.在安装制冷系统的管道过程中,应该
对大中型车辆运营过程中车辆油箱燃油状态监控技术进行了研究。借助于传感网技术,通过车载终端周期性的采集车辆燃油油量数据,然后对车辆油量传感历史数据进行分析与处理,研
与普通建筑相比,绿色节能建筑的优势主要表现为其对环境产生的污染较小.在绿色节能建筑施工过程中,常用的施工技术主要包含保温节能施工技术、地源热泵节能技术以及环境保护
建筑工程确定工程造价的关键环节就是建筑的预结算审核,预结算审核的内容和方法直接关系着工程造价管理的质量和效率,因此本文分析了建筑工程预结算审核工作的重点内容.
随着市场经济和科学技术的进步,近年来我国的桥梁施工技术得到了快速发展,后张法预应力箱梁施工技术作为桥梁预应力构件制作的成熟工艺,它能够充分利用材料的强度性能,以提高
近年来,随着人们生活水平的提高和城市家庭人口结构的变化,消费者对西瓜的风味、品质和商品性的要求越来越高。消费趋势从有籽西瓜到无籽西瓜,从大西瓜到小西瓜,从红瓤西瓜
土方地形工程施工的质量是切实保证园林绿化效果的重要基础,在保证地形检测准确型的基础上,一定要采取科学的土方工程施工技术,从而切实保障土方地形工程施工的质量,文章对园
目的评价孕前优生检查和健康教育对出生缺陷干预的效果。方法通过计算机检索中国(CNKI)学术文献总库、万方数据知识服务平台、中文科技期刊数据库和中国生物医学文献数据库和
市政路桥工程能够反映出一座城市的文化、经济水平,是城市发展的重要标志.混凝土作为基础建筑材料,在各类工程建设中应用广泛.随着城市化发展进程加快,路桥工程建设不断增加,
随着新课程改革的深入推进,中小学数学衔接已成为许多数学老师重点关注的课题。作为一名数学教师,要根据学生的身体和心理特征,帮助学生实现从小学到初中的跨越。
With the