• 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
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1393433