scientific article; zbMATH DE number 7650814

DOI10.4230/LIPICS.CSL.2020.1MaRDI QIDQ5874186

Véronique Cortier

Publication date: 7 February 2023

Title of this publication is not available (Why is that?)

zbMATH Keywords

securityautomated deductionsecurity protocols

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (5)

Validating Security Protocols under the General Attacker ⋮ Challenges in the Automated Verification of Security Protocols ⋮ Multi-attacker protocol validation ⋮ Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables ⋮ Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874186)