Counterfactually reasoning about security

Document Type

Conference Proceeding

Publication Date

12-19-2011

Abstract

In this short paper, we provide the background to counterfactual logic and give very general suggestions on how we could employ this logic to help us reason about security policies. It seems very appropriate to use this kind of logic to anticipate a change that will compromise the security concerns of a given system before actually applying the changes. © 2011 ACM.

Publication Source (Journal or Book title)

ACM International Conference Proceeding Series

First Page

223

Last Page

226

This document is currently not available here.

Share

COinS