5 search results - page 1 / 1 » The Architecture of Secure Systems |
141
click to vote
JCS
2011
14 years 8 months ago
2011
We explore a new direction towards solving the identity authentication problem in RFID systems. We break the RFID authentication process into two main problems: message authenticat...
100
click to vote
JCS
2011
14 years 8 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
128
click to vote
JCS
2011
14 years 4 months ago
2011
Malicious software—so called malware—poses a major threat to the security of computer systems. The amount and diversity of its variants render classic security defenses ineffe...
109
click to vote
JCS
2011
14 years 8 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
127
click to vote
JCS
2011
14 years 8 months ago
2011
RFID systems often use near-field magnetic coupling to implement communication channels. The advertised operational range of these channels is less than 10 cm and therefore sever...