671 search results - page 23 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
CSFW
2009
IEEE
15 years 1 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
CCS
2009
ACM
15 years 10 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...
ASIACRYPT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
IFIP11
2004
14 years 11 months ago
2004
: Software fixes, patches and updates are issued periodically to extend the functional life cycle of software products. In order to facilitate the prompt notification, delivery, an...
113
click to vote
CSFW
1995
IEEE
15 years 1 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...