Trust Model Based on Structured Protection for High Level Security   System

CORC > 北京大学 > 信息科学技术学院

	Trust Model Based on Structured Protection for High Level Security System
	Liao Jianhua ; Zhao Yong ; Zhan Jing
刊名	china communications
	2012
关键词	trusted computing security assurance structured protection
英文摘要	In order to ensure the security of information systems, it's essential to make sure that system behaviors are trusted. By analyzing threats that exist in executing procedures, a trust model based on structured protection is proposed. We consider that functional components, system actions and message flows between components are three key factors of information systems. Structured protection requirements on components, connections and action parameters are also provided. Four trusted properties of the model are deducted through formal analysis, and trusted system behavior is defined based on these properties. Furthermore, decision theorem of trusted system behavior is proved. The developed prototype system indicates the model is practical. It is a general theory model built on logic deduction and independent on specific environment and the behaviors of the system designed and implemented following the model are trusted.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000311655500008&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Telecommunications; SCI(E); 中国科学引文数据库(CSCD); 0; 11; 70-77; 9
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/291807]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Liao Jianhua,Zhao Yong,Zhan Jing. Trust Model Based on Structured Protection for High Level Security System[J]. china communications,2012.
APA	Liao Jianhua,Zhao Yong,&Zhan Jing.(2012).Trust Model Based on Structured Protection for High Level Security System.china communications.
MLA	Liao Jianhua,et al."Trust Model Based on Structured Protection for High Level Security System".china communications (2012).