A Structured Operational Modelling of the Dolev-Yao Threat Model.

Published in: Security Protocols Workshop (2002)

Keyphrases

computational model
probabilistic model
prior knowledge
formal model
simulation model
object model
face recognition
objective function
management system
graphical models
input data
mathematical model
statistical model
network structure
model construction