可信软件方法学习

复杂网络来分析软件可信性的文献还比较少，所以，还是找了一些其他方面的，多补充一点知识，先从基本的可信软件设计出发。

这几篇文献都是从软件系统的结构图来构建可信的模型，利用了不同的方法处理，但是基本思路都是从可信软件的定义出发，也就是：软件系统的行为与预期的相一致。也都是把软件系统抽象成一张关系图。

 

《基于软件基因的可信软件模型》

这篇是利用了密码学里面密钥加密跟签名的技术来保障安全性，利用软件执行过程中结点的动态信息例如使用资源，状态信息，授权信息等提出了一个比较复杂的度量指标（这个还没有看懂），最后构建了一个分析流程图，先静态确保，再动态加固，最后保障系统静、动态的可信性。

 

“Trust Shell Based Construction Model of Trusted Software”

这篇整体框架很像控制系统设计的反馈和校正，先构建一个静态完整可信的描述，在此前提下动态跟踪分析，相当于把预期的结果装入一个容器，然后再把动态执行结果丢进去匹配，进行优化控制，他们设计的具体跟踪监控的方法有点类似于kieker的方式。

 

“Dynamic analysis of Object-Oriented  software complexity”

这一篇主要是分析复杂度，看到关键词里面有complexitynetwork ，原以为他要用复杂网络来分析，后来发现这个只是利用设计的一种方法来获取了一个动态的调用图，然后用度分布验证了一下动态模拟图是符合幂律分布，具有无标度网络的特征。