Sciweavers

14850 search results - page 238 / 2970
» The Security of
Sort
View
SACMAT
2009
ACM
16 years 1 months ago
Extending access control models with break-glass
Achim D. Brucker, Helmut Petritsch
ACNS
2008
Springer
147views Cryptology» more  ACNS 2008»
16 years 1 months ago
Multi-factor Authenticated Key Exchange
Abstract. In order to increase the security for authenticated key exchange protocols, various authentication means can be used together. In this paper, we introduce a security mode...
David Pointcheval, Sébastien Zimmer
OOPSLA
2007
Springer
16 years 1 months ago
Establishing object invariants with delayed types
Manuel Fähndrich, Songtao Xia
119
Voted
OOPSLA
2007
Springer
16 years 1 months ago
Making trace monitors feasible
Pavel Avgustinov, Julian Tibble, Oege de Moor
OOPSLA
2007
Springer
16 years 1 months ago
The causes of bloat, the limits of health
Nick Mitchell, Gary Sevitsky