ILARIA MATTEUCCI
- Type
- Persona (Classe)
- Label
- ILARIA MATTEUCCI (literal)
- ILARIA MATTEUCCI (literal)
- Subject
- Security (Categoria DBpedia)
- Computer security (Categoria DBpedia)
- Computer security software (Categoria DBpedia)
- Partecipa a commessa
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di ILARIA MATTEUCCI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di ILARIA MATTEUCCI nell'anno 2006 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di ILARIA MATTEUCCI nell'anno 2005 (Partecipazione a commessa)
- Persona in rapporto
- Rapporto con CNR di ILARIA MATTEUCCI (Rapporto con CNR)
- Autore CNR di
- A framework for the modeling and synthesis of security automata based on process algebras (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Controlling Usage in Business Process Workflows through Fine-Grained Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
- A Multi-Criteria-Based Evaluation of Android Applications (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A Framework for Contract-Policy Matching based on Symbolic Simulations for securing Mobile Device Application (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (Articolo in rivista) (Prodotto della ricerca)
- An Approach for the Specification, Verification and Synthesis of Secure Systems (Articolo in rivista) (Prodotto della ricerca)
- Synthesis of Local Controller Programs for Enforcing Global Security Properties (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Through Modeling to Synthesis of Security Automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Coautore
- ANDREA SARACINO (Unità di personale esterno)
- MARINELLA PETROCCHI (Persona)
- FABIO MARTINELLI (Unità di personale interno)
- DANIELE SGANDURRA (Unità di personale esterno)
- PAOLO MORI (Persona)
- Nome
- ILARIA (literal)
- Cognome
- MATTEUCCI (literal)
- Afferisce a
- Ha pubblicazioni con
- FABIO MARTINELLI (Unità di personale interno)
- PAOLO MORI (Persona)
Incoming links:
- Autore CNR
- Controlling Usage in Business Process Workflows through Fine-Grained Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
- A Framework for Contract-Policy Matching based on Symbolic Simulations for securing Mobile Device Application (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Through Modeling to Synthesis of Security Automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (Articolo in rivista) (Prodotto della ricerca)
- An Approach for the Specification, Verification and Synthesis of Secure Systems (Articolo in rivista) (Prodotto della ricerca)
- Synthesis of Local Controller Programs for Enforcing Global Security Properties (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A framework for the modeling and synthesis of security automata based on process algebras (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A Multi-Criteria-Based Evaluation of Android Applications (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Ha afferente
- Coautore
- PAOLO MORI (Persona)
- FABIO MARTINELLI (Unità di personale interno)
- MARINELLA PETROCCHI (Persona)
- DANIELE SGANDURRA (Unità di personale esterno)
- ANDREA SARACINO (Unità di personale esterno)
- Ha pubblicazioni con
- PAOLO MORI (Persona)
- FABIO MARTINELLI (Unità di personale interno)
- Partecipazione di
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di ILARIA MATTEUCCI nell'anno 2005 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di ILARIA MATTEUCCI nell'anno 2006 (Partecipazione a commessa)
- Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di ILARIA MATTEUCCI nell'anno 2007 (Partecipazione a commessa)
- Http://www.w3.org/2002/07/owl#sameAs
- Rapporto con persona
- Rapporto con CNR di ILARIA MATTEUCCI (Rapporto con CNR)
- Http://www.w3.org/2004/02/skos/core#isSubjectOf
- Computer security software (Categoria DBpedia)
- Security (Categoria DBpedia)
- Computer security (Categoria DBpedia)