Sciweavers

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

15

JELIA
2004
Springer

favoriteEmaildiscussreport

133views Artificial Intelligence» more JELIA 2004»

SATMC: A SAT-Based Model Checker for Security Protocols

14 years 4 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)