Protocol verification for a trusted network architecture
By: R.E. Soper ... [et al.].
Contributors: Soper, R. E.; University of Toronto. Computer Systems Research Institute.
Series: Technical report CSRI -- 236
Publisher: Computer Systems Research Institute, University of Toronto
Published: 1989
Place of publication: Toronto
Language: eng
Number of pages: 23
Subjects: Computer architecture.; Computer network protocols.
Notes: Includes bibliographical references.