4111 search results - page 86 / 823 » Security, Protocols, and Trust |
CRITIS
2006
14 years 1 months ago
2006
Ad hoc and sensor networks highly depend on the distributed cooperation among network nodes. Trust establishment frameworks provide the means for representing, evaluating, maintain...
ESOP
2004
Springer
14 years 3 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
SP
2008
IEEE
14 years 4 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
SIGOPSE
2004
ACM
14 years 3 months ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
ECWEB
2000
Springer
14 years 2 months ago
2000
Springer
: Internet based business leads to new challenges for Information Security with trust building and partner protection as the most important issues. This article gives an overview o...