186 search results - page 10 / 38 » Formal Modeling and Analysis of the Modbus Protocol |
124
Voted
ASIAN
2006
Springer
15 years 7 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...
110
Voted
CORR
2006
Springer
15 years 3 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...
159
Voted
TOSEM
2010
14 years 10 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...
151
Voted
ICECCS
2009
IEEE
15 years 10 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...
151
Voted
CSFW
1999
IEEE
15 years 8 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...