Sciweavers

4111 search results - page 84 / 823
» Security, Protocols, and Trust
Sort
View
JCP
2006
116views more  JCP 2006»
13 years 10 months ago
Building a Virtual Hierarchy for Managing Trust Relationships in a Hybrid Architecture
Trust models provide a framework to create and manage trust relationships among the different entities of a Public Key Infrastructure (PKI). These trust relationships are verified ...
Cristina Satizábal, Rafael Páez, Jor...
ACSAC
2005
IEEE
14 years 3 months ago
Countering Trusting Trust through Diverse Double-Compiling
An Air Force evaluation of Multics, and Ken Thompson’s famous Turing award lecture “Reflections on Trusting Trust,” showed that compilers can be subverted to insert maliciou...
David Wheeler
CSFW
2007
IEEE
14 years 4 months ago
Causality-based Abstraction of Multiplicity in Security Protocols
Michael Backes, Agostino Cortesi, Matteo Maffei