popstar/SAT-Equiv

SAT-Equiv is an equivalence checker for cryptographic protocols. It proceeds by reduction to planning problem and SAT-formula, for a bounded number of sessions.

dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0