375 search results - page 2 / 75 » What is Correctness of Security Protocols |
PDCAT
2007
Springer
14 years 1 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
CSFW
2008
IEEE
13 years 9 months ago
2008
IEEE
The IEEE 802.11s working group is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with a ...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
SP
1998
IEEE
13 years 11 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—While log data are being increasingly used as digital evidence in judicial disputes, the extent to which existing secure logging protocols used to collect log data fulï¬...