54 search results - page 1 / 11 » Improving Automatic Verification of Security Protocols with ... |
ICFEM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. K
CCS
2008
ACM
13 years 6 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...
CSFW
2009
IEEE
13 years 8 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
STACS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
JDCTA
2010
12 years 11 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...