113 search results - page 17 / 23 » Safe Equivalences for Security Properties |
SP
1998
IEEE
13 years 12 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
AAECC
2006
Springer
13 years 7 months ago
2006
Springer
A new framework for protection against key exposure was recently suggested by Dodis et. al. [16]. We take its realization further towards practice by presenting simple new schemes...
JALC
2006
13 years 7 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...
FORTE
2009
13 years 5 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...