Update protocol models to use new commands (macro, match)

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 use new commands (macro, match) #7

Open cascremers opened 11 years ago

cascremers commented 11 years ago

The new commands for match, macro can be used to simplify the majority of the protocol description files. It would be nice to update as many as possible before the next Scyther release. It is of course not strictly needed.