Catherine Meadows. Invariant Generation Techniques in Cryptographic Protocol Analysis. In CSFW. pages 159-167, 2000. [doi]
@inproceedings{Meadows00, title = {Invariant Generation Techniques in Cryptographic Protocol Analysis}, author = {Catherine Meadows}, year = {2000}, url = {http://www.computer.org/proceedings/csfw/0671/06710159abs.htm}, tags = {protocol, analysis}, researchr = {https://researchr.org/publication/Meadows00}, cites = {0}, citedby = {0}, pages = {159-167}, booktitle = {CSFW}, }