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.
Type de document :
Communication dans un congrès
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. 2010
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00536758
Contributeur : Emmanuelle Grousset <>
Soumis le : mardi 16 novembre 2010 - 19:21:59
Dernière modification le : jeudi 18 novembre 2010 - 12:54:27
Document(s) archivé(s) le : jeudi 17 février 2011 - 03:09:47

Fichier

FormalMetrics.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2010. 〈inria-00536758〉

Partager

Métriques

Consultations de la notice

124

Téléchargements de fichiers

270