@InProceedings = { accorsi01towards,
    author = "Rafael Accorsi, David Basin and Luca Vigaṇ",
    title = "Towards an awareness-based semantics for security protocol analysis",
    booktitle = "Electronic Notes in Theoretical Computer Science",
    volume = "55",
    issue = "1",
    publisher = "Elsevier Science Publishers",
    editor = "Jean Goubault-Larrecq",
    year = "2001"
}