Protection specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eight International Symposium on Protocol Specification, Testing, and Verification, Atlanta City, New Jersy, USA, June 7-10, 1988
