FABIO MARTINELLI

Type

• Persona (Classe)

Label

• FABIO MARTINELLI (literal)
• FABIO MARTINELLI (literal)

Gestore di

• Trusted and mobile systems (INT.P01.007.004) (Modulo)

Partecipa a commessa

• Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di DOTT.SSA FABIO MARTINELLI nell'anno 2008 (Partecipazione a commessa)
• Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di DOTT.SSA FABIO MARTINELLI nell'anno 2007 (Partecipazione a commessa)
• Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di DOTT.SSA FABIO MARTINELLI nell'anno 2006 (Partecipazione a commessa)

Persona in rapporto

• Rapporto con CNR di DOTT.SSA FABIO MARTINELLI (Rapporto con CNR)

Autore CNR di

• A Multi-Criteria-based Evaluation of Android Applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Privacy-Preserving Mobility-Casting in Opportunistic Networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Reputation-based composition of social web services (Contributo in atti di convegno) (Prodotto della ricerca)
• Remote Policy Enforcement for Trusted Application Execution in Mobile Environments (Contributo in atti di convegno) (Prodotto della ricerca)
• A Runtime Monitoring Environment for Mobile Java (Contributo in atti di convegno) (Prodotto della ricerca)
• Fine-grained Continuous Usage Control of Service based Grids – The GridTrust Approach (Contributo in atti di convegno) (Prodotto della ricerca)
• Integration of Quantitative Methods for Risk Evaluation within Usage Control Policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Secure Environment for Grid-Based Supply Chains (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)
• Probabilistic Contract Compliance for Mobile Applications (Contributo in atti di convegno) (Prodotto della ricerca)
• Symbolic partial model checking for security analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• SEAS, an improvement of the Sensus protocol: design and implementation (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
• Context-Aware Analysis of Data Sharing Agreements (Contributo in atti di convegno) (Prodotto della ricerca)
• Stateful Usage Control for Android Mobile Devices (Contributo in atti di convegno) (Prodotto della ricerca)
• Deduction and Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
• Risk-Based Usage Control for Service Oriented Architecture (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) (Prodotto della ricerca)
• A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards Enforcing On-The-Fly Policies in BYOD Environments (Contributo in atti di convegno) (Prodotto della ricerca)
• Architecture, Workflows, and Prototype for Stateful Data Usage Control in Cloud (Contributo in atti di convegno) (Prodotto della ricerca)
• A prototype for Enforcing Usage Control Policies Based on XACML (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily (Contributo in atti di convegno) (Prodotto della ricerca)
• Extending security-by-contract with quantitative trust on mobile devices (Contributo in atti di convegno) (Prodotto della ricerca)
• Time-continuous Authorization of Network Resources based on Usage Control (Contributo in atti di convegno) (Prodotto della ricerca)
• A General Method for Assessment of Security in Complex Services (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) (Prodotto della ricerca)
• Formal analysis of security metrics and risk (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Influence of Attribute Freshness on Decision Making in Usage Control (Contributo in atti di convegno) (Prodotto della ricerca)
• A Quantitative Approach for Inexact Enforcement of Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
• Breve introduzione ai Web Services (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• IMS Session Management Based on Usage Control (Contributo in atti di convegno) (Prodotto della ricerca)
• Classifying Android Malware Through Subgraph Mining (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Towards Attribute-based Access Control Policy Engineering Using Risk (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards an integrated formal analysis for security and trust (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Towards Policy Engineering for Attribute-based Access Control (Contributo in atti di convegno) (Prodotto della ricerca)
• Module Checking through Partial Model Checking (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Extending the Globus architecture with Role-Based Trust Management (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Enhancing Java Security with History Based Access Control (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• A Survey on Security for Mobile Devices (Articolo in rivista) (Prodotto della ricerca)
• Process algebraic frameworks for the specification and analysis of cryptographic protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A simple framework for real-time cryptographic protocol analysis with compositional proof rules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Framework for Probabilistic Contract Compliance (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
• Fast Certificate-based Authentication Scheme in Multi-operator maintained Wireless Mesh Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Quantitative Evaluation of Enforcement Strategies (Contributo in atti di convegno) (Prodotto della ricerca)
• A comparison of three authentication properties (Articolo in rivista) (Prodotto della ricerca)
• Theoretical foundations of security analysis and design II. Preface (Articolo in rivista) (Prodotto della ricerca)
• Privacy-Preserving Interest-Cast for Android smartphones (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface to Formal Aspects in Security and Trust (FAST): 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Usage control in SIP-based multimedia delivery (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Continuous Authorizations in SIP with Usage Control (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Contract-based Approaches for Securing Web Services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Cost-Effective Enforcement of Access and Usage Control Policies under Uncertainties (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Monograph: Identity and Privacy Management (Articolo in rivista) (Prodotto della ricerca)
• Analysis of security protocols as open systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Analysis of the Enrollment Procedure of a Certification Authority with SecTool (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Proceedings of Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. (Curatela) (Prodotto della ricerca)
• Towards an Integrated Formal Analysis for Security and Trust (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synthesis of Web Services Orchestrators in a Timed Setting (Contributo in atti di convegno) (Prodotto della ricerca)
• Trust Management: 4th International Conference, ITrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings (Curatela) (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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Applying generalized non deducibility on compositions (GNDC) approach in dependability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• On Usage Control for GRID Systems (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Analysis of Data Sharing Agreements with Automated veri cation and WS implementation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
• A Client-Aware Reputation System for e-Services (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Investigating the Privacy vs. Forwarding Accuracy Tradeoff in Opportunistic Interest-Casting (Articolo in rivista) (Prodotto della ricerca)
• A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Improving Role-based Access to Android Applications with JCHR (Contributo in atti di convegno) (Prodotto della ricerca)
• Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
• An Implementation of Secure Two-Party Computation for Smartphones with Application to Privacy-Preserving Interest-Cast (Abstract/Comunicazione in atti di convegno) (Prodotto della ricerca)
• Privacy-Preserving Interest-Casting in Opportunistic Networks (Contributo in atti di convegno) (Prodotto della ricerca)
• On the Synthesis of Secure Services Composition (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Synthesis of secure adaptors (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Testing of PolPA Authorization Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enhancing Grid Security by Fine-Grained Behavioural Control and Negotiation-Based Authorization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards Continuous Usage Control on Grid Computational Services (Contributo in atti di convegno) (Prodotto della ricerca)
• Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• Logical specification and analysis of fault tolerant systems through partial model checking (Contributo in atti di convegno) (Prodotto della ricerca)
• Randomized algorithms for determining the majority on graphs (Contributo in atti di convegno) (Prodotto della ricerca)
• Optimal and Approximate Station Placement in Networks with Applications to Multicasting and Space Efficient Traversal) (Contributo in atti di convegno) (Prodotto della ricerca)
• Modelling authentication properties though the intruder knowledge (Contributo in atti di convegno) (Prodotto della ricerca)
• SEAS: a Secure E-voting Applet System (Contributo in atti di convegno) (Prodotto della ricerca)
• Quantitative Access Control with Partially-Observable Markov Decision Processes (Contributo in atti di convegno) (Prodotto della ricerca)
• Metric-Aware Secure Service Orchestration (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) (Prodotto della ricerca)
• Usage Control in Cloud Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Process algebraic frameworks for the specification and ana lysis of cryptographic protocols (Articolo in rivista) (Prodotto della ricerca)
• Proceedings of ISC 2009 (Curatela) (Prodotto della ricerca)
• On usage control for GRID systems (Articolo in rivista) (Prodotto della ricerca)
• Modular Plans for Secure Service Composition (Articolo in rivista) (Prodotto della ricerca)
• Formal analysis of some secure procedures for certificate delivery (Articolo in rivista) (Prodotto della ricerca)
• Usage Control, Risk and Trust (Articolo in rivista) (Prodotto della ricerca)
• A Fine-Grained and X.509-Based Access Control System for Globus (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The CONTRAIL approach to cloud federations. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Introducing probabilities in contract-based approaches for mobile application security (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Multi-dimensional Secure Service Orchestration (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Formal Aspects in Security and Trust, Third International Workshop, FAST 2005 (Curatela) (Prodotto della ricerca)
• Usage control in cloud federations (Contributo in atti di convegno) (Prodotto della ricerca)
• Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Runtime monitoring for next generation Java ME platform (Articolo in rivista) (Prodotto della ricerca)
• MADAM: a Multi-Level Anomaly Detector for Android Malware (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
• Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France (Curatela) (Prodotto della ricerca)
• Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers (Curatela) (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)
• SEAS: A Secure E-Voting Applet System (Articolo in rivista) (Prodotto della ricerca)
• A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enforcing UCON Policies on the Enterprise Service Bus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Security-by-Contract (SxC) for Software and Services of Mobile Systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Enhancing Java ME Security Support with Resource Usage Monitoring (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• 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)
• Access and Usage control in GRID systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Trust management for grid systems (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)
• Enforcing UCON Policies on the Enterprise Service Bus (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• MADAM: A Multi-Level Anomaly Detector for Android Malware (Contributo in atti di convegno) (Prodotto della ricerca)
• Testing of PolPA-based usage control systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A tool for the synthesis of cryptographic orchestrators (Contributo in atti di convegno) (Prodotto della ricerca)
• A study on rating services based on users' categories (Contributo in atti di convegno) (Prodotto della ricerca)
• Risk-based Auto Delegation for Probabilistic Availability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Nonlinear model and constrained ML for removing back-to-front interferences from recto-verso documents (Articolo in rivista) (Prodotto della ricerca)
• Fine Grained Access Control with Trust and Reputation Management for Globus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Testing of PolPA Authorization Systems (Contributo in atti di convegno) (Prodotto della ricerca)
• Real Time Information Flow Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Improving Grid Service Security with Fine Grain Policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Access control: AAAA where the first two As stand for Ability Authentication (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Are Photos On Social Networks Really Private? (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A collaborative framework for generating probabilistic contracts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Relating multiset rewriting and process algebras for security protocol analysis (Articolo in rivista) (Prodotto della ricerca)
• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Articolo in rivista) (Prodotto della ricerca)
• Through Modeling to Synthesis of Security Automata (Articolo in rivista) (Prodotto della ricerca)
• A survey on security for mobile devices (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Formal Analysis of Security Metrics with Defensive Actions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• On Relating and Integrating Two Trust Management Frameworks (Articolo in rivista) (Prodotto della ricerca)
• Preface (Articolo in rivista) (Prodotto della ricerca)
• A Multi-Criteria-Based Evaluation of Android Applications (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Application Security for Mobile Devices (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Engineering Secure Future Internet Services (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)
• Towards Information Flow Properties for Distributed Systems (Articolo in rivista) (Prodotto della ricerca)
• VISITO Tuscany (VIsual Support to cultural heritage InTeractive access in Tuscany (Progetti) (Prodotto della ricerca)
• Investigating the Privacy vs. Forwarding Accuracy Tradeoff in Opportunistic Interest-Casting (Articolo in rivista) (Prodotto della ricerca)
• Automated analysis of some security mechanisms of SCEP (Contributo in atti di convegno) (Prodotto della ricerca)
• Executable specification of Cryptofraglets in Maude for security verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• On Usage Control for GRID Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• About compositional analysis of pi-calculus processes (Contributo in atti di convegno) (Prodotto della ricerca)
• Synthesis of Local Controller Programs for Enforcing Global Security Properties (Contributo in atti di convegno) (Prodotto della ricerca)
• On usage control in data GRIDs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Weighted Datalog and Levels of Trust (Contributo in atti di convegno) (Prodotto della ricerca)
• Extending Resource Access in Multi-Provider Networks using Trust Management (Articolo in rivista) (Prodotto della ricerca)
• Risk-Aware Usage Decision Making in Highly Dynamic Systems (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)
• Application Security for Mobile Devices (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Security and Trust (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• On security countermeasures ranking through threat analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• Formal approach to security metrics. What does (Contributo in atti di convegno) (Prodotto della ricerca)
• A performance comparison of scatternet formation protocols for networks of Bluetooth devices (Contributo in atti di convegno) (Prodotto della ricerca)
• Symbolic semantics and analysis for Crypto-CCS with (almost) generic inference systems (Contributo in atti di convegno) (Prodotto della ricerca)
• On Representing Biological Systems with Multiset Rewriting (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• An Approach for the Specification, Verification and Synthesis of Secure Systems (Articolo in rivista) (Prodotto della ricerca)
• Resource access in Multi-Provider Networks using Role Based Trust Management (Contributo in atti di convegno) (Prodotto della ricerca)
• Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach (Contributo in atti di convegno) (Prodotto della ricerca)
• Foundations of Security Analysis and Design III, FOSAD 2004/2005- Tutorial Lectures (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• A framework for automatic generation of security controller (Articolo in rivista) (Prodotto della ricerca)
• Securing Java with local policies (Articolo in rivista) (Prodotto della ricerca)
• SEAS, a secure e-voting protocol: Design and implementation (Articolo in rivista) (Prodotto della ricerca)
• Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. (Articolo in rivista) (Prodotto della ricerca)
• Access control mechanisms for fraglets (Contributo in atti di convegno) (Prodotto della ricerca)
• Classification of security properties - Part II : network security (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• A Model for Usage Control in GRID Systems (Contributo in atti di convegno) (Prodotto della ricerca)
• Controlling Usage in Business Process Workflows through Fine-Grained Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
• Local management of credits and debits in mobile ad hoc networks. (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)
• Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services. (Contributo in atti di convegno) (Prodotto della ricerca)
• Constrained Finite State Automata for Risk Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• A framework for the modeling and synthesis of security automata based on process algebras (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• Formal techniques for security analysis in wireless systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Detection of images with adult content for parental control on mobile devices (Contributo in atti di convegno) (Prodotto della ricerca)
• Quantitative access control with partially observable Markov sdecision process (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Realizzazione di un applicazione per l’incremento della sicurezza dei dispositivi mobili (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Fine Grained Access Control for Computational Services (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Model and Synthesize Security Automata (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Extending the Globus architecture with Role-Based Trust Management (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Specification and Analysis of Information Flow Properties for Distributed Systems (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
• A Distributed Authorization System with Mobile Usage Control Policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Action Refinement for Security Properties Enforcement (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
• 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)
• A proposal on enhancing XACML with continuous usage control features (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Survey of Usage Control in Computer Security (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Managing Credits in Mobile Ad Hoc Networks (Contributo in atti di convegno) (Prodotto della ricerca)
• A simple language for real-time cryptographic protocol analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• Biometrics to Enhance Smartcard Security (Simulating MOC using TOC) (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 secure streamed data: a case study with EMSS (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• On representing biological systems through multiset rewriting (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Symbolic partial model checking for security analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• About compositional analysis of pi-calculus processes (Contributo in atti di convegno) (Prodotto della ricerca)
• Investigating Upper Bounds on Network Lifetime Extension for Cell-Based Energy Conservation Techniques in Stationary Ad Hoc Networks (Contributo in atti di convegno) (Prodotto della ricerca)
• Compositional verification of integrity for digital stream signature protocols (Contributo in atti di convegno) (Prodotto della ricerca)
• Analysing EMMS with compositional proof rules for non interference (Contributo in atti di convegno) (Prodotto della ricerca)
• Automated Secure Composition of Cryptographic Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Detection of repackaged mobile applications through a collaborative approach (Articolo in rivista) (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)
• A Flexible Framework for Access Control Based on Ability Authentication. (Contributo in atti di convegno) (Prodotto della ricerca)
• Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• How to Grant Less Permissions to Facebook Applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols (Contributo in atti di convegno) (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) (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)
• A proposal on enhancing XACML with continuous usage control features (Contributo in atti di convegno) (Prodotto della ricerca)
• Privacy-Preserving Opportunistic Networking (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Privacy-Preserving Mobility-Casting in Opportunistic Networks (Contributo in atti di convegno) (Prodotto della ricerca)
• An Implementation of Secure Two-Party Computation for Smartphones with Application to Privacy-Preserving Interest-Cast (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) (Prodotto della ricerca)
• Automated Analysis of Timed Security: a Case Study on Web Privacy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards Modelling Adaptive Attacker's Behaviour (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)
• Usage Control in Computer Security: A Survey (Articolo in rivista) (Prodotto della ricerca)
• A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Articolo in rivista) (Prodotto della ricerca)
• Secure service orchestration in open networks (Articolo in rivista) (Prodotto della ricerca)
• Controlling the Usage of Grid Services (Articolo in rivista) (Prodotto della ricerca)
• Cost-effective enforcement of UCON policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• General Properties and Termination Conditions for Soft Constraint Propagation (Articolo in rivista) (Prodotto della ricerca)
• Secure Service Composition with Symbolic Effects (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• GridTrust--A Usage Control-Based Trust and Security Framework for Service-Based Grids (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Secure Service Orchestration in Open Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Coautore

• EMANUELE CARLINI (Persona)
• ILARIA MATTEUCCI (Unità di personale interno)
• EDA MARCHETTI (Persona)
• ANTONIA BERTOLINO (Unità di personale interno)
• RAFFAELE PEREGO (Persona)
• EMANUELE SALERNO (Persona)
• MASSIMO COPPOLA (Persona)
• ANNA TONAZZINI (Unità di personale interno)
• ALESSANDRO FALLENI (Persona)
• ARTSIOM YAUTSIUKHIN (Persona)
• CHARLES MORISSET (Persona)
• FRANCESCO ROPERTI (Persona)
• PAOLO MORI (Unità di personale interno)
• Nicola Nostro (Unità di personale esterno)
• VINCENZO CIANCIA (Unità di personale esterno)
• ALESSANDRO CASTRUCCI (Unità di personale esterno)
• PAOLO SANTI (Persona)
• ANDREA SARACINO (Persona)
• PATRIZIO DAZZI (Persona)
• DANIELE SGANDURRA (Persona)
• PAOLO MORI (Persona)
• LUCA WIEGAND (Unità di personale esterno)
• IVAN GERACE (Unità di personale esterno)
• GIUSEPPE AMATO (Persona)
• GIANPIERO COSTANTINO (Persona)
• Gaetano Francesco Anastasi (Persona)
• FRANCESCA LONETTI (Unità di personale interno)
• ROBERTO SCOPIGNO (Unità di personale interno)
• ILARIA MATTEUCCI (Persona)
• ANNA VACCARELLI (Unità di personale interno)
• FRANCESCO SANTINI (Persona)
• MARINELLA PETROCCHI (Unità di personale interno)
• Aliaksandr Lazouski (Persona)
• MARIANTONIETTA NOEMI LA POLLA (Persona)
• PETER DRABIK (Persona)
• FILIPPO GIUNTINI (Persona)
• MASSIMO COPPOLA (Persona)
• GAETANO MANCINI (Persona)
• PIERPAOLO DEGANO (Unità di personale esterno)
• ROBERTO GORRIERI (Unità di personale esterno)
• STEFANO BISTARELLI (Persona)
• PAOLO BOLETTIERI (Unità di personale interno)
• FELICITA DI GIANDOMENICO (Persona)
• STEFANIA GNESI (Persona)
• MAURIZIO COLOMBO (Persona)
• VINCENZO CIANCIA (Unità di personale interno)
• LEANID KRAUTSEVICH (Unità di personale esterno)
• GABRIELE COSTA (Unità di personale esterno)
• Said Daoudagh (Persona)

Nome

• FABIO (literal)

Cognome

• MARTINELLI (literal)

Afferisce a

• Istituto di informatica e telematica (IIT) (Istituto)

Ha pubblicazioni con

• PATRIZIA ANDRONICO (Persona)
• STEFANO BISTARELLI (Persona)
• ARIANNA DEL SOLDATO (Persona)
• PAOLO MORI (Unità di personale interno)
• ALESSANDRO CASTRUCCI (Unità di personale esterno)
• ALESSANDRO FALLENI (Persona)
• CRISTIAN LUCCHESI (Persona)
• PAOLO CASELLA (Unità di personale interno)
• GIUSEPPE VASARELLI (Unità di personale interno)
• MARINELLA PETROCCHI (Unità di personale interno)
• ANNA VACCARELLI (Unità di personale interno)
• ILARIA MATTEUCCI (Persona)
• FRANCESCO SANTINI (Persona)

Incoming links:

Autore CNR

• A performance comparison of scatternet formation protocols for networks of Bluetooth devices (Contributo in atti di convegno) (Prodotto della ricerca)
• Symbolic semantics and analysis for Crypto-CCS with (almost) generic inference systems (Contributo in atti di convegno) (Prodotto della ricerca)
• Local management of credits and debits in mobile ad hoc networks. (Contributo in atti di convegno) (Prodotto della ricerca)
• Constrained Finite State Automata for Risk Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services. (Contributo in atti di convegno) (Prodotto della ricerca)
• Access control mechanisms for fraglets (Contributo in atti di convegno) (Prodotto della ricerca)
• Controlling Usage in Business Process Workflows through Fine-Grained Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
• Executable specification of Cryptofraglets in Maude for security verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• On usage control in data GRIDs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• On Usage Control for GRID Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Risk-Aware Usage Decision Making in Highly Dynamic Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Applying generalized non deducibility on compositions (GNDC) approach in dependability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• Biometrics to Enhance Smartcard Security (Simulating MOC using TOC) (Contributo in atti di convegno) (Prodotto della ricerca)
• A simple language for real-time cryptographic protocol analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• On representing biological systems through multiset rewriting (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Symbolic partial model checking for security analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• 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 secure streamed data: a case study with EMSS (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)
• Analysing EMMS with compositional proof rules for non interference (Contributo in atti di convegno) (Prodotto della ricerca)
• About compositional analysis of pi-calculus processes (Contributo in atti di convegno) (Prodotto della ricerca)
• Investigating Upper Bounds on Network Lifetime Extension for Cell-Based Energy Conservation Techniques in Stationary Ad Hoc Networks (Contributo in atti di convegno) (Prodotto della ricerca)
• A Flexible Framework for Access Control Based on Ability Authentication. (Contributo in atti di convegno) (Prodotto della ricerca)
• Symbolic partial model checking for security analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• A Secure Environment for Grid-Based Supply Chains (Contributo in atti di convegno) (Prodotto della ricerca)
• A Runtime Monitoring Environment for Mobile Java (Contributo in atti di convegno) (Prodotto della ricerca)
• Fine-grained Continuous Usage Control of Service based Grids – The GridTrust Approach (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)
• A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily (Contributo in atti di convegno) (Prodotto della ricerca)
• Time-continuous Authorization of Network Resources based on Usage Control (Contributo in atti di convegno) (Prodotto della ricerca)
• 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)
• Risk-Based Usage Control for Service Oriented Architecture (Contributo in atti di convegno) (Prodotto della ricerca)
• Deduction and Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
• A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
• Real Time Information Flow Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Improving Grid Service Security with Fine Grain Policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Fine Grained Access Control with Trust and Reputation Management for Globus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enhancing Java ME Security Support with Resource Usage Monitoring (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• 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)
• Idea: Action Refinement for Security Properties Enforcement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enforcing UCON Policies on the Enterprise Service Bus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A comparison of three authentication properties (Articolo in rivista) (Prodotto della ricerca)
• Theoretical foundations of security analysis and design II. Preface (Articolo in rivista) (Prodotto della ricerca)
• Formal analysis of some secure procedures for certificate delivery (Articolo in rivista) (Prodotto della ricerca)
• A Fine-Grained and X.509-Based Access Control System for Globus (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Usage Control, Risk and Trust (Articolo in rivista) (Prodotto della ricerca)
• Proceedings of ISC 2009 (Curatela) (Prodotto della ricerca)
• On usage control for GRID systems (Articolo in rivista) (Prodotto della ricerca)
• Modular Plans for Secure Service Composition (Articolo in rivista) (Prodotto della ricerca)
• Runtime monitoring for next generation Java ME platform (Articolo in rivista) (Prodotto della ricerca)
• Analysis of security protocols as open systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards an Integrated Formal Analysis for Security and Trust (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A simple framework for real-time cryptographic protocol analysis with compositional proof rules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Process algebraic frameworks for the specification and analysis of cryptographic protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Extending the Globus architecture with Role-Based Trust Management (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Enhancing Java Security with History Based Access Control (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Preface to Formal Aspects in Security and Trust (FAST): 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols (Contributo in atti di convegno) (Prodotto della ricerca)
• General Properties and Termination Conditions for Soft Constraint Propagation (Articolo in rivista) (Prodotto della ricerca)
• A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Articolo in rivista) (Prodotto della ricerca)
• Controlling the Usage of Grid Services (Articolo in rivista) (Prodotto della ricerca)
• Secure Service Orchestration in Open Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On Representing Biological Systems with Multiset Rewriting (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Preface (Articolo in rivista) (Prodotto della ricerca)
• Relating multiset rewriting and process algebras for security protocol analysis (Articolo in rivista) (Prodotto della ricerca)
• Through Modeling to Synthesis of Security Automata (Articolo in rivista) (Prodotto della ricerca)
• On Relating and Integrating Two Trust Management Frameworks (Articolo in rivista) (Prodotto della ricerca)
• Towards Information Flow Properties for Distributed Systems (Articolo in rivista) (Prodotto della ricerca)
• A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• SEAS, a secure e-voting protocol: Design and implementation (Articolo in rivista) (Prodotto della ricerca)
• Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. (Articolo in rivista) (Prodotto della ricerca)
• Classification of security properties - Part II : network security (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• A Model for Usage Control in GRID Systems (Contributo in atti di convegno) (Prodotto della ricerca)
• An Approach for the Specification, Verification and Synthesis of Secure Systems (Articolo in rivista) (Prodotto della ricerca)
• Securing Java with local policies (Articolo in rivista) (Prodotto della ricerca)
• A framework for automatic generation of security controller (Articolo in rivista) (Prodotto della ricerca)
• Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• Logical specification and analysis of fault tolerant systems through partial model checking (Contributo in atti di convegno) (Prodotto della ricerca)
• Modelling authentication properties though the intruder knowledge (Contributo in atti di convegno) (Prodotto della ricerca)
• SEAS: a Secure E-voting Applet System (Contributo in atti di convegno) (Prodotto della ricerca)
• Randomized algorithms for determining the majority on graphs (Contributo in atti di convegno) (Prodotto della ricerca)
• Optimal and Approximate Station Placement in Networks with Applications to Multicasting and Space Efficient Traversal) (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards Continuous Usage Control on Grid Computational Services (Contributo in atti di convegno) (Prodotto della ricerca)
• A Formalization of Credit and Responsibility Within the GNDC Schema (Contributo in atti di convegno) (Prodotto della ricerca)
• Automated analysis of some security mechanisms of SCEP (Contributo in atti di convegno) (Prodotto della ricerca)
• About compositional analysis of pi-calculus processes (Contributo in atti di convegno) (Prodotto della ricerca)
• Synthesis of Local Controller Programs for Enforcing Global Security Properties (Contributo in atti di convegno) (Prodotto della ricerca)
• Weighted Datalog and Levels of Trust (Contributo in atti di convegno) (Prodotto della ricerca)
• Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach (Contributo in atti di convegno) (Prodotto della ricerca)
• Resource access in Multi-Provider Networks using Role Based Trust Management (Contributo in atti di convegno) (Prodotto della ricerca)
• Formal approach to security metrics. What does (Contributo in atti di convegno) (Prodotto della ricerca)
• Detection of images with adult content for parental control on mobile devices (Contributo in atti di convegno) (Prodotto della ricerca)
• SEAS, an improvement of the Sensus protocol: design and implementation (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
• Formal techniques for security analysis in wireless systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• A proposal on enhancing XACML with continuous usage control features (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005) (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Breve introduzione ai Web Services (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Towards an integrated formal analysis for security and trust (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Module Checking through Partial Model Checking (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Realizzazione di un applicazione per l’incremento della sicurezza dei dispositivi mobili (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Model and Synthesize Security Automata (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Extending the Globus architecture with Role-Based Trust Management (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Fine Grained Access Control for Computational Services (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• A framework for the modeling and synthesis of security automata based on process algebras (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• A Survey of Usage Control in Computer Security (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• 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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
• Specification and Analysis of Information Flow Properties for Distributed Systems (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
• Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France (Curatela) (Prodotto della ricerca)
• Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers (Curatela) (Prodotto della ricerca)
• Security-by-Contract (SxC) for Software and Services of Mobile Systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Access and Usage control in GRID systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Trust management for grid systems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
• On Usage Control for GRID Systems (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 with Automated veri cation and WS implementation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
• Foundations of Security Analysis and Design III, FOSAD 2004/2005- Tutorial Lectures (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Access control: AAAA where the first two As stand for Ability Authentication (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)
• 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)
• A proposal on enhancing XACML with continuous usage control features (Contributo in atti di convegno) (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)
• Extending Resource Access in Multi-Provider Networks using Trust Management (Articolo in rivista) (Prodotto della ricerca)
• Security and Trust (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Application Security for Mobile Devices (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Engineering Secure Future Internet Services (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)
• A survey on security for mobile devices (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• A Client-Aware Reputation System for e-Services (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Enhancing Grid Security by Fine-Grained Behavioural Control and Negotiation-Based Authorization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Usage Control in Computer Security: A Survey (Articolo in rivista) (Prodotto della ricerca)
• A General Method for Assessment of Security in Complex Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Formal analysis of security metrics and risk (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Influence of Attribute Freshness on Decision Making in Usage Control (Contributo in atti di convegno) (Prodotto della ricerca)
• IMS Session Management Based on Usage Control (Contributo in atti di convegno) (Prodotto della ricerca)
• A Distributed Authorization System with Mobile Usage Control Policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Secure service orchestration in open networks (Articolo in rivista) (Prodotto della ricerca)
• Cost-effective enforcement of UCON policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Risk-based Auto Delegation for Probabilistic Availability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Quantitative access control with partially observable Markov sdecision process (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Usage Control in Cloud Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Metric-Aware Secure Service Orchestration (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The CONTRAIL approach to cloud federations. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Privacy-Preserving Interest-Casting in Opportunistic Networks (Contributo in atti di convegno) (Prodotto della ricerca)
• Synthesis of secure adaptors (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards Modelling Adaptive Attacker's Behaviour (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)
• A formal support for collaborative data sharing (Contributo in atti di convegno) (Prodotto della ricerca)
• A Multi-Criteria-based Evaluation of Android Applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Analysis of the Enrollment Procedure of a Certification Authority with SecTool (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Formal Aspects in Security and Trust, Third International Workshop, FAST 2005 (Curatela) (Prodotto della ricerca)
• A prototype for Enforcing Usage Control Policies Based on XACML (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Testing of PolPA Authorization Systems (Contributo in atti di convegno) (Prodotto della ricerca)
• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Articolo in rivista) (Prodotto della ricerca)
• MADAM: A Multi-Level Anomaly Detector for Android Malware (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) (Prodotto della ricerca)
• A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Automated Analysis of Timed Security: a Case Study on Web Privacy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Secure Service Composition with Symbolic Effects (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• GridTrust--A Usage Control-Based Trust and Security Framework for Service-Based Grids (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• SEAS: A Secure E-Voting Applet System (Articolo in rivista) (Prodotto della ricerca)
• A study on rating services based on users' categories (Contributo in atti di convegno) (Prodotto della ricerca)
• A tool for the synthesis of cryptographic orchestrators (Contributo in atti di convegno) (Prodotto della ricerca)
• MADAM: a Multi-Level Anomaly Detector for Android Malware (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
• Usage control in SIP-based multimedia delivery (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Contract-based Approaches for Securing Web Services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Cost-Effective Enforcement of Access and Usage Control Policies under Uncertainties (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Continuous Authorizations in SIP with Usage Control (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Privacy-Preserving Interest-Cast for Android smartphones (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Classifying Android Malware Through Subgraph Mining (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Introducing probabilities in contract-based approaches for mobile application security (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Multi-dimensional Secure Service Orchestration (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• A Survey on Security for Mobile Devices (Articolo in rivista) (Prodotto della ricerca)
• Quantitative Access Control with Partially-Observable Markov Decision Processes (Contributo in atti di convegno) (Prodotto della ricerca)
• An Implementation of Secure Two-Party Computation for Smartphones with Application to Privacy-Preserving Interest-Cast (Abstract/Comunicazione in atti di convegno) (Prodotto della ricerca)
• Monograph: Identity and Privacy Management (Articolo in rivista) (Prodotto della ricerca)
• Proceedings of Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. (Curatela) (Prodotto della ricerca)
• Synthesis of Web Services Orchestrators in a Timed Setting (Contributo in atti di convegno) (Prodotto della ricerca)
• Trust Management: 4th International Conference, ITrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings (Curatela) (Prodotto della ricerca)
• VISITO Tuscany (VIsual Support to cultural heritage InTeractive access in Tuscany (Progetti) (Prodotto della ricerca)
• Nonlinear model and constrained ML for removing back-to-front interferences from recto-verso documents (Articolo in rivista) (Prodotto della ricerca)
• A Quantitative Approach for Inexact Enforcement of Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
• 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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• How to Grant Less Permissions to Facebook Applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Integration of Quantitative Methods for Risk Evaluation within Usage Control Policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Probabilistic Contract Compliance for Mobile Applications (Contributo in atti di convegno) (Prodotto della ricerca)
• Remote Policy Enforcement for Trusted Application Execution in Mobile Environments (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards Enforcing On-The-Fly Policies in BYOD Environments (Contributo in atti di convegno) (Prodotto della ricerca)
• Privacy-Preserving Mobility-Casting in Opportunistic Networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Investigating the Privacy vs. Forwarding Accuracy Tradeoff in Opportunistic Interest-Casting (Articolo in rivista) (Prodotto della ricerca)
• A collaborative framework for generating probabilistic contracts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Are Photos On Social Networks Really Private? (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Formal Analysis of Security Metrics with Defensive Actions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Towards Attribute-based Access Control Policy Engineering Using Risk (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards Policy Engineering for Attribute-based Access Control (Contributo in atti di convegno) (Prodotto della ricerca)
• A Framework for Probabilistic Contract Compliance (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
• Quantitative Evaluation of Enforcement Strategies (Contributo in atti di convegno) (Prodotto della ricerca)
• Testing of PolPA Authorization Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Improving Role-based Access to Android Applications with JCHR (Contributo in atti di convegno) (Prodotto della ricerca)
• Privacy-Preserving Opportunistic Networking (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Privacy-Preserving Mobility-Casting in Opportunistic Networks (Contributo in atti di convegno) (Prodotto della ricerca)
• Using Incentives to Analyze Social Web Services' Behaviors (Contributo in atti di convegno) (Prodotto della ricerca)
• Detection of repackaged mobile applications through a collaborative approach (Articolo in rivista) (Prodotto della ricerca)
• Enforcing UCON Policies on the Enterprise Service Bus (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Process algebraic frameworks for the specification and ana lysis of cryptographic protocols (Articolo in rivista) (Prodotto della ricerca)
• Usage control in cloud federations (Contributo in atti di convegno) (Prodotto della ricerca)
• Automated synthesis and ranking of secure BPMN orchestrators (Articolo in rivista) (Prodotto della ricerca)
• Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Enforcing mobile application security through probabilistic contracts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• On security countermeasures ranking through threat analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• Application Security for Mobile Devices (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Towards the Development and Evaluation of a Privacy-Preserving Quality Model for Social Networks of Web Services (Articolo in rivista) (Prodotto della ricerca)
• Architecture, Workflows, and Prototype for Stateful Data Usage Control in Cloud (Contributo in atti di convegno) (Prodotto della ricerca)
• Reputation-based composition of social web services (Contributo in atti di convegno) (Prodotto della ricerca)
• Stateful Usage Control for Android Mobile Devices (Contributo in atti di convegno) (Prodotto della ricerca)
• On the Synthesis of Secure Services Composition (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Investigating the Privacy vs. Forwarding Accuracy Tradeoff in Opportunistic Interest-Casting (Articolo in rivista) (Prodotto della ricerca)
• An Implementation of Secure Two-Party Computation for Smartphones with Application to Privacy-Preserving Interest-Cast (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Testing of PolPA-based usage control systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Ha afferente

• Istituto di informatica e telematica (IIT) (Istituto)

Coautore

• ANTONIA BERTOLINO (Unità di personale interno)
• RAFFAELE PEREGO (Persona)
• EMANUELE SALERNO (Persona)
• GIUSEPPE AMATO (Persona)
• EDA MARCHETTI (Persona)
• PAOLO MORI (Unità di personale interno)
• ROBERTO SCOPIGNO (Unità di personale interno)
• FELICITA DI GIANDOMENICO (Persona)
• STEFANIA GNESI (Persona)
• PAOLO SANTI (Persona)
• MASSIMO COPPOLA (Persona)
• ANNA VACCARELLI (Unità di personale interno)
• MARINELLA PETROCCHI (Unità di personale interno)
• ANNA TONAZZINI (Unità di personale interno)
• PAOLO BOLETTIERI (Unità di personale interno)
• GAETANO MANCINI (Persona)
• IVAN GERACE (Unità di personale esterno)
• STEFANO BISTARELLI (Persona)
• PIERPAOLO DEGANO (Unità di personale esterno)
• FRANCESCO SANTINI (Persona)
• ILARIA MATTEUCCI (Persona)
• MASSIMO COPPOLA (Persona)
• FILIPPO GIUNTINI (Persona)
• Aliaksandr Lazouski (Persona)
• MARIANTONIETTA NOEMI LA POLLA (Persona)
• PETER DRABIK (Persona)
• GIANPIERO COSTANTINO (Persona)
• Nicola Nostro (Unità di personale esterno)
• EMANUELE CARLINI (Persona)
• ALESSANDRO FALLENI (Persona)
• ARTSIOM YAUTSIUKHIN (Persona)
• CHARLES MORISSET (Persona)
• FRANCESCO ROPERTI (Persona)
• Said Daoudagh (Persona)
• DANIELE SGANDURRA (Persona)
• GABRIELE COSTA (Unità di personale esterno)
• LEANID KRAUTSEVICH (Unità di personale esterno)
• LUCA WIEGAND (Unità di personale esterno)
• http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID23447
• ROBERTO GORRIERI (Unità di personale esterno)
• ALESSANDRO CASTRUCCI (Unità di personale esterno)
• VINCENZO CIANCIA (Unità di personale esterno)
• ANDREA SARACINO (Persona)
• PAOLO MORI (Persona)
• Gaetano Francesco Anastasi (Persona)
• ILARIA MATTEUCCI (Unità di personale interno)
• MAURIZIO COLOMBO (Persona)
• FRANCESCA LONETTI (Unità di personale interno)
• PATRIZIO DAZZI (Persona)
• VINCENZO CIANCIA (Unità di personale interno)
• http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID6575
• http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID6585

Ha pubblicazioni con

• CRISTIAN LUCCHESI (Persona)
• PAOLO MORI (Unità di personale interno)
• ARIANNA DEL SOLDATO (Persona)
• PATRIZIA ANDRONICO (Persona)
• PAOLO CASELLA (Unità di personale interno)
• ANNA VACCARELLI (Unità di personale interno)
• MARINELLA PETROCCHI (Unità di personale interno)
• GIUSEPPE VASARELLI (Unità di personale interno)
• STEFANO BISTARELLI (Persona)
• FRANCESCO SANTINI (Persona)
• ILARIA MATTEUCCI (Persona)
• ALESSANDRO FALLENI (Persona)
• ALESSANDRO CASTRUCCI (Unità di personale esterno)

Partecipazione di

• Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di DOTT.SSA FABIO MARTINELLI nell'anno 2007 (Partecipazione a commessa)
• Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di DOTT.SSA FABIO MARTINELLI nell'anno 2006 (Partecipazione a commessa)
• Partecipazione a Commessa "Trustworthy and Secure Future Internet" (INT.P01.007) di DOTT.SSA FABIO MARTINELLI nell'anno 2008 (Partecipazione a commessa)

Gestore

• Trusted and mobile systems (INT.P01.007.004) (Modulo)

Rapporto con persona

• Rapporto con CNR di DOTT.SSA FABIO MARTINELLI (Rapporto con CNR)