论文部分内容阅读
提出一个直观、易用的模型来模拟和验证身份认证协议,并给出基于Spin(模型检测工具)的实现,它不仅可以模拟多对参与者同时进行会话,而且还有效缩减了状态空间,从而避免了以前文献中提到的状态爆炸现象.同时该文用Needham-Schroeder 公钥协议和TMN协议来说明如何应用该模型.
身份认证协议的模型检测分析
【摘 要】
：
提出一个直观、易用的模型来模拟和验证身份认证协议,并给出基于Spin(模型检测工具)的实现,它不仅可以模拟多对参与者同时进行会话,而且还有效缩减了状态空间,从而避免了以前
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
2003年2期
其他文献
3月15日,农业部召开干部大会,传达贯彻全国政协十一届五次会议和十一届全国人大五次会议精神,研究部署当前农业农村经济重点工作。韩长赋指出,今年＂两会＂继续高度重视＂三农＂工作,
动物福利一般指动物．尤其是受人类控制的．不应受到不必要的痛苦．即使是供人用作食物、友伴、工作工具或研究需要。1965年，英国政府为回应社会诉求．委任了罗格．布兰贝尔教授对农场动
2012年2月14日。中共中央、国务院在北京人民大会堂隆重举行国家科学技术奖励大会．由山东六和集团有限公司承担的“肉鸡健康养殖的营养调控与饲料高效利用技术”荣获2011年度
通用访问控制框架(Generalized Framework for Access Control,GFAC)是经典的多安全政策支持结构,但是在实施多个安全政策模块之后暴露了它潜在的效率缺陷.该文在建立访问的
大北农2月28日公告一系列投资项目．包括新建大北农大兴生物制品基地、增资上海伟农生物科技有限公司、新建猪饲料厂等7项议案．共计投资6．32亿元。
随着人类生活质量的提高．对自身生存环境及饮食卫生要求也在提高。而兽药在动物源性食品中的残留，严重危害了人类的健康。本文就兽药残留产生的原因、危害以及中草药在动物疾病