1790 search results - page 175 / 358 » On Privacy Models for RFID |
146
click to vote
IEEEARES
2006
IEEE
16 years 16 days ago
2006
IEEE
Nowadays, most important topic about internet banking is security. Banks’ basic concern is ensuring their customers’ electronic transactions. Nevertheless, fraudsters are beco...
172
click to vote
SP
2006
IEEE
16 years 15 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
156
click to vote
ACSAC
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
164
click to vote
CSFW
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
162
click to vote
CSFW
2005
IEEE
16 years 3 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...