119 search results - page 3 / 24 » Formal Methods for Assuring Security of Protocols |
JSW
2008
13 years 7 months ago
2008
A protocol for assuring the authenticity of information broadcasted over long periods of time is proposed. The protocol is based on time synchronization and uses one-way chains con...
ESORICS
2004
Springer
14 years 24 days ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
ICIW
2007
IEEE
13 years 7 months ago
2007
IEEE
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...