Caleiro, ViganĂ², Basin, 2005. Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis 13.. https://doi.org/10.1093/jigpal/jzi048