From Security Protocols to Pushdown Automata
ACM Transactions on Computational Logic - United States
doi 10.1145/2811262
Full Text
Open PDFAbstract
Available in full text
Date
December 10, 2015
Authors
Publisher
Association for Computing Machinery (ACM)