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.