Gizela Jakubowska, Wojciech Penczek. Modelling and Checking Timed Authentication of Security Protocols. Fundamenta Informaticae, 79(3-4):363-378, 2007. [doi]
@article{JakubowskaP07:0,
title = {Modelling and Checking Timed Authentication of Security Protocols},
author = {Gizela Jakubowska and Wojciech Penczek},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=3&spage=363},
tags = {model checking, meta-model, protocol, security, Meta-Environment},
researchr = {https://researchr.org/publication/JakubowskaP07%3A0},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {79},
number = {3-4},
pages = {363-378},
}