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
Link To Document