573 search results - page 8 / 115 » Security Analysis of Voice-over-IP Protocols |
128
click to vote
IJISEC
2008
15 years 4 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
149
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
129
click to vote
EUROCRYPT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
123
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
116
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...