@misc {IOPORT.70580774,
    author       = {Cervesato, Iliano and Meadows, Catherine and Pavlovic, Dusko},
    title        = {An encapsulated authentication logic for reasoning about key distribution protocols},
    howpublished = {CSFW, 48-61 (2005).},
    year         = {2005},
    doi          = {10.1109/CSFW.2005.7},
    identifier   = {70580774},
}