514 search results - page 31 / 103 » An active security protocol against DoS attacks |
COMCOM
2000
14 years 11 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
107
click to vote
ESORICS
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. Given the requirements of fast processing and the complexity of RF ranging systems, distance bounding protocols have been challenging to implement so far; only few design...
119
click to vote
CRYPTO
2010
Springer
15 years 28 days ago
2010
Springer
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...
106
click to vote
JSAC
2008
14 years 11 months ago
2008
Cognitive Radio (CR) is a promising technology that can alleviate the spectrum shortage problem by enabling unlicensed users equipped with CRs to coexist with incumbent users in li...
CN
2000
14 years 11 months ago
2000
Abstract-- The TCP/IP suite, the basis for today's Internet, lacks even the most basic mechanisms of authentication. As usage of the Internet increases, its scarcity of built-...