<  Retour au portail Polytechnique Montréal

A Logical Formalization of Secrecy

Frédéric Cuppens

Communication écrite (1993)

Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal

Un lien externe est disponible pour ce document
URL de PolyPublie: https://publications.polymtl.ca/46647/
Nom de la conférence: Computer Security Foundations Workshop
Lieu de la conférence: Franconia, NH, USA
Date(s) de la conférence: 1993-06-15 - 1993-06-17
Maison d'édition: IEEE
DOI: 10.1109/csfw.1993.246639
URL officielle: https://doi.org/10.1109/csfw.1993.246639
Date du dépôt: 18 avr. 2023 15:26
Dernière modification: 25 sept. 2024 16:35
Citer en APA 7: Cuppens, F. (juin 1993). A Logical Formalization of Secrecy [Communication écrite]. Computer Security Foundations Workshop, Franconia, NH, USA. https://doi.org/10.1109/csfw.1993.246639

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document