Package Details: scyther v1.1.3-2

Git Clone URL: https://aur.archlinux.org/scyther.git (read-only)
Package Base: scyther
Description: Tool for the symbolic analysis of security protocols
Upstream URL: https://www.cs.ox.ac.uk/people/cas.cremers/scyther/
Licenses: GPL2
Submitter: lutobler
Maintainer: lutobler
Last Packager: lutobler
Votes: 1
Popularity: 0.000012
First Submitted: 2018-05-03 11:44
Last Updated: 2018-05-07 19:24