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

作者:

Chen, Yasha (Chen, Yasha.) | Hu, Jun (Hu, Jun.) | Gai, Xinmao (Gai, Xinmao.) | Sun, Yu (Sun, Yu.)

收录:

EI Scopus

摘要:

Privilege user is needed to manage the commercial transactions, but a super-administrator may have monopolize power and cause serious security problem. Relied on trusted computing technology, a privilege separation method is proposed to satisfy the security management requirement for information systems. It authorizes the system privilege to three different managers, and none of it can be interfered by others. Process algebra Communication Sequential Processes is used to model the three powers mechanism, and safety effect is analyzed and compared. © 2011 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering.

关键词:

Formal methods Information management Separation

作者机构:

  • [ 1 ] [Chen, Yasha]Department of Electrical and Information Engineering, Naval University of Engineering, Wuhan, Hubei 430033, China
  • [ 2 ] [Chen, Yasha]Key Lab of Information Network Security, Ministry of Public Security, Shanghai 201204, China
  • [ 3 ] [Hu, Jun]School of Computer, Beijing University of Technology, Beijing 100124, China
  • [ 4 ] [Gai, Xinmao]School of Computer, National University of Defense Technology, Changsha, Hunan 410073, China
  • [ 5 ] [Sun, Yu]School of Computer, Beijing University of Technology, Beijing 100124, China

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

ISSN: 1867-8211

年份: 2011

卷: 56

页码: 185-192

语种: 英文

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

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

万方被引频次:

中文被引频次:

近30日浏览量: 2

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