Skip to Main content Skip to Navigation
Conference papers

Formal approach to security metrics. What does “more secure” mean for you?∗

Abstract : Security metrics are the tools for providing correct and upto- date information about a state of security. This information is essential for managing security efficiently. Although a number of security metrics were proposed we still need reliable ways for assessment of security. First of all, we do not have a widely-accepted and unambiguous definition which defines what it means that one system is more secure than another one. Without this knowledge we cannot show that a metric really measures security. Second, there is no a universal formal model for all metrics which can be used for rigourous analysis. In this paper we investigate how we can define “more secure” relation and propose our basic formal model for a description and analysis of security metrics.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/inria-00536758
Contributor : Emmanuelle Grousset Connect in order to contact the contributor
Submitted on : Tuesday, November 16, 2010 - 7:21:59 PM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM
Long-term archiving on: : Thursday, February 17, 2011 - 3:09:47 AM

File

FormalMetrics.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00536758, version 1

Collections

Citation

Leanid Krautsevich, Fabio Martinelli, Artsiom yautsiukhin. Formal approach to security metrics. What does “more secure” mean for you?∗. 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Jul 2010, 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, China. ⟨inria-00536758⟩

Share

Metrics

Record views

79

Files downloads

275