Login / Signup
Testing Protocol Robustness the CCS Way.
Scott A. Smolka
Ariel J. Frank
Saumya K. Debray
Published in:
PSTV (1984)
Keyphrases
</>
lightweight
cryptographic protocols
computational efficiency
network protocols
database
artificial intelligence
information systems
authentication protocol
tcp ip
coloured petri nets