Deciding Recognizability under Dolev-Yao Intruder Model.

Zhiwei Li Weichao Wang

Published in: ISC (2010)

Keyphrases

mathematical model
computational model
neural network
probabilistic model
theoretical analysis
analytical model
multiscale
prior knowledge
management system
closed form
formal model
network model
databases
social networks
database systems
hierarchical structure