186 search results - page 1 / 38 » Formal Modeling and Analysis of the Modbus Protocol |
IFIP
2007
Springer
13 years 11 months ago
2007
Springer
CSFW
1998
IEEE
13 years 9 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...
ACSW
2006
13 years 6 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
ISOLA
2010
Springer
13 years 3 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...