You are here
SAT-based Model-Checker for Security Protocols and Security-sensitive Applications
Web Site: http://st.fbk.eu/technologies/satmc
- Features: SATMC provides a number of distinguishing features, including the ability to
- check the protocol against complex temporal properties (e.g. fair exchange);
- analyze protocols (e.g. browser-based protocols) that assume messages are carried over secure channels (e.g. SSL/TLS channels).
We are currently the main developers of the tool.
Official Web Site: http://www.ai-lab.it/satmc/
Alessandro Armando, Roberto Carbone, Luca Compagna. SATMC: A SAT-Based Model Checker for Security-Critical Systems. In the Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014), April 5-13, 2014, Grenoble, France, Springer, pp. 31-45.