3 search results - page 1 / 1 » Basing Cryptographic Protocols on Tamper-Evident Seals |
ICALP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
GI
2007
Springer
13 years 8 months ago
2007
Springer
: Container security systems including electronic seals play an important role in securing container logistics. Nevertheless, a lack of standards prevents devices by different vend...
ACSAC
2002
IEEE
13 years 9 months ago
2002
IEEE
Large-scale distributed systems present numerous security problems not present in local systems. In this paper we present a general security architecture for a large-scale object-...