SATMC

SATMC: A SAT-Based Model Checker for Security Protocols. We present SATMC (SAT-based Model Checker), an open and flexible platform for SAT-based bounded model checking [8] of security protocols. Under the standard assumptions of perfect cryptography and of strong typing, SATMC performs a bounded analysis of the problem by considering scenarios with a finite number of sessions whereby messages are exchanged on a channel controlled by the most general intruder based on the Dolev-Yao model [12].

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 8 articles )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Basin, David; Cremers, Cas; Meadows, Catherine: Model checking security protocols (2018)
  2. Arsac, Wihem; Bella, Giampaolo; Chantry, Xavier; Compagna, Luca: Multi-attacker protocol validation (2011)
  3. Arsac, Wihem; Bella, Giampaolo; Chantry, Xavier; Compagna, Luca: Validating security protocols under the general attacker (2009)
  4. Escobar, Santiago; Meadows, Catherine; Meseguer, José: Maude-NPA: cryptographic protocol analysis modulo equational properties (2009)
  5. Fröschle, Sibylle; Steel, Graham: Analysing PKCS#11 key management APIs with unbounded fresh data (2009)
  6. Armando, Alessandro; Compagna, Luca: SAT-based model-checking for security protocols analysis (2008) ioport
  7. Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L.: The AVISPA tool for the automated validation of internet security protocols and applications (2005)
  8. Armando, Alessandro; Compagna, Luca: SATMC: a SAT-based model checker for security protocols (2004) ioport