Counterfactually Reasoning About Security

Abstract

In this 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2011
Accession Number
ADA560867

Entities

People

  • Manuel Peralta
  • Ramesh Bharadwaj
  • Supratik Mukhopadhyay

Organizations

  • Louisiana State University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Australia
  • Calculus
  • Computer Access Control
  • Computer Programs
  • Contractors
  • Governments
  • Information Operations
  • Language
  • Law
  • Military Research
  • Notation
  • Political Science
  • Quantum Mechanics
  • Reasoning
  • Security
  • Structural Properties

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Cybersecurity.
  • Systems Analysis and Design