Path-Sensitive Inference of Function Precedence Protocols.

Murali Krishna Ramanathan Ananth Grama Suresh Jagannathan

Published in: ICSE (2007)

Keyphrases

bayesian networks
partial order
probabilistic inference
database
hidden markov models
shortest path
bayesian inference
piecewise linear
real time
special case
random fields
decision theoretic
security protocols
inference process
authentication protocol