Logic Column 10: Specifying Confidentiality
  This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature. 
Riccardo Pucella