SAT-Based Verification of Security Protocols Via Translation to Networks of Automata

DOI10.1007/978-3-540-74128-2_10MaRDI QIDQ5423888zbMATH OpenOpenAlexFDO

Authors Mirosław Kurkowski, Wojciech Penczek, Andrzej Zbrzezny

Publication date 1 November 2007

Published in Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74128-2_10

zbMATH Keywords

authenticationmodel checkingsecurity protocols

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Verifying security protocols modelled by networks of automata
• scientific article; zbMATH DE number 1903362
• Timed automata based model checking of timed security protocols
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 1973985

Cited in

(5)

• An optimized intruder model for SAT-based model-checking of security protocols
• scientific article; zbMATH DE number 1973985 (Why is no real title available?)
• scientific article; zbMATH DE number 1903362 (Why is no real title available?)
• Theory and Applications of Satisfiability Testing
• Verifying security protocols modelled by networks of automata

Describes a project that uses

Uses Software

• TAPS
• Casper
• Kronos
• AVISPA

This page was built for publication: SAT-Based Verification of Security Protocols Via Translation to Networks of Automata

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