Models for Trusted Systems

模型是科学和工程的基础。在物理学、地质学、经济学、天文学、天气预报等领域都可以找到众所周知的模型例子。对于每个应用程序，使用正确的模型是很重要的。的确，科学的进步依赖于找到能够准确描述应用程序主要特征的模型。为了考虑到新技术的发展，或者为了使模型更准确，模型经常必须从根本上进行调整。可信系统中使用的大多数模型都有20多年的历史了，也就是说，在互联网、计算机病毒、万维网、黑客、拒绝服务攻击、测试不足的操作系统等出现之前。由于计算机系统在这一时期发生了巨大的变化，用于计算机安全的模型已经过时，而且往往不切实际。有必要开始一个过程，分析一些早期的模型是否仍然合适，如果不合适，就对它们进行调整。如果不解决这个问题，现实与研究之间的差距将会扩大，使这一领域的研究变得无关紧要。目标是：-批判性地分析可信系统的现有模型，-使用诸如计算复杂性，离散数学和经济学等学科的技术提出新的模型。-对这些模型进行比较和评估。

Models are the foundations of science and engineering. Well known examples of models can be found in physics, geology, economy, astronomy, weather forecasting, etc. It is important that for each application the correct model is used. Indeed, the progress of science relies on finding models that describe accurately the main features of the application. Frequently models must be radically adjusted to take into account new technological developments or to make the models more accurate.Most models used in trusted systems are over 20 years old, that is before the introduction of the internet, computer viruses, the World Wide Web, hacking, denial of service attacks, poorly tested operating systems, etc. Since computer systems changed dramatically during this period, the models used for computer security are outdated and often unrealistic. There is a need to start a process of analyzing whether some of the earlier models are still appropriate, and if not, adapt them. If one does not address this issue the gap between reality and research is going to widen, making research in this area irrelevant.The goals are:- to critically analyze existing models for trusted systems,- to propose new models using techniques from such disciplines as computational complexity, discrete mathematics, and economics.- to compare these models and evaluate them.