• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

Liao, Jian-Hua (Liao, Jian-Hua.) | Zhao, Yong (Zhao, Yong.) | Shen, Chang-Xiang (Shen, Chang-Xiang.)

Indexed by:

EI Scopus PKU CSCD

Abstract:

To solve the problems derived from isolation of application security mechanism and operation system security mechanism, firstly, the concept of security channel and TCB extension was proposed, and then formal description of security channel was given. By practices, a TCB extension model which based on security channel was obtained. This model could be used to explain how to build security channel between different security mechanisms in order to achieve uniform and eliminate conflicts of those security mechanisms. Finally the theory and practicality of this model with security analysis and engineering implementation were proven.

Keyword:

Research Engineering

Author Community:

  • [ 1 ] [Liao, Jian-Hua]School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
  • [ 2 ] [Liao, Jian-Hua]State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Sciences, Beijing 100049, China
  • [ 3 ] [Zhao, Yong]College of Computer Science, Beijing University of Technology, Beijing 100124, China
  • [ 4 ] [Shen, Chang-Xiang]College of Computer Science, Beijing University of Technology, Beijing 100124, China

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Related Article:

Source :

Journal of Beijing University of Technology

ISSN: 0254-0037

Year: 2010

Issue: 5

Volume: 36

Page: 592-596

Cited Count:

WoS CC Cited Count: 0

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 0

Online/Total:2675/10655231
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.