A semantic model for safe protocol interaction.

Sebastian Gutierrez-Nolasco Nalini Venkatasubramanian Carolyn L. Talcott

Published in: SAC (2006)

Keyphrases

high level
probabilistic model
computational model
formal model
probability distribution
conceptual model
semantic description
semantic models
prior knowledge
management system
theoretical analysis
parameter estimation