Computer Science – Logic in Computer Science
Scientific paper
2004-11-11
SIGACT News, 35(4), pp. 72-83, 2004
Computer Science
Logic in Computer Science
12 pages
Scientific paper
This article illustrates the use of a logical specification language to
capture various forms of confidentiality properties used in the security
literature.
No associations
LandOfFree
Logic Column 10: Specifying Confidentiality does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Logic Column 10: Specifying Confidentiality, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Column 10: Specifying Confidentiality will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-273833