Published 2004 | Version v1

Publication Metadata-only

Automatic Compilation of Protocol Insecurity Problems into Logic Programming

Creators: ARMANDO, ALESSANDRO; L. COMPAGNA; Y. LIERLER

Others:: Armando, Alessandro; L., Compagna; Y., Lierler

Additional details

Created:: March 27, 2023
Modified:: November 28, 2023