安全协议形式化分析理论与方法研究综述

阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论.

摘 要 统一建模语言（ %+/） 是一种通用的图形化建模语言， 在面向对象系统的分析和设计中， 它已成为事实上的工业 标准。但是 %+/ 不是形式化的建模语言， 缺乏精确的语义描述， 因此会导致一些问

采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统

传统的源码缺陷分析方法存在缺陷规则有限，缺陷检测结果不明确等问题。以模型检测中的形式化规约为基础，提出一种积木式缺陷规则库构建和源码检测方法。利用元数据，用户能够通过简单的CTL逻辑操作，实现自定义待

软件项目风险管理是软件工程的重要分支,也是项目管理和决策研究中的热点问题.为此,简要介绍了软件项目风险管理的相关基本概念,阐述了软件项目风险管理的框架体系和研究方法,并讨论了其各自的优缺点.据此对该学

安全协议理论与方法，作者：范红、冯登国，2003

介绍了一种新的支持算法设计自动化的形式化方法Designware，详细分析了其理论基础及规约精化机理，阐述了其半自动算法设计支撑系统，并结合一个开发实例展示了Designware的具体使用，给出了De

Application Research of Formal Method in Software Engineering

中科院研究生院教程 ，形式化方法 ，ppt

基于计算机联锁系统是一个对列车行驶系统提供安全条件的系统，车站联锁系统是保证车站行车安全和提高运输效率的典型安全苛求性系统。以形式化 方法Event-B为基础，引入角色Agent对联锁系统进行规范定义