A Probabilistic Scheduler for the Analysis of Cryptographic Protocols.

Srecko Brlek Sardaouna Hamadou John Mullins

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

data analysis
probabilistic model
cryptographic protocols
real time
information systems
database systems
similarity measure
bayesian networks
data warehouse