741 search results - page 113 / 149 » Verification of security protocols using LOTOS-method and ap... |
181
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
140
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
151
click to vote
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Wireless sensor nodes lack hardware support for tamperresistance and are often deployed in unattended environments, thus leaving them vulnerable to capture and compromise by an ad...
148
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
This paper covers the use of Java and its API for developing networking programs in an undergraduate computer networks class. Through the use of TCP and UDP sockets provided in th...
130
click to vote
WISEC
2009
ACM
15 years 10 months ago
2009
ACM
The current 802.11i standard can provide data confidentiality, integrity and mutual authentication in enterprise Wireless Local Area Networks (WLANs). However, secure communicati...