自动化验证相关论文
近些年来,随着系统设计复杂性的提高,各种系统错误在实际应用中层出不穷,其造成严重后果的事件也逐年增多。系统建模是如今众多系......
可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程......
安全协议的操作语义模型是一种分析安全协议的新模型,它结合了以往多种协议分析模型的优点,能分析多个协议及多个主体并行运行的协......
业务流程的自动化迫切要求一种流程描述语言能够描述现实场景下通过松耦合方式产生的业务流程。WS-CDL就是在这种需求下产生的一种......
Web应用是全球信息基础组织的重要组成部分，因此，必须保证其行为的正确性，彻底检测其功能。已有一些辅助自动检测错误的工具，如VeriWeb......
作为网络通信的安全保障,安全协议是整个信息系统架构的安全基础。为了保证安全协议的正确性,研究人员提出了一系列基于形式化方法......
随着计算机网络通信的迅猛发展,安全协议的重要性越来越得到重视。安全协议负责密钥分发和身份认证,一旦其自身出现漏洞,那么将会......
形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工......
