• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

Chen, Yasha (Chen, Yasha.) | Jiang, Wei (Jiang, Wei.) | Hu, Jun (Hu, Jun.) | Liao, Jianhua (Liao, Jianhua.)

收录:

EI Scopus

摘要:

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.

关键词:

Computer operating procedures Engineering technology Materials science

作者机构:

  • [ 1 ] [Chen, Yasha]Department of Electrical and Information Engineering, Naval University of Engineering, 430033, Wuhan, Hubei, China
  • [ 2 ] [Jiang, Wei]School of Computer, Beijing University of Technology, 100124, Beijing, China
  • [ 3 ] [Hu, Jun]School of Computer, Beijing University of Technology, 100124, Beijing, China
  • [ 4 ] [Liao, Jianhua]School of Computer, Beijing University of Technology, 100124, Beijing, China

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

ISSN: 1022-6680

年份: 2012

卷: 462

页码: 763-768

语种: 英文

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 2

在线人数/总访问数:1264/2920864
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司