Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio))

Type

• Prodotto della ricerca (Classe)
• Contributo in volume (capitolo o saggio) (Classe)

Label

• Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio)) (literal)

Anno

• 2014-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-319-05302-8_11 (literal)

Alternative label

• Ciancia V., Martinelli F., Matteucci I., Morisset C. (2014)
  Quantitative Evaluation of Enforcement Strategies
  in Foundations and Practice of Security. 6th International Symposium. Revised Selected Papers, 2014
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Ciancia V., Martinelli F., Matteucci I., Morisset C. (literal)

Pagina inizio

• 178 (literal)

Pagina fine

• 186 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://link.springer.com/chapter/10.1007/978-3-319-05302-8_11 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Foundations and Practice of Security. 6th International Symposium. Revised Selected Papers (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 2014 (literal)

Note

• Scopu (literal)
• PuMa (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa, Italy; CNR-IIT, Pisa, Italy; CNR-IIT, Pisa, Italy; CNR-IIT, Pisa, Italy; (literal)

Titolo

• Quantitative Evaluation of Enforcement Strategies (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-319-05301-1 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood (literal)

Abstract

• A security enforcement mechanism runs in parallel with a system to check and modify its run-time behaviour, so that it satisfies some security policy. For each policy, several enforcement strategies are possible, usually reflecting trade-offs one has to make to satisfy the policy. To evaluate them, multiple dimensions, such as security, cost of implementation, or cost of attack, must be taken into account. We propose a formal framework for the quantification of enforcement strategies, extending the notion of controller processes (mimicking the well-known edit automata) with weights on transitions, valued in a semiring. (literal)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Trusted and mobile systems (INT.P01.007.004) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Istituto di informatica e telematica (IIT) (Istituto)

Autore CNR

• CHARLES MORISSET (Persona)
• ILARIA MATTEUCCI (Persona)
• FABIO MARTINELLI (Unità di personale interno)
• VINCENZO CIANCIA (Persona)

Insieme di parole chiave

• Keywords of "Quantitative Evaluation of Enforcement Strategies" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di informatica e telematica (IIT) (Istituto)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Trusted and mobile systems (INT.P01.007.004) (Modulo)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR di

• FABIO MARTINELLI (Unità di personale interno)
• CHARLES MORISSET (Persona)
• ILARIA MATTEUCCI (Persona)
• VINCENZO CIANCIA (Persona)

Insieme di parole chiave di

• Keywords of "Quantitative Evaluation of Enforcement Strategies" (Insieme di parole chiave)