支持自验证自演化的可信网络软件体系结构及其机理

日益普及的互联网给人们获取信息、共享资源带来了极大的方便。然而，网络的开放、分布、异构、协同、动态、欺骗等特征，导致了网络软件不可信、在线验证信息匮乏等问题。为此，本项目将开展支持自验证自演化的可信网络软件体系结构及关键技术研究。首先，基于软件构件化设计原则，探索网络软件演化运行的本质规律，重点从软件可观行为方面提炼可信特征，包括功能可满足性、行为一致性、质量可靠性、程序安全性等，形成行为可信标准