Published 2007 | Version v1

Publication Metadata-only

LTL Model Checking for Security Protocols

Creators: ARMANDO, ALESSANDRO; CARBONE, ROBERTO; COMPAGNA, LUCA

Others:: Armando, Alessandro; Carbone, Roberto; Compagna, Luca

Additional details

Created:: April 14, 2023
Modified:: November 30, 2023