X.25 Protocol Verification Facility for AT&T No.1 Packet Switching System (No. 1 PSS).

Mostafa Hashem Sherif V. Miller E. Woo

Published in: PSTV (1984)

Keyphrases

packet switching
cryptographic protocols
protocol specification
model checking
security protocols
end to end
quality assessment