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

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
0818639504
Adresse URL de PolyPublie:
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
OAI:
oai:publications.polymtl.ca:46647
ORCID
Date du dépôt:
18 avr. 2023 15:26
Dernière modification:
14 oct. 2026 14:00
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