2303 search results - page 72 / 461 » The Cryptographic Abstract Machine |
204
click to vote
ESAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
152
click to vote
PACT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
154
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this work we investigate the difficulty of the discrete logarithm problem in class groups of imaginary quadratic orders. In particular, we discuss several strategies t...
145
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a novel approach for quantifying a system's resistance to unknown-message side-channel attacks. The approach is based on a measure of the secret informati...
134
click to vote
DBSEC
2010
15 years 7 months ago
2010
Abstract. In considering a problem in access control for scalable multimedia formats, we have developed new methods for constructing a key assignment scheme. Our first contribution...