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 Gai | 1 | 5 | 0.78 |
Yong Li | 2 | 179 | 41.58 |
Yasha Chen | 3 | 5 | 1.12 |
Changxiang Shen | 4 | 127 | 14.57 |