A Logical View of Secure Dependencies*

Publisher Website
Google Scholar
Abstract
This work was supported by DRET In the context of the modal logic of security, confidentiality is defined by the formula K B φ → R B φ that could be read “If B knows φ then B should have the permission to know φ ”. We propose a new semantics for the

This publication has 0 references indexed in Scilit: