基于组件的软件体系结构是软件工程研究领域中的一个新的而且重要的课题。基于组件及其装配连接设计出的体系结构可以提供更丰富的设计信息,它除了可以描述设计模块之间...
2022年9月10日 [6]刘乐源,禚明.电子科技大学.基于形式化方法的软件定义天地一体化信息网络中心控制器设计的安全性保障技术研究[Z].项目立项编号:2018GZ0181.鉴定单位:四川省...
使用基于进程代数的方法建立软件体系结构的安全模型 2008 - 杨捷,毋国庆,齐德昱 - 《计算机工程与科学》 - 被引量: 0 收藏相关文章 使用基于进程代数的方法建立软件体系结构...
利用体系结构描述语言WRIPE,全文对集装箱现场控制系统(SCOTT)进行了描述,并结合集装箱现场流程和Petri网理论对SCOTT系统进行了细化.同时也使用了WRIPE集成工具将体系结构描述...
2003年11月5日 2华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年 3杨捷;安全软件体系结构的形式化方法研究[D];武汉大学;2004年 4黎忠文;分布式控制...
软件体系结构分析方法分为:①定性分析:采用基于checklist、questionnaire和场景的分析评价技术; ②定量分析:采用基于度量指标、模拟、原型系统和数学模型等技术,在具体的质量...
24杨捷;安全软件体系结构的形式化方法研究[D];武汉大学;年 25常志明;自适应系统软件体系结构的关键技术研究[D];国防科学技术大学;年 26叶俊民;基于软件体系结构的测试用例生...
2023年3月21日 这一限制是为了更专注于FM的应用,将形式化安全分析的好处带给工业界。这与我们专注于应用形式化方法有关,在寻找研究出版物时,我们只考虑了使用工具支持FM来处理具体网络安全问题的...
2023年4月2日 软件安全论文篇1 论文摘要:随着软件行业特别是软件外包行业在国内的蓬勃发展,如何保证自身的信息安全成了摆在软件企业面前的重要课题。文章通过对软件企业现有...
操作系统结构化是解决安全保障问题的必经之路,也是高安全级操作系统(TCSEC B2级以上)的重要本质性特征。因此,对操作系统结构化的关键技术进行深入研究,构建能够满足高等级系...