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

deductionformal proofssecurity protocolsstatic equivalenceverification

Mathematics Subject Classification ID

Network protocols (68M12) 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) Cryptography (94A60)

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)

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

Describes a project that uses

Uses Software

• AVISPA
• ProVerif

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)