高可信软件工程技术

下载PDF

导出

摘要现阶段，随着软件在我国信息社会中发挥的作用越来越重要，软件的使用者对软件保密安全性、软件可靠性以及可靠安全性等有关可信性质的要求越来越高。文章研究分析高可信软件工程技术面临的主要挑战以及现状，提出了基于彤式化方式中的高可信软件技术其突破点与发展趋势。

作者齐彦杰

机构地区中国电信股份有限公司河南分公司

出处《魅力中国》 2013年第10期99-99,共1页

关键词高可信软件工程软件保证分析研究

参考文献1

1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量：115
2周从华,陈振宇,鞠时光.基于SAT的软件验证[J].计算机研究与发展,2008,45(z1):124-130.
3田俊峰,朱叶.Trust Shell Based Constitution Model of Trusted Software[J].China Communications,2011,8(4):11-22. 被引量：2
4肖美华,薛锦云.基于SPIN/Promela的并发系统验证[J].计算机科学,2004,31(8):201-203. 被引量：20
5张轶,林惠民.带复杂数据结构的模型检测工具[J].计算机研究与发展,2004,41(11):1990-1999.
6吕关锋,苏开乐,林瀚,骆翔宇,陈清亮,岳伟亚.基于BDD的图表示及其算法[J].中山大学学报（自然科学版）,2006,45(1):20-24. 被引量：4
7张宁宁,刘孟仁.模型检测在软件测试中的应用[J].计算机与数字工程,2006,34(2):93-96. 被引量：3
8戚正伟,尤晋元.基于细胞膜演算的Web服务事务处理形式化描述与验证[J].计算机学报,2006,29(7):1137-1144. 被引量：8
9吴立军,苏开乐,陈清亮,杨志华.多主体系统时态认知规范的“On the Fly”模型检测算法研究[J].计算机研究与发展,2006,43(8):1417-1424. 被引量：2
10李静,肖美华.网络认证协议攻击的非形式化分析[J].计算机工程与应用,2006,42(22):112-115. 被引量：3

魅力中国

2013年第10期

内容加载中请稍等...