44 search results - page 1 / 9 » Using equivalence-checking to verify robustness to denial of... |
CN
2006
13 years 5 months ago
2006
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
SCP
2010
12 years 11 months ago
2010
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
Wireless Sensor Networks (WSNs) may be deployed in hostile or inaccessible environments and are often unattended. In these conditions securing a WSN against malicious attacks is a...
ACNS
2009
Springer
13 years 11 months ago
2009
Springer
The upcoming 802.11w amendment to the 802.11 standard eliminates the 802.11 deauthentication and disassociation Denial of Service (DoS) vulnerabilities. This paper presents two oth...
CNSR
2008
IEEE
13 years 11 months ago
2008
IEEE
Secure and energy efficient transmission is a main concern in many wireless sensor network applications. In this paper, two types of denial-of-service attacks that affect the rout...