基于构件的可信软件构造及其行为动态可信测评

项目名称： 基于构件的可信软件构造及其行为动态可信测评

项目编号： No.61462091

项目类型： 地区科学基金项目

立项/批准年度： 2015

项目学科： 自动化技术、计算机技术

项目作者： 郁湧

作者单位： 云南大学

项目金额： 44万元

中文摘要： 本项目以当前可信软件研究中的一个热点问题- - 基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作，具体内容如下： 首先，提出一种基于构件的可信软件模型和表示方法，作为整个项目研究的基础和支撑；其次，在分析可信软件中构件的可信关键域的基础上，用模糊理论来对构件行为可信性进行描述和测度，并对构件的完整性验证和系统的可信启动问题进行研究；同时，基于模糊聚类对构件之间信任关系进行分析，建立构件之间控制权可信转移协议来对构件之间进行相互认证以保证构件之间的控制权可信转移，并对该协议的各种性质进行验证；然后，提出基于层次有色Petri网的可信软件行为模型，获取该模型的可达图来表示系统运行中构件的行为轨迹；最后，建立可信软件的行为检测模型，实现对构件行为的统计和动态可信测评工作。 本项目的研究旨在为基于构件的可信软件系统的构造和开发提供相应的理论支持和借鉴作用。

中文关键词： 基于构件的软件系统；可信软件；软件行为；行为可信测评；控制权可信转移

英文摘要： This project is intended to be carried out in terms of the component-based trusted software construction and its key theory and technology, which is a research focus in the domain of the trusted software. The specific contents of this project are as follows: Firstly, to propose the model and algebraic expression of the component-based trusted software as the basis and support of the whole project; Secondly, to efficiently describe and evaluate the dependability of component behavior using fuzzy theory after analyzing the conponent's trusted key domain in the trusted software, and study the component's integrity validation and the trusted startup process. At the same time, to analyze the trust relation based on fuzzy cluster and establish the trusted transfer protocol between the components, so as to ensure the trusted transfer of the control power among the components, and to validate the properties of the protocol; Besides, to propose a trusted softeware behavioral model based on the hierarchical colored Petri net so as to represent the component behavioral tracks in the running system via acquiring the reachability graph of the model; Finally, to establish the behavior detection model of trusted software so as to conduct the work of the statistics and dynamic trusted evaluation on the component behavior. Overall, this project is aimed to provide the theorical support and reference for the construction and development of the component-based trusted software.

英文关键词： Component-based Software System;Trusted Software;Software Behavior;Trusted Evaluation of Behavior;Trusted Transfer of the Control-Power