http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleInterno/MATRICOLA10096
MARINELLA PETROCCHI
- Type
- Label
- MARINELLA PETROCCHI (literal)
- MARINELLA PETROCCHI (literal)
- Http://www.w3.org/2002/07/owl#sameAs
- Partecipa a commessa
- Persona in rapporto
- Autore CNR di
- A Criticism to Society (as seen by Twitter analytics) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using Incentives to Analyze Social Web Services' Behaviors (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)
- An Expertise-driven Authoring Tool of Privacy Policies for e-Health (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Managing Credits in Mobile Ad Hoc Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Discriminating Between the Wheat and the Chaff in Online Recommendation Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On Relating and Integrating Two Trust Management Frameworks (Articolo in rivista) (Prodotto della ricerca)
- Automated synthesis and ranking of secure BPMN orchestrators (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Team automata for security -- a survey (Articolo in rivista) (Prodotto della ricerca)
- A Multi-Criteria-Based Evaluation of Android Applications (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Controlled Data Sharing in e-Health (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties (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)
- Towards security analyses of an identity federation protocol for Web services in convergent networks (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)
- Towards safer information sharing in the cloud (Articolo in rivista) (Prodotto della ricerca)
- Contributions of team automata in security (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- PERSONA - A Personalized Data Protection Framework (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Formalization of the SCEP Protocol Enrolment Phase (Comunicazione a convegno) (Prodotto della ricerca)
- My Data, Your Data, Our Data: Managing Privacy Preferences in Multi-Subjects Personal Data. (Contributo in atti di convegno) (Prodotto della ricerca)
- Signed and weighted trust credentials in Fraglets (Contributo in atti di convegno) (Prodotto della ricerca)
- Mobile implementation and formal verification of an e-voting system (Contributo in atti di convegno) (Prodotto della ricerca)
- Fake accounts detection on Twitter (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling a secure agent with team automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- SEAS, a secure e-voting protocol: Design and implementation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Context-Aware Analysis of Data Sharing Agreements (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated analysis of some security mechanisms of SCEP (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)
- 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)
- A Formalization of Credit and Responsibility Within the GNDC Schema (Contributo in atti di convegno) (Prodotto della ricerca)
- Cryptofraglets: networking, biology and security (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards the Development and Evaluation of a Privacy-Preserving Quality Model for Social Networks of Web Services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Formal analysis of some secure procedures for certificate delivery (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- CNL4DSA: a controlled natural language for data sharing agreements (Contributo in atti di convegno) (Prodotto della ricerca)
- Reputation-based composition of social web services (Contributo in atti di convegno) (Prodotto della ricerca)
- Fast Certificate-based Authentication Scheme in Multi-operator maintained Wireless Mesh Networks (Articolo in rivista) (Prodotto della ricerca)
- Fine Grained Access Control with Trust and Reputation Management for Globus (Articolo in rivista) (Prodotto della ricerca)
- A Fake Follower Story: improving fake accounts detection on Twitter (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Analysis of Data Sharing Agreements with Automated veri cation and WS implementation (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A criticism to Society (as seen by Twitter analytics) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Prioritized execution of privacy policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal models and analysis of secure multicast in wired and wireless networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Trust management for grid systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Improved maturity assessment of Wikipedia medical articles (Contributo in atti di convegno) (Prodotto della ricerca)
- Team Automata for Security - A Survey (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Security and Trust Management - 8th International Workshop, STM 2012 (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Access control mechanisms for fraglets (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)
- Definition of Data Sharing Agreements (The case of Spanish Data Protection Law) (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Local management of credits and debits in mobile ad hoc networks. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- NESSoS - Joint Virtual Research Lab (Rapporti progetti di ricerca) (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)
- Maturity assessment of Wikipedia medical articles (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Executable specification of Cryptofraglets in Maude for security verification (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)
- Preserving Data Privacy in eHealth (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Towards an executable algebra for product lines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A tool for the synthesis of cryptographic 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)
- A study on rating services based on users' categories (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Lot of Slots - Outliers Confinement in Review-Based Systems (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 Client-Aware Reputation System for e-Services (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Aspects of Modeling and Verifying Secure Procedures (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Formal models and analysis of secure multicast in wired and wireless networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Automated analysis of some security mechanism of SCEP (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Introducing Authenticated Information in a Reliable Multicast Protocol for Mobile Computing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Formal analysis of some timed security properties in wireless protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- SEAS: A Secure E-Voting Applet System (Articolo in rivista) (Prodotto della ricerca)
- Formal techniques for security analysis in wireless systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Subjective Review-based Reputation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Compositional verification of integrity for digital stream signature protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- A framework for locally managing credits and debits in MANETs (Contributo in atti di convegno) (Prodotto della ricerca)
- Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties (Contributo in atti di convegno) (Prodotto della ricerca)
- Coautore
- Nome
- Cognome
- Afferisce a
- Ha pubblicazioni con
Incoming links:
- Autore CNR
- Local management of credits and debits in mobile ad hoc networks. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Access control mechanisms for fraglets (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Executable specification of Cryptofraglets in Maude for security verification (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal analysis of some timed security properties in wireless protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Compositional verification of integrity for digital stream signature protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario (Contributo in atti di convegno) (Prodotto della ricerca)
- Signed and weighted trust credentials in Fraglets (Contributo in atti di convegno) (Prodotto della ricerca)
- Mobile implementation and formal verification of an e-voting system (Contributo in atti di convegno) (Prodotto della ricerca)
- Context-Aware Analysis of Data Sharing Agreements (Contributo in atti di convegno) (Prodotto della ricerca)
- Fine Grained Access Control with Trust and Reputation Management for Globus (Articolo in rivista) (Prodotto della ricerca)
- Formal analysis of some secure procedures for certificate delivery (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Fast Certificate-based Authentication Scheme in Multi-operator maintained Wireless Mesh Networks (Articolo in rivista) (Prodotto della ricerca)
- A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Team automata for security -- a survey (Articolo in rivista) (Prodotto della ricerca)
- On Relating and Integrating Two Trust Management Frameworks (Articolo in rivista) (Prodotto della ricerca)
- SEAS, a secure e-voting protocol: Design and implementation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Modelling a secure agent with team automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Formalization of Credit and Responsibility Within the GNDC Schema (Contributo in atti di convegno) (Prodotto della ricerca)
- Cryptofraglets: networking, biology and security (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated analysis of some security mechanisms of SCEP (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CNL4DSA: a controlled natural language for data sharing agreements (Contributo in atti di convegno) (Prodotto della ricerca)
- A Formalization of the SCEP Protocol Enrolment Phase (Comunicazione a convegno) (Prodotto della ricerca)
- Formal techniques for security analysis in wireless systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Aspects of Modeling and Verifying Secure Procedures (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Trust management for grid systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Formal models and analysis of secure multicast in wired and wireless networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Analysis of Data Sharing Agreements with Automated veri cation and WS implementation (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Introducing Authenticated Information in a Reliable Multicast Protocol for Mobile Computing (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Automated analysis of some security mechanism of SCEP (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Formal models and analysis of secure multicast in wired and wireless networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Analysis of Data Sharing Agreements: Automated verification and WS implementation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards security analyses of an identity federation protocol for Web services in convergent networks (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)
- Controlled Data Sharing in e-Health (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Client-Aware Reputation System for e-Services (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- NESSoS - Joint Virtual Research Lab (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Contributions of team automata in security (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Team Automata for Security - A Survey (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Subjective Review-based Reputation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A framework for locally managing credits and debits in MANETs (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)
- Managing Credits in Mobile Ad Hoc Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A Multi-Criteria-Based Evaluation of Android Applications (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- SEAS: A Secure E-Voting Applet System (Articolo in rivista) (Prodotto della ricerca)
- Towards an executable algebra for product lines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A study on rating services based on users' categories (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- Prioritized execution of privacy policies (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)
- PERSONA - A Personalized Data Protection Framework (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Fake accounts detection on Twitter (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A Prototype for Solving Conflicts in XACML-based e-Health Policies (Contributo in atti di convegno) (Prodotto della ricerca)
- Security and Trust Management - 8th International Workshop, STM 2012 (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- My Data, Your Data, Our Data: Managing Privacy Preferences in Multi-Subjects Personal Data. (Contributo in atti di convegno) (Prodotto della ricerca)
- Using Incentives to Analyze Social Web Services' Behaviors (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards safer information sharing in the cloud (Articolo in rivista) (Prodotto della ricerca)
- A Criticism to Society (as seen by Twitter analytics) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Automated synthesis and ranking of secure BPMN orchestrators (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Discriminating Between the Wheat and the Chaff in Online Recommendation Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Improved maturity assessment of Wikipedia medical articles (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)
- A Lot of Slots - Outliers Confinement in Review-Based Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A criticism to Society (as seen by Twitter analytics) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- A Fake Follower Story: improving fake accounts detection on Twitter (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Maturity assessment of Wikipedia medical articles (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Towards the Development and Evaluation of a Privacy-Preserving Quality Model for Social Networks of Web Services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- 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)
- Reputation-based composition of social web services (Contributo in atti di convegno) (Prodotto della ricerca)
- Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties (Contributo in atti di convegno) (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)
- Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties (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)
- Ha afferente
- Ha pubblicazioni con
- Coautore
- Partecipazione di
- Rapporto con persona