Logic Column 10: Specifying Confidentiality

2004/11/11 by Riccardo Pucella
Computer Science · #cs.LO

paper · pdf

published as SIGACT News, 35(4), pp. 72-83, 2004 · 12 pages

arxiv created 2004/11/11 · arxiv updated 2009/12/01

Abstract

This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.

Related

• Knowledge and Security
• Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction
• Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry
• Security Properties through the Lens of Modal Logic
• From What to How: A Taxonomy of Formalized Security Properties