Title :
A formal approach to information security metrics
Author :
Chakraborty, Arpan ; Sengupta, Aparajita ; Mazumdar, C.
Author_Institution :
Dept. of CSE, Jadavpur Univ., Kolkata, India
fDate :
Nov. 30 2012-Dec. 1 2012
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;
Conference_Titel :
Emerging Applications of Information Technology (EAIT), 2012 Third International Conference on
Conference_Location :
Kolkata
Print_ISBN :
978-1-4673-1828-0
DOI :
10.1109/EAIT.2012.6408003