1490 search results - page 96 / 298 » The Logic of Authentication Protocols |
ESORICS
2004
Springer
14 years 2 months 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...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
ACSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Tapping into the communication between two hosts on a LAN has become quite simple thanks to tools that can be downloaded from the Internet. Such tools use the Address Resolution P...
IJNSEC
2008
13 years 9 months ago
2008
This paper presents the Trust Level Routing (TLR) protocol, an extension of the optimized energy-delay routing (OEDR) protocol, focusing on the integrity, reliability and survivab...
ACISP
2010
Springer
13 years 10 months ago
2010
Springer
To reduce the damage of phishing and spyware attacks, banks, governments, and other security-sensitive industries are deploying one-time password systems, where users have many pa...