Login / Signup
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions.
Yannick Chevalier
Ralf Küsters
Michaël Rusinowitch
Mathieu Turuani
Laurent Vigneron
Published in:
CSL (2003)
Keyphrases
</>
small number
database
computer vision
decision making
information retrieval
artificial intelligence
knowledge base
image processing
multimedia
digital libraries
multi class
finite number