2363 search results - page 94 / 473 » How Secure is RFID |
134
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
We examine covert channels in privacy-enhanced mobile identification devices where the devices uniquely identify themselves to an authorized verifier. Such devices (e.g. RFID tags)...
119
click to vote
COMCOM
2000
15 years 4 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
193
click to vote
HOST
2011
IEEE
14 years 4 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
124
click to vote
USS
2008
15 years 7 months ago
2008
Complexity in commodity operating systems makes compromises inevitable. Consequently, a great deal of work has examined how to protect security-critical portions of applications f...
124
click to vote
FC
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we investigate how existing theoretical contributions on usable security can serve to guide the design of a specific system. We illustrate how going through this the...