论文部分内容阅读
反拒认是实现电子商务的一个重要前提条件.基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题.扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信任逻辑BAN对其进行了形式化分析.与相关协议相比,本协议是公平的、安全的和高效的.
电子证据与反拒认协议及形式化分析
【摘 要】
：
反拒认是实现电子商务的一个重要前提条件.基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题.扩充了类BAN信任逻辑的语义和逻辑
【机 构】
：
西南交通大学移动通信研究所,四川师范大学计算机科学学院
【出 处】
：
电子科技大学学报
【发表日期】
：
2004年5期
【基金项目】
：
高等学校博士学科点专项科研项目，国家自然科学基金，四川省教育厅资助项目
其他文献
通过添加金属Nb和SiC增韧，制备复合ZrB2陶瓷，采用放电等离子烧结工艺制备Nb-ZrB2二元系统和Nb-ZrB2-SiC三元系统，测试了复合zrB2陶瓷的硬度、力学性能和微观结构。结果表明所制
采用具有代表性的3种沥青和AC-13C级配矿质混合料拌制沥青混合料并进行了一系列室内试验研究。结果表明：TLA改性沥青混合料和SBS改性沥青混合料都比普通沥青混合料具有更好的
当代中国大学生有充分的审美辨别、考量、选择的能力。社会文化精英的审美应承载引导、批评、建设之功能。大学美育课应强调摩挲经典,体会生活,而不要把美育简单理解为看几次
现代教育技术广泛的应用于数学教学中已经成为新世纪数学教育的标志之一。本文中我们将探究一些对把现代教育技术引入课程一些较重要的设想和反思，比如怎样将“高科技”转化为
以豪斯多夫距离为相似性度量,提出了一种对光照及背景变化具有鲁棒性的快速准确多人脸检测算法。由于豪斯多夫距离多模板匹配算法的复杂性,采用降低模型维数,寻找感兴趣区域和用变换间距离来寻找最适宜模型等多种方法提高计算豪斯多夫距离的效率。实验结果证明该算法能快速准确检测人脸。
利用投影技术,针对功能磁共振时间序列图像,介绍了一种新的自动图像配准方法.该方法将序列图像二值化后沿着水平方向或垂直方向进行投影,根据投影向量元素的位置和大小,快速
【正】 从语言角度进行分析,交际(commu-nication)一词可以揽括字典里的“联系、传递、传播、传达、传染、通讯、通知”等意义。但从符号学角度去分析,其范围则很有限。象热
【正】 大连外国语学院学报《外语与外语教学》出版60期,作为贵刊的一名忠实读者和撰稿人,值贵刊的思想性、学术性、可读性水平不断提高,拥有的读者越来越广泛,影响力日益增
a—Si：H薄膜太阳能电池作为一种新的能源材料正得到迅猛发展，该文阐述了a—si：H薄膜太阳能电池的原理、结构、研究进展及应用前景。
将设计模式引入网管系统可以减少管理系统设计的复杂度,提高系统的开发效率.在分析设计模式中的Singleton模式、Adapter模式、Observer模式的基础上,讨论了体系结构,以及为设