A Formal Semantics for SPKI.

Jon Howell David Kotz

Published in: ESORICS (2000)

Keyphrases

formal semantics
operational semantics
first order logic
formal language
er model
logical reasoning
logical language
theorem prover
speech acts
modelling language