C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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