形式化方法论文

论文摘要如何能快速高质量地开发出满足企业需求的信息系统软件,且使所开发的系统能够适应企业组织机构与业务流程的变化,具有良好的柔性已成为当今信息系统开发所面临的一个重要课题。本文...

论文摘要本论文是对高安全级别可信操作系统实现的综合分析。论文针对生产信息系统的安全需求,主要考虑达到GB17859中第四级—结构化保护级的操作系统面临的一些关键问题。本论文以国...

论文摘要密码协议的安全性研究是网络安全研究的主要热点。本论文主要研究了如何应用系统工程思想和形式化方法来分析和设计密码协议,取得的主要研究结果如下:1.将系统工程思想引入密码协...

论文摘要随着Internet技术的发展,安全协议在电子商务和电子政务中的应用越来越多。与此相应的就是人们对协议的安全性更加关注,尤其是在特殊环境下如何建模和分析安全协议显得尤为...

论文摘要随着开放分布式计算的快速发展，中间件技术已经从面向对象计算的阶段发展到了面向服务计算（Service-OrientedComputing）的阶段。SOC更加靠近应用层的...

论文摘要不同的形式化方法不仅在学术研究中得到支持与倡导,而且目前已经广泛应用到实际工业项目的各个方面。由于计算机系统越来越复杂,可能在一个系统中需要用到多种形式化方法,因此十分...

论文摘要形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。对并发传值系统进行模型检测需要建立相应的抽象模型,带赋值的符号迁移图是一种广为使用的抽象模型。对于并发...

论文题目:AdHoc网络路由协议安全性分析方法研究论文类型:博士论文论文专业:通信与信息系统作者:王英龙导师:高振明关键词:无线自组网,路由协议,形式化方法,逻辑,串空间,演算...