• 基于语言的软件可信性度量理论及其应用

    基于语言的软件可信性度量理论及其应用

    论文摘要软件是信息基础设施的灵魂.随着软件规模的日趋庞大,软件的可信性越来越引起人们的关注.可信软件基础研究已经成为国内外研究的一个热点,软件可信性度量的研究是其中一个重要研究...
  • 密码协议的形式化分析方法研究

    密码协议的形式化分析方法研究

    论文摘要密码协议的安全性是网络安全的关键,协议分析是揭示密码协议是否存在安全漏洞的重要途径。与非形式化方法相比,密码协议的形式化分析与验证能全面地检测密码协议存在的安全漏洞。在...
  • 高阶进程演算的互模拟理论和公理化的研究

    高阶进程演算的互模拟理论和公理化的研究

    论文摘要高阶进程演算,因为其很强的抽象能力和理论上的重要性,在进程演算领域一直得到广泛的关注,并成为描述和分析具有动态变换特性的内部连接结构的移动系统的有效数学工具。在本文中,...
  • 形式化本体工程中若干问题的研究

    形式化本体工程中若干问题的研究

    论文摘要本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体工程是计算机科学的一个领域,它关注于本体的建立和使用。本文提出了形式化本体工程的思想...