• DocumentCode
    2906603
  • Title

    A formal approach to information security metrics

  • Author

    Chakraborty, Arpan ; Sengupta, Aparajita ; Mazumdar, C.

  • Author_Institution
    Dept. of CSE, Jadavpur Univ., Kolkata, India
  • fYear
    2012
  • fDate
    Nov. 30 2012-Dec. 1 2012
  • Firstpage
    439
  • Lastpage
    442
  • Abstract
    Automation of Enterprise Information Systems has resulted in several information security issues. There is a need to devise ways of measuring information security. Existing techniques mostly concentrate on finding ways of measuring specific attributes of security devices. This paper is an initial step towards the development of a formal methodology for measuring enterprise information system security. The proposed technique may also be used to compare the relative security of information systems.
  • Keywords
    formal specification; formal verification; information systems; security of data; enterprise information system; formal approach; formal methodology; information security metrics; security device attribute; IEC standards; ISO standards; Information security; Information technology; Measurement; information systems; metric space; security concern; security metric;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Emerging Applications of Information Technology (EAIT), 2012 Third International Conference on
  • Conference_Location
    Kolkata
  • Print_ISBN
    978-1-4673-1828-0
  • Type

    conf

  • DOI
    10.1109/EAIT.2012.6408003
  • Filename
    6408003