4111 search results - page 223 / 823 » Security, Protocols, and Trust |
85
Voted
CORR
2006
Springer
15 years 21 days ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
108
Voted
CSFW
1998
IEEE
15 years 5 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
93
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
102
Voted
IEEEARES
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper, we address the security of routing protocols. Internet routing protocols are subject to attacks in the control plane as well as the data plane. In the control pla...
102
Voted
CORR
2007
Springer
15 years 19 days ago
2007
Springer
—The focus of this paper is an information-theoretic study of retransmission protocols for reliable packet communication under a secrecy constraint. The hybrid automatic retransm...