search

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

Update protocol models to show which version of Scyther they require #6

Open cascremers opened 11 years ago

cascremers commented 11 years ago

Some of the newer protocol models will require Scyther 1.1. Go through them and clearly mark this in the input file, to avoid confusion.