Modelling and analysis of security protocols

By Michael Goldsmith. 2001

315 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/73150f5dca4aa2632ff5c9949752d7a7df2feda9

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Luca Viganò
2. Edmund M. Clarke
3. Alex Groce
4. Sagar Chaki
5. Helmut Veith
6. Somesh Jha
7. David A. Basin
8. Sebastian Alexander Mödersheim

Citations in the corpus

• Automated Security Protocol Analysis With the AVISPA Tool (2006, methodology): “This notation is quite convenient as it gives an illustration of the messages exchanged in a normal, successful run of a given protocol, and several protocol specification languages (e.g., [23,55,64, 73 ] as well as an older version of HLPSL [3]) are based on (a formalization of the) Alice&Bob notat”
• Modular verification of software components in C (2003, background): “increased. In particular, security protocols and communication protocols are naturally specified in terms of state machines [3], [4], [ 5 ].”
• OFMC: A symbolic model checker for security protocols (2005, methodology): “, [30, 38, 48] as well the discussions in §8.”