DocumentCode :
1393433
Title :
Logical Methods in Security and Privacy
Author :
Datta, Amitava
Volume :
8
Issue :
6
fYear :
2010
Firstpage :
86
Lastpage :
89
Abstract :
Computer security and privacy is concerned with the design, implementation, and analysis of mechanisms intended to guarantee that desired policies (or properties) hold in the presence of malicious adversaries. In this article some logical methods for reasoning about system security and for enforcing security and privacy policies are discussed.
Keywords :
data privacy; security of data; computer privacy; computer security; logical method; malicious adversary; privacy policy; Logic design; Network security; Protocols; Security & privacy; access control; audits; logical methods; model checking; protocol logics;
fLanguage :
English
Journal_Title :
Security & Privacy, IEEE
Publisher :
ieee
ISSN :
1540-7993
Type :
jour
DOI :
10.1109/MSP.2010.180
Filename :
5655251
Link To Document :
بازگشت