The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS.

M. Gamble C. R. Taylor

Published in: FORTE (1990)

Keyphrases

lightweight
coloured petri nets
cryptographic protocols
formal analysis
distance learning
communication protocol
government agencies
tcp ip
temporal ordering
real time
neural network
information systems
authentication protocol
communication protocols