欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
本项目从软件可信问题的逆向思考，提出了软件病态概念，以规避软件病态产生、实现软件可信为目的，从软件行为、产生机理等方面开展对软件病态的研究，建立PN机行为模型理论，揭示其行为机理，实现定量分析。在此基础上，针对软件先天病态和后天病态，分别加以研究，实现相应的发现、检测和防治技术。本项目在继承和发展现有理论和方法的基础上，提供整体、全局性软件可信的解决方案。特别地，所提出的从软件病态入手，解决软件可信问题，在研究思路、研究方法及关键科学问题上，都具有较强的自主创新性。本项目在PN机行为建模及可行性验证理论方面取得了重要成果。并对先天病态和后天病态的产生机理及防治方法进行了研究，尤其针对跨站钓鱼这一后天病态，研究了其提出了基于PN机行为表征的主动防御方法。针对软件病态的检测问题，提出了基于PN机的切片技术。并在软件一致性保障技术方面，取得了若干成果。
结论摘要：
英文主题词Trusted software;software morbidity;behavior theory of PN machine;cross-Management of morbidity
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
会议论文
相关项目
闫春钢的项目
