5665 search results - page 396 / 1133 » Introduction to Computer Security |
152
click to vote
WSS
2001
15 years 8 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
176
click to vote
WCE
2007
15 years 8 months ago
2007
Abstract— In this survey we take a look at different approaches proposed in the literature for addressing the privacy and security issues derived from the Radio-Frequency IDenti...
154
click to vote
IANDC
2008
15 years 6 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
169
Voted
INFORMATICALT
2006
15 years 6 months ago
2006
This paper proposes a threshold key escrow scheme from pairing. It tolerates the passive adversary to access any internal data of corrupted key escrow agents and the active adversa...
168
click to vote
JNW
2006
15 years 6 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...