YAPA: a generic tool for computing intruder knowledge

DOI10.1145/2422085.2422089MaRDI QIDQ2946688zbMATH OpenOpenAlexFDO

Authors Mathieu Baudet, Véronique Cortier, Stéphanie Delaune

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2422085.2422089

zbMATH Keywords

verificationdeductionsecurity protocolsformal proofsstatic equivalence

Mathematics Subject Classification ID

Cryptography (94A60) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Recommendations

• YAPA: A Generic Tool for Computing Intruder Knowledge
• Computing knowledge in security protocols under convergent equational theories
• Computing Knowledge in Security Protocols under Convergent Equational Theories
• Automata, Languages and Programming
• Computing knowledge in equational extensions of subterm convergent theories

Cited in

(10)

• Intruder deduction problem for locally stable theories with normal forms and inverses
• DeepSec: deciding equivalence properties for security protocols -- improved theory and practice
• YAPA: A Generic Tool for Computing Intruder Knowledge
• YAPA
• Graph-embedded rewrite systems: combination and undecidability results
• Knowledge problems in protocol analysis: extending the notion of subterm convergent
• Stateful applied pi calculus: observational equivalence and labelled bisimilarity
• Computing knowledge in equational extensions of subterm convergent theories
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• FAST: an efficient decision procedure for deduction and static equivalence

Describes a project that uses

Uses Software

• ProVerif
• AVISPA

This page was built for publication: YAPA: a generic tool for computing intruder knowledge

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