Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

JELIA
2004
Springer

favoriteEmaildiscussreport

133views Artificial Intelligence» more JELIA 2004»

SATMC: A SAT-Based Model Checker for Security Protocols

13 years 9 months ago

SATMC: A SAT-Based Model Checker for Security Protocols

Download www.ai-lab.it

Alessandro Armando, Luca Compagna

Real-time Traffic

Artificial Intelligence | JELIA 2004 |

claim paper

Related Content

» Formal analysis of SAML 20 web browser single signon breaking the SAMLbased single signon ...

» A Formal Approach for Automated Reasoning about OffLine and Undetectable OnLine Guessing

» An OntheFly ModelChecker for Security Protocol Analysis

» Proving Security Protocols with Model Checkers by Data Independence Techniques

» The OpenSource FixedPoint Model Checker for Symbolic Analysis of Security Protocols

» An Integrative Framework to Protocol Analysis and Repair BellareRogaway Model Planning M...

» Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin M...

» Formally Analysing a Security Protocol for Replay Attacks

» Synthesis of attack actions using model checking for the verification of security protocol...

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	JELIA
Authors	Alessandro Armando, Luca Compagna

Comments (0)