R. L. Probert;O. Monkewich
-;-
Risk assessment methodology for network integrity
BT Technology Journal
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications