Formal Semantics for Authentication Logics.

Gabriele Wedel Volker Kessler

Published in: ESORICS (1996)

Keyphrases

formal semantics
epistemic logic
expressive power
first order logic
logical language
inference rules
modeling language
modal logic
er model
operational semantics
speech acts
modelling language
logical reasoning
theorem prover
formal language
computational properties
artificial intelligence