147 search results - page 8 / 30 » An intruder model for verifying liveness in security protoco... |
146
click to vote
CSFW
1995
IEEE
15 years 5 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
117
Voted
CSSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
126
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
158
Voted
FORTE
2009
14 years 11 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
83
Voted
CCS
2008
ACM
15 years 3 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...