147 search results - page 11 / 30 » An intruder model for verifying liveness in security protoco... |
ISPEC
2007
Springer
15 years 8 months ago
2007
Springer
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks’ intended services and resources. Defense against DoS attacks has been built into th...
128
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
124
click to vote
WOTE
2010
14 years 11 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
109
click to vote
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
139
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...