Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis.

John C. Mitchell Ajith Ramanathan Andre Scedrov Vanessa Teague

Published in: LICS (2001)

Keyphrases

data mining
probabilistic model
temporal information
security protocols
low cost
data management
computer systems