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

DOI10.1007/978-3-540-74128-2_10zbMath1196.68140OpenAlexW2123023809MaRDI QIDQ5423888

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

model checkingauthenticationsecurity protocols

Mathematics Subject Classification ID

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

Uses Software

• Kronos
• TAPS
• AVISPA
• Casper

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