An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency.
Stuart G. StubblebineRebecca N. WrightPublished in: IEEE Trans. Software Eng. (2002)
Keyphrases
- formal semantics
- formal language
- operational semantics
- epistemic logic
- logical language
- public key cryptography
- er model
- access control
- logical reasoning
- trusted third party
- key distribution
- modeling language
- modelling language
- first order logic
- modal logic
- speech acts
- owl dl ontology
- public key
- model theoretic
- ontology languages
- security mechanisms
- automated reasoning
- theorem prover
- case study
- artificial intelligence