论文部分内容阅读
设计安全、有效的认证协议是密码学和通信领域中一个十分重要的研究课题，与认证协议的形式化分析方法研究同步发展。文章在分析认证协议应用技术和协议类型基础上，采用协议结构化的方法，给出了认证协议的分层设计原则。
结构化认证协议设计方法研究
【摘 要】
：
设计安全、有效的认证协议是密码学和通信领域中一个十分重要的研究课题，与认证协议的形式化分析方法研究同步发展。文章在分析认证协议应用技术和协议类型基础上，采用协议结构
【机 构】
：
上海交通大学计算机科学与工程系,200030
【出 处】
：
计算机工程
【发表日期】
：
2000年12期
其他文献
本文给出了一类拟可微函数的拟微分映射的Demyanov和的上半连续性的结果，并利用Demyanov和，对具有不等式约束的拟可微函数的极小问题，给出了一个可行的下降方向．
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
本文主要以抗战后期甘肃知识青年从军运动展开论述,来考察国民政府对知识青年从军运动的发动情况。以甘肃为个案，从而让人们对当时国民政府对这一运动所采取的措施，实施效果等
"机械能守恒定律"是高中物理较为重要和教师熟知的教学单元,笔者比较了不同版本的普通高中课程标准实验教科书《物理(必修2)》"机械能守恒定律"一节内容的编排,结合多年的教
Statistical Air Pollution Index (API) for Trinidad and Tobago Based on Observed Data on Trinidad’s W
Air pollution has been identified as the largest global environmental threat facing the world today, estimated to cause 7 - 10 million deaths worldwide annually
依据大清河系枢纽工程钢闸门涂料防护实施经验,总结出在不同环境中钢闸门防护涂料的种类、特性及钢闸门表面处理方法,并对喷涂和刷涂两种施工方法进行了论述.
给出了一个基于CORBA的新闻数据交流分布式系统的设计和实现,描述了使用CORBA开发分布式应用的方法与过程,也展示了CORBA在处理网络通信方面的特点.
《东使纪事诗略》为魁龄于1866年(清穆宗同治五年)出使朝鲜,归国后整理刊刻的使朝纪行录。该书内容丰富,史料详实,是研究清史、朝鲜史和清朝与朝鲜关系史的宝贵资料,具有重要