【摘 要】
：
针对电子商务协议的Petri网模型中出现无法描述和演绎其逻辑推理过程的缺点，在传统Petri网基础上提出一种适合描述电子商务协议的信念Patri网。信念Pertri网验证分析过程是先
论文部分内容阅读
针对电子商务协议的Petri网模型中出现无法描述和演绎其逻辑推理过程的缺点，在传统Petri网基础上提出一种适合描述电子商务协议的信念Patri网。信念Pertri网验证分析过程是先将电子商务协议或安全协议的协议规则分解成原始序列。对协议实体构造Petri网模型，对信道进行安全分析。以SET协议为分析对象，利用信念Petri网对SET的持卡人匿名性进行分析。结果说明SET协议的持卡人的隐私信息得到有效保护。
其他文献
赋能不足问题始终是专门职业教育受到的质疑与批评,该问题尚缺乏充分的、基于经验考察的理论探讨。19世纪上半叶,新兴专门职业教育的工程教育开始与行业学徒制培养传统相分离
<正>在21世纪的今天,中国综合国力日趋渐强,国际地位蒸蒸日上,这个巨大的市场也越来越受到世界的关注。本文试图从文化折扣的视角出发,运用文本分析法,探析好莱坞电影近年如
丁四新著，上海古籍出版社2011年4月出版，42万字，559页，是丁先生在学界现有研究成果之上对帛书《周易》和楚竹书《周易》所做的校注。在版本采用上，楚竹书《周易》以濮茅左先生的《
全国大学生暑期＂三下乡＂社会实践活动开展二十年来,积极推动了农村经济文化的建设和发展,也涌现出了不少共性问题。本文以广东理工职业学院开展的大学生＂三下乡＂社会实践项目为具
传统的美术教学重视技能技巧的模仿和训练,忽视了幼儿对于所表现内容的感受、理解和欣赏。随着幼儿教育改革的不断深入,主题活动课程成了整合课程中比较普遍的一种实践形式。
安徽少年儿童出版社（以下简称安少社）作为一家地方专业少儿出版社，紧紧围绕少年儿童的阅读需求，致力于出好书、出精品，把社会效益放首位，努力实现两个效益相统一。$$向原创力要效益
本论文在探索运用Chelex-100螯合树脂提取单头螨DNA的方法基础之上,基于核糖体18SrDNA基因、28SrDNA基因对肉食螨亚科常见的2属4种肉食螨(马六甲肉食螨、强壮肉食螨、转开肉
藏密曼荼罗是藏教密宗中最具特色、最有代表性的艺术形式,是对藏传佛教艺术的一个高度概括。文章从艺术设计的角度出发对它在构图上的艺术特点进行了探讨,并研究曼荼罗的构图
《中国特色社会主义专题研究》一书,全面展示了作者对中国特色社会主义理论发展与应用的研究成果,成为彰显时代精神和社会精神的重要载体。文章从思想价值、精神价值和知识价
本文从10个方面对“鸟巢”、“水立方”立面照明的效果进行评价,通过随机问卷调查的方式,并经过计算、量化得出“鸟巢”、“水立方”立面照明在公众心目中的地位和印象。调查