11 search results - page 2 / 3 » csfw 1999 |
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract. A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a p...
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...