3811 search results - page 128 / 763 » The Safe-Tcl Security Model |
175
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...
164
click to vote
ACISP
2007
Springer
16 years 17 days ago
2007
Springer
This paper improves the Finiasz-Vaudenay construction of TCHo, a hardware-oriented public-key cryptosystem, whose security relies on the hardness of finding a low-weight multiple ...
180
click to vote
CSFW
2006
IEEE
16 years 13 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
167
click to vote
ICDCSW
2005
IEEE
16 years 39 min ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
156
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...