Logic Column 10: Specifying Confidentiality

Simple item page
dc.creatorPucella, Riccardo
dc.date2004-11-11
dc.date.accessioned2026-07-07T03:21:59Z
dc.date.available2026-07-07T03:21:59Z
dc.descriptionThis article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
dc.description12 pages
dc.identifierhttps://arxiv.org/abs/cs/0411032
dc.identifierhttp://arxiv.org/abs/cs/0411032
dc.identifierSIGACT News, 35(4), pp. 72-83, 2004
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32421
dc.subjectLogic in Computer Science
dc.subjectF,4.1; D.4.6
dc.titleLogic Column 10: Specifying Confidentiality
dc.typetext

Files

Collections

arXiv