Protocol Inference Using Static Path Profiles.

Murali Krishna Ramanathan Koushik Sen Ananth Grama Suresh Jagannathan

Published in: SAS (2008)

Keyphrases

lightweight
probabilistic inference
user profiles
bayesian networks
formal analysis
communication protocol
cryptographic protocols
multi agent
multi agent systems
probability distribution
belief networks
security analysis
inference mechanism
file transfer
coloured petri nets