Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis.

Colin Boyd Kapali Viswanathan

Published in: FASec (2002)

Keyphrases

formal specification
probabilistic model
databases
model checking
machine learning
knowledge base
programming language
specification language
model checker
process algebra