Logic-Oriented Confidentiality Policies for Controlled Interaction Execution.

Published in: DNIS (2013)

Keyphrases

user interaction
human computer interaction
sufficient conditions
multi valued
active rules
predicate logic
classical logic
access control
optimal policy
automated reasoning
computational properties
security properties
asynchronous circuits