收录:
摘要:
To solve the problems derived from isolation of application security mechanism and operation system security mechanism, firstly we propose the concept of trusted pipe, which can be used to achieve a uniform security mechanism, and then formally describe the information flow control method in the Communicating Sequential Processes(CSP). Finally we prove that the model fits a standard definition of non-interference. © (2012) Trans Tech Publications, Switzerland.
关键词:
通讯作者信息:
电子邮件地址: