Logic Column 10: Specifying Confidentiality
Pucella, Riccardo
Original · EN
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.