Gavin Lowe. Towards a Completeness Result for Model Checking of Security Protocols. In CSFW. pages 96-105, 1998. [doi]
@inproceedings{Lowe98:1,
title = {Towards a Completeness Result for Model Checking of Security Protocols},
author = {Gavin Lowe},
year = {1998},
url = {http://dlib.computer.org/conferen/csfw/8488/pdf/84880096.pdf},
tags = {completeness, model checking, meta-model, protocol, security, Meta-Environment},
researchr = {https://researchr.org/publication/Lowe98%3A1},
cites = {0},
citedby = {0},
pages = {96-105},
booktitle = {CSFW},
}