Title
Formal Definitions for Trust in Trusted Computing
Abstract
Trust, the most fundamental concept in Trusted Computing, is a pervasive notion and, as such, has been studied thoroughly in a variety of different fields. Based on a survey of trust and security, two formal definitions for trust in Trusted Computing are presented in this paper: one for trust between coequal components (the direct trust) and the other for trust in specialization-employed environment (the recommended trust). Therefore, the rationality of the properties of trust relation has been comprehensively discussed in detail, such as reflexive, symmetric, and conditionally transitive. Finally, several prospective insights are proposed towards modeling a trusted system on basis of those definitions.
Year
DOI
Venue
2010
10.1109/UIC-ATC.2010.77
UIC/ATC Workshops
Keywords
Field
DocType
prospective insight,fundamental concept,security,trust,trust relation,formal definition,direct trust,different field,pervasive notion,trusted computing,recommended trust,formal definitions,coequal component,formal specification,security of data,mathematical model,estimation,computational modeling
Trusted Computing,Rationality,Trust anchor,Computer security,Computer science,Formal specification,Computational trust,Trusted system,Transitive relation,Web of trust
Conference
ISBN
Citations 
PageRank 
978-0-7695-4272-0
5
0.45
References 
Authors
6
4
Name
Order
Citations
PageRank
Xinmao Gai150.78
Yong Li217941.58
Yasha Chen351.12
Changxiang Shen412714.57