隐标识身份认证方法及其形式化语义分析
针对用户身份标识在身份认证机制中的安全问题，提出一种隐藏身份标识的身分认证方案，用户毋需提交身份标识即可与服务器实现身份认证，并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明，该协议...
形式化方法技术资料
📦 资源总数：10000
💻 源代码：10000
🔥 形式化方法热门资料
查看全部10000个资源 »基于构件的软件形式化开发方法研究与应用.rar
如何能快速高质量地开发出满足企业需求的信息系统软件,且使所开发的系统能够适应企业组织机构与业务流程的变化,具有良好的柔性已成为当今信息系统开发所面临的一个重要课题。 本文针对现有信息系统开发方法的不足,在对构件复用技术和XML技术深入研究的基础上,结合XML与构件技术这两种软件开发热门技术,并参考形...
形式化方法和测试技术及其在安全中的应用
本文回顾和讨论了形式化方法和测试技术，以及形式规格说明可以用于测试用例生成、测试顺序确定的途径；并提出了将形式化方法和测试技术应用于安全保密设备。关键词 形式化方法；测试技术；安全保密设备...
Agent系统软件体系结构形式化建模方法
基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构...
一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方...
💻 形式化方法源代码
查看更多 »📂 形式化方法资料分类