Skip to content

An Epistemic and Deontic Logic for Reasoning about Computer Security.

Frdric Cuppens

Year1990
ProceedingsESORICS

Browse the full ESORICS paper archive.