Fixed It For You: Protocol Repair Using Lineage Graphs.

Lennart Oldenburg Xiangfeng Zhu Kamala Ramasubramanian Peter Alvaro

Published in: CIDR (2019)

Keyphrases

graph matching
metadata
graph representation
coloured petri nets
communication protocol
random graphs
lightweight
data quality
formal analysis
directed graph
cryptographic protocols
network protocols
graph structure
scientific data
spanning tree
complex structures
graph clustering
fine grained
tcp ip
data lineage