Sciweavers

31 search results - page 1 / 7
» esorics 2007
Sort
View
ESORICS
2007
Springer
13 years 11 months ago
A Logic for State-Modifying Authorization Policies
Moritz Y. Becker, Sebastian Nanz
ESORICS
2007
Springer
13 years 11 months ago
Generalized Key Delegation for Hierarchical Identity-Based Encryption
Michel Abdalla, Eike Kiltz, Gregory Neven
ESORICS
2007
Springer
13 years 8 months ago
Efficient Password-Based Authenticated Key Exchange Without Public Information
Jun Shao, Zhenfu Cao, Licheng Wang, Rongxing Lu
ESORICS
2007
Springer
13 years 11 months ago
Inductive Proofs of Computational Secrecy
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...