5255 search results - page 527 / 1051 » Formal Methods for Privacy |
198
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The mifare Classic is a contactless smart card that is used extensively in access control for office buildings, payment systems for public transport, and other applications. We rev...
164
click to vote
CRITIS
2007
15 years 8 months ago
2007
Abstract In this paper we discuss the properties and algorithmic methods for the identification and classification of cyclical interdependencies in critical infrastructures based...
189
click to vote
MIE
2008
15 years 8 months ago
2008
: This paper describes foundational work investigating the protection requirements of sensitive medical information, which is being stored more routinely in repository systems for ...
233
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Recent emergence of RFID tags capable of performing public key operations motivates new RFID applications, including electronic travel documents, identification cards and...
191
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...