Skip to content

A Generic Graphical Specification Environment for Security Protocol Modelling.

Elton Saul, Andrew Hutchison

Year2000
ProceedingsSEC

Browse the full SEC paper archive.