186 search results - page 10 / 38 » Formal Modeling and Analysis of the Modbus Protocol |
109
Voted
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
142
click to vote
TOSEM
2010
14 years 8 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
133
click to vote
ICECCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
134
click to vote
CSFW
1999
IEEE
15 years 6 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...