Testing of PolPA Authorization Systems (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Testing of PolPA Authorization Systems (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1109/IWAST.2012.6228997 (literal)

Alternative label

• Martinelli F., Mori P., Bertolino A., Daoudagh S., Lonetti F., Marchetti E. (2012)
  Testing of PolPA Authorization Systems
  in 2012 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, 2-3 June 2012
  (literal)

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

• Martinelli F., Mori P., Bertolino A., Daoudagh S., Lonetti F., Marchetti E. (literal)

Pagina inizio

• 8 (literal)

Pagina fine

• 14 (literal)

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

• Grant agreement 256980 Tipo Progetto EU_FP7 (literal)

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

• http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6228997 (literal)

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

• Automation of Software Test (AST), 2012 7th International Workshop on (literal)

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

• 7 (literal)

Note

• Scopu (literal)
• PuMa (literal)

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

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

Titolo

• Testing of PolPA Authorization Systems (literal)

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

• 978-1-4673-1821-1 (literal)

Abstract

• The implementation of an authorization system is a difficult and error-prone activity that requires a careful verification and testing process. In this paper, we focus on testing the implementation of the PolPA authorization system and in particular its Policy Decision Point (PDP), used to define whether an access should be allowed or not. Thus exploiting the PolPA policy specification, we present a fault model and a test strategy able to highlight the problems, vulnerabilities and faults that could occur during the PDP implementation, and a testing framework for the automatic generation of a test suite that covers the fault model. Preliminary results of the test framework application to a realistic case study are presented (literal)

Editore

• IEEE, Institute of electrical and electronics engineers (Editore)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Istituto di informatica e telematica (IIT) (Istituto)
• Sicurezza dell'informazione (INT.P01.007.001) (Modulo)

Autore CNR

• EDA MARCHETTI (Unità di personale interno)
• FABIO MARTINELLI (Unità di personale interno)
• PAOLO MORI (Unità di personale esterno)
• FRANCESCA LONETTI (Unità di personale interno)
• ANTONIA BERTOLINO (Persona)
• Said Daoudagh (Unità di personale esterno)

Insieme di parole chiave

• Keywords of "Testing of PolPA Authorization Systems" (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)
• Sicurezza dell'informazione (INT.P01.007.001) (Modulo)

Autore CNR di

• ANTONIA BERTOLINO (Persona)
• EDA MARCHETTI (Unità di personale interno)
• FABIO MARTINELLI (Unità di personale interno)
• Said Daoudagh (Unità di personale esterno)
• PAOLO MORI (Unità di personale esterno)
• FRANCESCA LONETTI (Unità di personale interno)

Editore di

• IEEE, Institute of electrical and electronics engineers (Editore)

Insieme di parole chiave di

• Keywords of "Testing of PolPA Authorization Systems" (Insieme di parole chiave)