Knowledge problems in security protocols: going beyond subterm convergent theories

DOI10.4230/LIPICS.FSCD.2023.30MaRDI QIDQ6622075zbMATH OpenFDO

Authors Satterfield Saraid Dwyer, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Publication date 21 October 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2023.30

zbMATH Keywords

verificationterm rewritingsecurity protocols

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(2)

• Graph-embedded rewrite systems: combination and undecidability results
• Knowledge problems in protocol analysis: extending the notion of subterm convergent

This page was built for publication: Knowledge problems in security protocols: going beyond subterm convergent theories

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