Using Dominators to Extract Observable Protocol Contexts.

Mahadevan Subramaniam Jiangfan Shi

Published in: SEFM (2005)

Keyphrases

lightweight
automatic extraction
neural network
communication protocol
real time
information systems
low cost
automatically extracted
formal analysis
cryptographic protocols
communication protocols
network protocols
file transfer
coloured petri nets