297 search results - page 1 / 60 » Formal Analysis of a Non-Repudiation Protocol |
114
Voted
CSFW
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
98
Voted
ESORICS
2012
Springer
13 years 18 days ago
2012
Springer
Given the sensitive nature of health data, privacy of eHealth systems is of prime importance. An eHealth system must enforce that users remain private, even if they are bribed or c...
82
Voted
TELSYS
2002
14 years 9 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...