Logic Column 10: Specifying Confidentiality
arXiv:cs/0411032
Abstract
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
12 pages
arXiv:cs/0411032
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
12 pages