![VTOS形式化验证框架与VTOS消息模块的验证]()
论文摘要作为计算机软件的核心,操作系统的安全对于所有的计算机软件来说都至关重要。但是由于操作系统的规模非常庞大,而且结构极其复杂,这使得操作系统的安全问题存在非常多的不确定性。...
![框架时序逻辑程序语言MSVL的形式语义]()
论文摘要形式语义是对软件系统进行形式化验证和分析的重要理论基础。程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。操作语义有助于语言的实现,公理语义有利于程序的验证,指...
![动态模糊逻辑程序设计语言的操作语义模型及验证]()
论文摘要动态模糊逻辑(DFL)的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴Dijkstra的监督命令程序结构,通过结构化操作语...
![基于过程网络的服务协同计算模型研究]()
论文摘要面向服务的体系结构（Service-OrientedArchitecture，SOA）是一种新的分布式应用程序体系结构，它是构件重用技术和分布式技术发展的结果，业界提出...
![安全管理和安全策略研究与设计]()
论文摘要目前,网络和分布式系统管理研究的一个重要方面是基于策略的管理,它在安全领域的使用尤为引人注目。安全管理包括访问控制策略的规格说明和部署。本文提出一种描述和分析安全控制机...
![工作流机和建模的设计与实现]()
论文摘要由于信息技术的发展和日趋激烈的商业竞争,人们不再满足于独立、零散的办公自动化和计算机应用,而是需要综合的、集成化的解决方案。作为一种对常规性事务进行管理、集成的技术,工...
![Java虚拟机安全性的形式化分析和验证]()
论文题目:Java虚拟机安全性的形式化分析和验证论文类型:博士论文论文专业:计算机应用技术作者:左天军导师:陈平关键词:类型安全,字节码验证,动态类加载,类型系统,操作语义,定...
![基于软件体系结构的测试用例生成技术研究]()
论文题目:基于软件体系结构的测试用例生成技术研究论文类型:博士论文论文专业:计算机应用技术作者:叶俊民导师:王振宇关键词:软件体系结构,体系结构描述语言,计时状态进程,操作语义...
