<  Back to the Polytechnique Montréal portal

A Logical Formalization of Secrecy

Frédéric Cuppens

Paper (1993)

Document published while its authors were not affiliated with Polytechnique Montréal

An external link is available for this item
PolyPublie URL: https://publications.polymtl.ca/46647/
Conference Title: Computer Security Foundations Workshop
Conference Location: Franconia, NH, USA
Conference Date(s): 1993-06-15 - 1993-06-17
Publisher: IEEE
DOI: 10.1109/csfw.1993.246639
Official URL: https://doi.org/10.1109/csfw.1993.246639
Date Deposited: 18 Apr 2023 15:26
Last Modified: 05 May 2023 15:50
Cite in APA 7: Cuppens, F. (1993, June). A Logical Formalization of Secrecy [Paper]. Computer Security Foundations Workshop, Franconia, NH, USA. https://doi.org/10.1109/csfw.1993.246639



Repository Staff Only

View Item View Item