186 search results - page 25 / 38 » Formal Modeling and Analysis of the Modbus Protocol |
103
click to vote
IFIP
2010
Springer
14 years 5 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
FC
2007
Springer
15 years 4 months ago
2007
Springer
Onion routing is a scheme for anonymous communication that is designed for practical use. Until now, however, it has had no formal model and therefore no rigorous analysis of its a...
DISCEX
2003
IEEE
15 years 3 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
107
click to vote
ASIACRYPT
2004
Springer
15 years 3 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
72
Voted
CCS
2001
ACM
15 years 2 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...