Jonathan K. Millen
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk
WRLA, 2000.
@article{WRLA-2000-Millen,
author = "Jonathan K. Millen",
doi = "10.1016/S1571-0661(05)80142-2",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "229--234",
title = "{Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk}",
volume = 36,
year = 2000,
}