2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/32421This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.12 pagesLogic in Computer ScienceF,4.1; D.4.6text