论文部分内容阅读
基于模型检测技术，使用SPIN对WTP协议进行了建模和分析．应用自动机和Promela对协议进行建模。利用LTL规范了协议需要满足的安全性，时序性。通过分析发现了协议的一个错误。
WTP协议的SPIN模型检测
【摘 要】
：
基于模型检测技术，使用SPIN对WTP协议进行了建模和分析．应用自动机和Promela对协议进行建模。利用LTL规范了协议需要满足的安全性，时序性。通过分析发现了协议的一个错误。
【机 构】
：
贵州大学电子科学与信息技术学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2008年12期
其他文献
目的分析风机维修起重平台对风机塔筒的影响，为平台基本参数的设计提供依据．方法通过对塔筒受力进行静力学分析，得到风机维修起重平台自质量和悬挂平台的缆绳合力方向对塔筒的影
介绍了LDAP协议的技术原理，并分析了基于SUNJava System Access Manager为中间件的统一身份认证和单点登录系统的基本原理。
PMI提出了一个新的信息保护基础设施，能够与PKI和目录服务紧密地集成，并系统地建立起对认可用户的特定授权．对权限管理进行了系统的定义和描述，完整地提供了授权服务所需过程。对
探讨了Web服务及本体，介绍了本体描述语言OWL及本体开发工具protégé，提出了一种基于本体的语义匹配方法，通过与其它方法进行比较．分析了该方法的优点。
随着现代社会老龄化速度的加快,因中风等疾病造成的肢体运动功能障碍的患者也在逐年增多。现代神经康复医学及其临床研究结果表明,通过科学的康复训练可以在一定程度上恢复其
目的:探讨方证对应、八纲辨证与六经理论的渊源及三者之间的关系。方法:通过对三者内涵的分析,结合《伤寒杂病论》,阐明三者间的关系及应用。结果:八纲、六经是辨证之基础,医
随着当前城市化进程的不断加快,市政道路施工也将日益增多,在施工质量与道路性能方面的要求也在不断提升。本文将深入分析水泥稳定碎石工艺的特点与材料的相关要求,从而对随