注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 并发系统的Promela语言建模与SPIN模型检测

  2. 并发系统的Promela语言建模与SPIN模型检测

  3. 所属分类：专业指导

    • 发布日期：2010-12-16
    • 文件大小：2mb
    • 提供者：mars914

  1. 安全协议AndrewRPC的SPIN模型检测

  2. 本文运用模型检测技术，以Dolev-Yao模型为基础，提出了使用Promela语言和模型检测工具SPIN对Andrew RPC 协议进行建模和分析的方法，发现了该协议存在重放攻击漏洞，该方法具有一定通用性和很好的参考价值。

  3. 所属分类：网络安全

    • 发布日期：2012-03-09
    • 文件大小：1mb
    • 提供者：jiseven1208

  1. PROMELA语言描述 协议分析（停等，AB）报告

  2. 本文档包含停止等待协议以及AB协议的PROMELA语言描述，帮助我们理解上述两个协议有很大的帮助。

  3. 所属分类：其它

  1. 数理逻辑实验报告

  2. 本文档为我数理逻辑的实验报告，实验报告中有ispin的安装，promela语言，线性时序逻辑，线性实现逻辑实例，希望对初学时序逻辑的同学带来一定的方便！

  3. 所属分类：专业指导

    • 发布日期：2013-01-16
    • 文件大小：316kb
    • 提供者：xuejiren

  1. SPIN在无线网络安全认证协议建模中的应用

  2. 为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失败的安全隐患,从抵抗攻击和协议改进提出了基于隧道的认证方法。使用SPIN PROMELA语言对通信各方建模,用线性时态逻辑LTL表示安全属性,提出了将SPIN应用于认证协议的验证方法。

  3. 所属分类：其它

    • 发布日期：2020-07-06
    • 文件大小：514kb
    • 提供者：weixin_38630697

  1. 基于MDA的语义Web服务的组合与验证

  2. 针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：225kb
    • 提供者：weixin_38546817