Models for an adversary-centric protocol logic.

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

Keyphrases

real time
information systems
knowledge base
computational models
mathematical models
machine learning
social networks
prior knowledge
wireless sensor networks
experimental data
statistical models
cryptographic protocols