Description of protocol rules.

Andreas Speck Sören Witt Sven Feja

Published in: GI-Jahrestagung (2011)

Keyphrases

lightweight
rule sets
background knowledge
rule extraction
high level
decision rules
classification rules
coloured petri nets
neural network
file transfer
network protocols
cryptographic protocols
transformation rules
rule discovery
formal analysis
production rules
information systems
genetic algorithm
data mining