IMPLEMENTATION/VERIFICATION OF A TRUSTED PACKET SWITCHING DEVICE

Authors
  1. Carter, C.
  2. Laferriere, C.
Corporate Authors
Intellitech Canada Ltd, Ottawa ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
The report documents the implementation and verification of a packet switching device. It is based on earlier work in which the packet switching device was specified in m-Verdi. Subsequently, the specifications were transfered to the m-EVES verification system and implementation and verification were carried out simultaneously. The document is an implementation report and describes work that is still in progress. It also incorporates the specifications of the system as specifications and implementation are closely linked.
Report Number
INT-87-38 —
Date of publication
15 May 1987
Number of Pages
31
DSTKIM No
90-04512
CANDIS No
66745
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: