554 search results - page 21 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
WISEC
2009
ACM
14 years 2 months ago
2009
ACM
Mobile ad-hoc networks are becoming ever more popular due to their flexibility, low cost, and ease of deployment. However, to achieve these benefits the network must employ a so...
PADL
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
IWNAS
2008
IEEE
14 years 2 months ago
2008
IEEE
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
JDCTA
2010
13 years 2 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...