1771 search results - page 135 / 355 » An Aspect-Oriented Security Framework |
155
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
158
click to vote
ASYNC
2002
IEEE
15 years 11 months ago
2002
IEEE
We demonstrate how 1-of-n encoded speed-independent circuits provide a good framework for constructing smart card functions that are resistant to side channel attacks and fault in...
180
click to vote
IMA
1997
Springer
15 years 10 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...
177
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Deterministic public-key encryption, introduced by Bellare, Boldyreva, and O’Neill (CRYPTO ’07), provides an alternative to randomized public-key encryption in various scenari...
155
click to vote
PAKDD
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. The sharing of association rules is often beneficial in industry, but requires privacy safeguards. One may decide to disclose only part of the knowledge and conceal stra...