Quantitative Evaluation of Enforcement Strategies (Contributo in atti di convegno)

Type
Label
  • Quantitative Evaluation of Enforcement Strategies (Contributo in atti di convegno) (literal)
Anno
  • 2013-01-01T00:00:00+01:00 (literal)
Alternative label
  • Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset (2013)
    Quantitative Evaluation of Enforcement Strategies
    in FOUNDATIONS & PRACTICE OF SECURITY, La Rochelle, France
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • IIT-CNR (literal)
Titolo
  • Quantitative Evaluation of Enforcement Strategies (literal)
Abstract
  • In Security, monitors and enforcement mechanisms run in parallel with programs to check, and modify their run-time behaviour, respectively, in order to guarantee the satisfaction of a security policy. For the same policy, several enforcement strategies are possible. We provide a framework for quantitative monitoring and enforcement. Enforcement strategies are analysed according to user-dened parameters. This is done by extending the notion controller processes, that mimics the well-known edit automata, with weights on transitions, valued in a C-semiring. C-semirings permit one to be exible and general in the quantitative criteria. Furthermore, we provide some examples of orders on controllers that are evaluated under incomparable criteria. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it