A knowledge-based system for protocol synthesis (KSPS).

Yaoxue Zhang Kaoru Takahashi Norio Shiratori Shoichi Noguchi

Published in: IEEE J. Sel. Areas Commun. (1988)

Keyphrases

lightweight
formal analysis
coloured petri nets
tcp ip
databases
authentication protocol
network devices
program synthesis
group communication
cryptographic protocols
application layer
communication protocol
elliptic curve
security analysis
ip networks
multi party
distributed systems
information systems