Logic Column 10: Specifying Confidentiality
Logic in Computer Science
2007-05-23 v1
Authors:
Riccardo Pucella
Abstract
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
Keywords
Cite
@article{arxiv.cs/0411032,
title = {Logic Column 10: Specifying Confidentiality},
author = {Riccardo Pucella},
journal= {arXiv preprint arXiv:cs/0411032},
year = {2007}
}
Comments
12 pages
Related papers
View all related →
Cryptography and Security · Computer Science
Knowledge and Security
Riccardo Pucella
2013-05-07
Cryptography and Security · Computer Science
Security Properties through the Lens of Modal Logic
Matvey Soloviev, Musard Balliu, Roberto Guanciale
2023-09-19
Cryptography and Security · Computer Science
Security and Privacy Policy Languages: A Survey, Categorization and Gap Identification
Saffija Kasem-Madani, Michael Meier
2015-12-02
Logic in Computer Science · Computer Science
Logic Column 12: Logical Verification and Equational Verification
Riccardo Pucella
2007-05-23
Logic in Computer Science · Computer Science
Logic Column 14: Nominal Logic and Abstract Syntax
James Cheney
2007-05-23
Cryptography and Security · Computer Science
A Logic for Reasoning about Digital Rights
Riccardo Pucella, Vicky Weissman
2007-05-23
Logic in Computer Science · Computer Science
Weakening Goals in Logical Specifications
Ben M. Andrew
2025-10-20
Logic in Computer Science · Computer Science
A proof theoretic basis for relational semantics
Carlos G. Lopez Pombo, Thomas S. E. Maibaum
2021-07-20
Logic in Computer Science · Computer Science
A two-level logic approach to reasoning about computations
Andrew Gacek, Dale Miller, Gopalan Nadathur
2010-09-02
Logic in Computer Science · Computer Science
Logic Column 15: Coalgebras and Their Logics
Alexander Kurz
2007-05-23
Cryptography and Security · Computer Science
Functional Programming and Security
Yusuf Moosa Motara
2012-01-30
Logic in Computer Science · Computer Science
Relational Logic with Framing and Hypotheses: Technical Report
Anindya Banerjee, David A. Naumann, Mohammad Nikouei
2016-11-29
Software Engineering · Computer Science
Logic Mining from Process Logs: Towards Automated Specification and Verification
Radoslaw Klimek, Julia Witek
2025-06-11
Software Engineering · Computer Science
Experience in using a typed functional language for the development of a security application
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
2014-04-29
Computation and Language · Computer Science
Interpretation Gaps in LLM-Assisted Comprehension of Privacy Documents
Rinku Dewri
2025-09-03
Programming Languages · Computer Science
Combining behavioural types with security analysis
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini +6
2015-10-09
Logic in Computer Science · Computer Science
Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review
Alvin Tang
2023-08-28
Logic in Computer Science · Computer Science
A Logic for Veracity
Steve Reeves
2024-03-19
Software Engineering · Computer Science
On Properties of Policy-Based Specifications
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2015-08-18
Logic in Computer Science · Computer Science
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
Michał Sochański, Przemysław Andrzej Wałęga, Michał Zawidzki
2025-12-09
Artificial Intelligence · Computer Science
Deep Learning with Logical Constraints
Eleonora Giunchiglia, Mihaela Catalina Stoian, Thomas Lukasiewicz
2023-06-21
Artificial Intelligence · Computer Science
On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics
Ringo Baumann
2020-03-04
Logic in Computer Science · Computer Science
Definability and Interpolation within Decidable Fixpoint Logics
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2023-06-22
Logic · Mathematics
A logical perspective on intending to keep a true secret
Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella +1
2025-06-11
Software Engineering · Computer Science
Ontologies for Privacy Requirements Engineering: A Systematic Literature Review
Mohamad Gharib, Paolo Giorgini, John Mylopoulos
2016-12-01