The following protocol specifications have been independently developed by users of the AVISPA Tool.
If you have comments or feedback on these specifications, please contact directly the authors.
If you are an AVISPA user and wish to add your protocol specifications to this list, please send them to the
avispa-users mailing list (Email Subject: user-contributed
protocol specification, template).