186 search results - page 25 / 38 » Formal Modeling and Analysis of the Modbus Protocol |
IFIP
2010
Springer
13 years 2 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
14 years 1 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
14 years 21 days 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...
ASIACRYPT
2004
Springer
14 years 24 days 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...
CCS
2001
ACM
13 years 12 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 ...