Published 2002 | Version v1

Publication Metadata-only

Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning

Creators: ARMANDO, ALESSANDRO; COMPAGNA, LUCA

Others:: Armando, Alessandro; Compagna, Luca

Additional details

Created:: March 31, 2023
Modified:: December 1, 2023