Referenced Items are not available for this document.
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.
Published in:
Security & Privacy, IEEE
(Volume:8
,
Issue:
6
)
Date of Publication: Nov.-Dec. 2010
- Page(s):
- 86 - 89
- ISSN :
- 1540-7993
- INSPEC Accession Number:
- 11675149
- Digital Object Identifier :
- 10.1109/MSP.2010.180
- Date of Current Version :
- 03 December 2010
- Issue Date :
- Nov.-Dec. 2010
- Sponsored by :
- IEEE Computer Society
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
