Automatic adaptor synthesis for protocol transformation.

Marco Autili Paola Inverardi Massimo Tivoli

Published in: CoRR (2014)

Keyphrases

lightweight
machine learning
fully automatic
coloured petri nets
network protocols
linear transformation
formal analysis
texture synthesis
databases
data driven
search algorithm
data mining
case study
cryptographic protocols
communication protocols
program synthesis
metadata