Logic Column 10: Specifying Confidentiality

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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

Keywords

Logic in Computer Science, F,4.1; D.4.6

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/32421

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0411032
 http://arxiv.org/abs/cs/0411032
 SIGACT News, 35(4), pp. 72-83, 2004

Collections

arXiv