3811 search results - page 244 / 763 » The Safe-Tcl Security Model |
192
click to vote
ICISC
2009
15 years 4 months ago
2009
Abstract. We give a direct construction of a certificateless key encapsulation mechanism (KEM) in the standard model that is more efficient than the generic constructions proposed ...
174
click to vote
EUROCRYPT
2007
Springer
16 years 24 days ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
174
click to vote
CANS
2009
Springer
15 years 10 months ago
2009
Springer
We extend the well-known Tree-Diffie-Hellman technique used for the design of group key exchange (GKE) protocols with robustness, i.e. with resistance to faults resulting from poss...
171
click to vote
ACISP
2010
Springer
15 years 8 months ago
2010
Springer
We provide the first description of and security model for authenticated key exchange protocols with predicate-based authentication. In addition to the standard goal of session ke...
157
click to vote
INTERACT
2007
15 years 8 months ago
2007
The design of usable yet secure systems raises crucial questions when it comes to balancing properly security and usability. Finding the right tradeoff between these two quality at...