http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA11430
ILARIA MATTEUCCI
- Type
- Label
- ILARIA MATTEUCCI (literal)
- ILARIA MATTEUCCI (literal)
- Http://www.w3.org/2002/07/owl#sameAs
- Persona in rapporto
- Autore CNR di
- Specification and Analysis of Information Flow Properties for Distributed Systems (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Analisi dello stato dell'arte e requisiti tecnici. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Action Refinement for Security Properties Enforcement (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Introducing probabilities in contract-based approaches for mobile application security (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated synthesis and ranking of secure BPMN orchestrators (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Analysis of Data Sharing Agreements with Automated veri cation and WS implementation (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A framework for automatic generation of security controller (Articolo in rivista) (Prodotto della ricerca)
- Quantitative Evaluation of Enforcement Strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Contract-based Approaches for Securing Web Services (Articolo in rivista) (Prodotto della ricerca)
- A Prototype for Solving Conflicts in XACML-based e-Health Policies (Contributo in atti di convegno) (Prodotto della ricerca)
- A tool for the synthesis of cryptographic orchestrators (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Enabling Data Sharing in the Cloud (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- A Multi-Criteria-based Evaluation of Android Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Extending security-by-contract with quantitative trust on mobile devices (Contributo in atti di convegno) (Prodotto della ricerca)
- CNL4DSA: a controlled natural language for data sharing agreements (Contributo in atti di convegno) (Prodotto della ricerca)
- Prioritized execution of privacy policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Context-Aware Analysis of Data Sharing Agreements (Contributo in atti di convegno) (Prodotto della ricerca)
- Synthesis of Web Services Orchestrators in a Timed Setting (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- An Expertise-driven Authoring Tool of Privacy Policies for e-Health (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Maturity assessment of Wikipedia medical articles (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A formal support for collaborative data sharing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Gate automata-driven run-time enforcement (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Remote Policy Enforcement for Trusted Application Execution in Mobile Environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Security and Trust (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Definition of Data Sharing Agreements (The case of Spanish Data Protection Law) (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Trust-Driven Policy Enforcement through Gate Automata (Contributo in atti di convegno) (Prodotto della ricerca)
- Elective Temporal Logic (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards safer information sharing in the cloud (Articolo in rivista) (Prodotto della ricerca)
- Preserving Data Privacy in eHealth (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Idea: Action Refinement for Security Properties Enforcement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Design Phase for Data Sharing Agreements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Closing the loop of SIEM analysis to Secure Critical Infrastructures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On the Synthesis of Secure Services Composition (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Controlled Data Sharing in e-Health (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Preserving Security Properties under Refinement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Introducing Probabilities in Controller Strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- My Data, Your Data, Our Data: Managing Privacy Preferences in Multi-Subjects Personal Data. (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated Synthesis and Ranking of Secure BPMN Orchestrators (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automated Secure Composition of Cryptographic Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Analysis of Data Sharing Agreements: Automated verification and WS implementation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- e-SHS - Analisi dello stato dell'arte e requisiti tecnici (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Enforcing mobile application security through probabilistic contracts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Expertise-driven Authoring Tool of Privacy Policies for e-Health (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Improved maturity assessment of Wikipedia medical articles (Contributo in atti di convegno) (Prodotto della ricerca)
- Enforcing Private Policy via Security-by-Contract (Articolo in rivista) (Prodotto della ricerca)
- On security countermeasures ranking through threat analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Maturity assessment of Wikipedia medical articles (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Towards Information Flow Properties for Distributed Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A framework for automatic security controller generation (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Coautore
- Nome
- Cognome
- Afferisce a
Incoming links:
- Ha afferente
- Coautore
- Autore CNR
- Extending security-by-contract with quantitative trust on mobile devices (Contributo in atti di convegno) (Prodotto della ricerca)
- Context-Aware Analysis of Data Sharing Agreements (Contributo in atti di convegno) (Prodotto della ricerca)
- Idea: Action Refinement for Security Properties Enforcement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards Information Flow Properties for Distributed Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Enforcing Private Policy via Security-by-Contract (Articolo in rivista) (Prodotto della ricerca)
- A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- A framework for automatic generation of security controller (Articolo in rivista) (Prodotto della ricerca)
- CNL4DSA: a controlled natural language for data sharing agreements (Contributo in atti di convegno) (Prodotto della ricerca)
- Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A framework for automatic security controller generation (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Action Refinement for Security Properties Enforcement (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Specification and Analysis of Information Flow Properties for Distributed Systems (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Analysis of Data Sharing Agreements with Automated veri cation and WS implementation (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Analysis of Data Sharing Agreements: Automated verification and WS implementation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Security and Trust (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A Design Phase for Data Sharing Agreements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Preserving Security Properties under Refinement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Controlled Data Sharing in e-Health (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Trust-Driven Policy Enforcement through Gate Automata (Contributo in atti di convegno) (Prodotto della ricerca)
- Elective Temporal Logic (Contributo in atti di convegno) (Prodotto della ricerca)
- A formal support for collaborative data sharing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Multi-Criteria-based Evaluation of Android Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A tool for the synthesis of cryptographic orchestrators (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Enabling Data Sharing in the Cloud (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Contract-based Approaches for Securing Web Services (Articolo in rivista) (Prodotto della ricerca)
- Introducing probabilities in contract-based approaches for mobile application security (Contributo in atti di convegno) (Prodotto della ricerca)
- Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Gate automata-driven run-time enforcement (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Prioritized execution of privacy policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Synthesis of Web Services Orchestrators in a Timed Setting (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automated Secure Composition of Cryptographic Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automated Synthesis and Ranking of Secure BPMN Orchestrators (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Remote Policy Enforcement for Trusted Application Execution in Mobile Environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Prototype for Solving Conflicts in XACML-based e-Health Policies (Contributo in atti di convegno) (Prodotto della ricerca)
- Quantitative Evaluation of Enforcement Strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Closing the loop of SIEM analysis to Secure Critical Infrastructures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Introducing Probabilities in Controller Strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- My Data, Your Data, Our Data: Managing Privacy Preferences in Multi-Subjects Personal Data. (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards safer information sharing in the cloud (Articolo in rivista) (Prodotto della ricerca)
- Analisi dello stato dell'arte e requisiti tecnici. (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Automated synthesis and ranking of secure BPMN orchestrators (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Enforcing mobile application security through probabilistic contracts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Improved maturity assessment of Wikipedia medical articles (Contributo in atti di convegno) (Prodotto della ricerca)
- On security countermeasures ranking through threat analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Definition of Data Sharing Agreements (The case of Spanish Data Protection Law) (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Preserving Data Privacy in eHealth (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Maturity assessment of Wikipedia medical articles (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- An Expertise-driven Authoring Tool of Privacy Policies for e-Health (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On the Synthesis of Secure Services Composition (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- e-SHS - Analisi dello stato dell'arte e requisiti tecnici (Rapporti progetti di ricerca) (Prodotto della ricerca)
- An Expertise-driven Authoring Tool of Privacy Policies for e-Health (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Maturity assessment of Wikipedia medical articles (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Rapporto con persona