论文部分内容阅读
基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议.根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间.这样就可以进行仿真分析,找到协议的安全漏洞,完善认证协议.
基于电子商务单向认证协议的Petri网模型
【摘 要】
：
基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议.根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间.这样就可以进行
【机 构】
：
武汉理工大学信息学院,贵州师范大学计算科学与计算机网络重点实验室
【出 处】
：
贵州工业大学学报(自然科学版)
【发表日期】
：
2005年6期
其他文献
尿毒症血液透析患者尿量的有无,直接影响着其生活质量的高低,故应引起广大血透医务工作者的高度重视.近两年来,我们做了有益的探讨,兹将粗浅体会报道如下.
【正】建设部2007年第659号公告《建设事业"十一五"推广应用和限制禁止使用技术(第一批)》中推广应用技术第128项"推广埋地塑料排水管";限制使用第18项"小于等于DN800mm排水
经理论分析与实验研究,初步研制成功了机械镀锌的关键技术-镀液促进剂工艺配方,为进一步完善该配方的研究提供了基础。
研究了稳定性亚氯酸钠溶液对草莓的保鲜效果。分别测定贮存过程中草莓的感官指标、失重率、Vc含量、可滴定酸含量及细菌菌落总数，结果表明，稳定性亚氯酸钠溶液的保鲜效果良好，在
目的：探讨12导联同步全息动态心电图应用于冠心病、心肌缺血以及心律失常临床诊断中的价值。方法：对本院2011年1月-12月间收治的129例患者进行12导联同步全息动态心电图检测，对
如何培养适合现代社会需要的高素质人才是每个高等职业教育工作者可能面临的困惑。本文结合对清代福建船政学堂的人才教育模式、培养思想、办学理念、专业取向等方面的分析，探
现代流通是社会再生产过程的命脉,是连接生产与消费的纽带,它可以带动产业结构的调整,提高劳动生产率和经济运行的效率,对国民经济发展起到带动作用。但我国流通业存在小散乱
市政工程中的排水管道对城市居民生活有着重要的影响,要提高市政排水管道工程的质量,就要在施工过程中加强管理与控制,采取合理的施工技术和方法,努力克服各种质量通病,提高
目的：研究胺碘酮治疗心力衰竭合并心律失常的方法与效果.方法：我院2010年1月~2011年1月收治心力衰竭合并心律失常患者30例,随机分为对照组和实验组各15例.对照组采用常规抗心力