http://www.cnr.it/ontology/cnr/individuo/modulo/ID2254
Sicurezza dell'informazione (INT.P01.007.001)
- Type
- Label
- Sicurezza dell'informazione (INT.P01.007.001) (literal)
- Prodotto
- Process algebraic frameworks for the specification and analysis of cryptographic protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- An Asymmetric Fingerprint Matching Algorithm for Java Card (Articolo in rivista) (Prodotto della ricerca)
- Finding partitions of arguments with Dung's properties via SCSPs (Contributo in atti di convegno) (Prodotto della ricerca)
- Quantitative Evaluation of Enforcement Strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Extending the Globus architecture with Role-Based Trust Management (Contributo in atti di convegno) (Prodotto della ricerca)
- Soft constraint based pattern mining (Articolo in rivista) (Prodotto della ricerca)
- Uncertainty in Bipolar Preference Problems (Articolo in rivista) (Prodotto della ricerca)
- Constraint Symmetry for the Soft CSP (Articolo in rivista) (Prodotto della ricerca)
- Soft Constraint Programming to Analysing Security Protocol (Articolo in rivista) (Prodotto della ricerca)
- Modelling and solving bipolar preference problems (Articolo in rivista) (Prodotto della ricerca)
- Coalitions of Arguments: An Approach with Constraint Programming (Articolo in rivista) (Prodotto della ricerca)
- Fine Grained Access Control with Trust and Reputation Management for Globus (Articolo in rivista) (Prodotto della ricerca)
- 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) (Prodotto della ricerca)
- Testing of PolPA Authorization Systems (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)
- A framework for the modeling and synthesis of security automata based on process algebras (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- 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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- A formal support for collaborative data sharing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Asymmetric Fingerprint Matching Algorithm for Java Card (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- Risk-Based Security Decisions Under Uncertainty (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling Multicast Qos Routing by using Best-Tree Search in AND-OR Graphs and Soft Constraint Logic Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A First Comparison of Abstract Argumentation Systems: A Computational Perspective (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Enhancing constraints manipulation in semiring-based formalisms (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Optimization Approach using Soft Constraints for the Cascade Vulnerability Problem (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Propagating multitrust within trust networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario (Articolo in rivista) (Prodotto della ricerca)
- A Formal and Practical Framework for Constraint-Based Routing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modeling and Selecting Countermeasures using CP-nets and Answer Set Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Timed Soft Concurrent Constraint Programs (Articolo in rivista) (Prodotto della ricerca)
- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree (Articolo in rivista) (Prodotto della ricerca)
- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Articolo in rivista) (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)
- The Node Spatial Distribution of the Generalized Random Waypoint Mobility Model for Wireless Ad Hoc Networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- A first comparison of abstract argumentation systems: A computational perspective (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) (Prodotto della ricerca)
- Biometrics authentication with smartcard (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Certificati per impronte digitali memorizzati su smartcard (Rapporti tecnici/preprint/working paper) (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)
- MOC via TOC Using a Mobile Agent Framework (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)
- Usage Control in Cloud Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Strategic games on defense trees (Contributo in atti di convegno) (Prodotto della ricerca)
- Augmented Risk Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Metric-Aware Secure Service Orchestration (Contributo in atti di convegno) (Prodotto della ricerca)
- Uncertainty in Bipolar Preference Problems (Articolo in rivista) (Prodotto della ricerca)
- Towards Continuous Usage Control on Grid Computational Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Theoretical foundations of security analysis and design II. Preface (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)
- Interchangeability with thresholds and degradation factors for Soft CSPs (Articolo in rivista) (Prodotto della ricerca)
- Contributions of team automata in security (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Enforcing Private Policy via Security-by-Contract (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of adaptive attacker models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Poster convegno ESORICS 2012 (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Team automata for security -- a survey (Articolo in rivista) (Prodotto della ricerca)
- Preface (Articolo in rivista) (Prodotto della ricerca)
- Closing the loop of SIEM analysis to Secure Critical Infrastructures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Soft Concurrent Constraint Programming (Articolo in rivista) (Prodotto della ricerca)
- Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (Articolo in rivista) (Prodotto della ricerca)
- A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Soft Constraints for Quality Aspects in Service Oriented Architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Classification of security properties - Part II : network security (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Soft Constraints for Security (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)
- General Properties and Termination Conditions for Soft Constraint Propagation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Retaliation Against Protocol Attacks (Articolo in rivista) (Prodotto della ricerca)
- Augmented Risk Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Fairness as a QoS Measure for Web Services (Articolo in rivista) (Prodotto della ricerca)
- A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- SignIT (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Time-continuous Authorization of Network Resources based on Usage Control (Contributo in atti di convegno) (Prodotto della ricerca)
- Deduction and Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration (Contributo in atti di convegno) (Prodotto della ricerca)
- Retaliation: Can We Live with Flaws? (Contributo in atti di convegno) (Prodotto della ricerca)
- Using CP-nets as a guide for countermeasure selection (Contributo in atti di convegno) (Prodotto della ricerca)
- Seconda fase di sperimentazione delluso dei certificati digitali nel registro del ccTLD .it (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- An Expertise-driven Authoring Tool of Privacy Policies for e-Health (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Bipolar preference problems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Defense trees for economic evaluation of security investments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- MOC via TOC using a Mobile Agent framework (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Soft Constraints for Security (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- SCLP for Trust Propagation in Small-World Networks (Articolo in rivista) (Prodotto della ricerca)
- Security Protocol Deployment Risk (Articolo in rivista) (Prodotto della ricerca)
- Designing a Nonmonotonic Soft Concurrent Constraint Language for SLA Management (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- OpenCA: le nuove funzionalità (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- 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)
- Codice
- INT.P01.007.001 (literal)
- Anno di chiusura previsto
- 2017-01-01T00:00:00+01:00 (literal)
- Istituto esecutore
- Primo anno di attività
- 2005-01-01T00:00:00+01:00 (literal)
- Abstract
- L'attività riguarda la definizione di metodologie e strumenti concernenti la sicurezza dell'informazione e delle comunicazioni nella information and communication technology (ICT). La varietà e dinamicità della topologia della rete Internet rende necessari meccanismi di sicurezza che siano flessibili; la sua natura distribuita pone la necessità di definire meccanismi per formare e gestire le relazioni di fiducia fra le varie entità coinvolte. Con le reti pervasive e mobili, l'accesso ai servizi della rete stessa può dipendere anche dal contesto in cui la richiesta è effettuata, cioè dalla locazione del richiedente. Questi fattori rendono potenzialmente più vulnerabile la rete, e quindi è più urgente la protezione di tutte le sue componenti, ma è anche più complessa la gestione dei meccanismi e delle procedure di protezione. (literal)
- Nome
- Sicurezza dell'informazione (literal)
- Descrizione
- Modulo di
- Gestore
Incoming links:
- Prodotto di
- An Asymmetric Fingerprint Matching Algorithm for Java Card (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- Modelling Multicast Qos Routing by using Best-Tree Search in AND-OR Graphs and Soft Constraint Logic Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Enhancing constraints manipulation in semiring-based formalisms (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Optimization Approach using Soft Constraints for the Cascade Vulnerability Problem (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Propagating multitrust within trust networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Formal and Practical Framework for Constraint-Based Routing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modeling and Selecting Countermeasures using CP-nets and Answer Set Programming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- MOC via TOC Using a Mobile Agent Framework (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)
- Strategic games on defense trees (Contributo in atti di convegno) (Prodotto della ricerca)
- Augmented Risk Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration (Contributo in atti di convegno) (Prodotto della ricerca)
- Retaliation: Can We Live with Flaws? (Contributo in atti di convegno) (Prodotto della ricerca)
- Using CP-nets as a guide for countermeasure selection (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)
- Deduction and Abduction with Soft Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- Soft Constraint Programming to Analysing Security Protocol (Articolo in rivista) (Prodotto della ricerca)
- Fine Grained Access Control with Trust and Reputation Management for Globus (Articolo in rivista) (Prodotto della ricerca)
- Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario (Articolo in rivista) (Prodotto della ricerca)
- Timed Soft Concurrent Constraint Programs (Articolo in rivista) (Prodotto della ricerca)
- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree (Articolo in rivista) (Prodotto della ricerca)
- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Articolo in rivista) (Prodotto della ricerca)
- Theoretical foundations of security analysis and design II. Preface (Articolo in rivista) (Prodotto della ricerca)
- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree (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) (Prodotto della ricerca)
- An Asymmetric Fingerprint Matching Algorithm for Java Card (Articolo in rivista) (Prodotto della ricerca)
- Extending the Globus architecture with Role-Based Trust Management (Contributo in atti di convegno) (Prodotto della ricerca)
- Soft constraint based pattern mining (Articolo in rivista) (Prodotto della ricerca)
- Uncertainty in Bipolar Preference Problems (Articolo in rivista) (Prodotto della ricerca)
- Constraint Symmetry for the Soft CSP (Articolo in rivista) (Prodotto della ricerca)
- Modelling and solving bipolar preference problems (Articolo in rivista) (Prodotto della ricerca)
- SCLP for Trust Propagation in Small-World Networks (Articolo in rivista) (Prodotto della ricerca)
- Security Protocol Deployment Risk (Articolo in rivista) (Prodotto della ricerca)
- General Properties and Termination Conditions for Soft Constraint Propagation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Augmented Risk Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Soft Constraints for Quality Aspects in Service Oriented Architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Team automata for security -- a survey (Articolo in rivista) (Prodotto della ricerca)
- Preface (Articolo in rivista) (Prodotto della ricerca)
- Soft Concurrent Constraint Programming (Articolo in rivista) (Prodotto della ricerca)
- Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (Articolo in rivista) (Prodotto della ricerca)
- Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Enforcing Private Policy via Security-by-Contract (Articolo in rivista) (Prodotto della ricerca)
- Classification of security properties - Part II : network security (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Soft Constraints for Security (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Retaliation Against Protocol Attacks (Articolo in rivista) (Prodotto della ricerca)
- Fairness as a QoS Measure for Web Services (Articolo in rivista) (Prodotto della ricerca)
- Towards Continuous Usage Control on Grid Computational Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Bipolar preference problems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Defense trees for economic evaluation of security investments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Soft Constraints for Security (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Formalization of the SCEP Protocol Enrolment Phase (Comunicazione a convegno) (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)
- The Node Spatial Distribution of the Generalized Random Waypoint Mobility Model for Wireless Ad Hoc Networks (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) (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) (Prodotto della ricerca)
- 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)
- 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) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- SignIT (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- MOC via TOC using a Mobile Agent framework (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (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)
- Designing a Nonmonotonic Soft Concurrent Constraint Language for SLA Management (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- OpenCA: le nuove funzionalità (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) (Prodotto della ricerca)
- Seconda fase di sperimentazione delluso dei certificati digitali nel registro del ccTLD .it (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- Biometrics authentication with smartcard (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Certificati per impronte digitali memorizzati su smartcard (Rapporti tecnici/preprint/working paper) (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)
- Uncertainty in Bipolar Preference Problems (Articolo in rivista) (Prodotto della ricerca)
- Contributions of team automata in security (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Finding partitions of arguments with Dung's properties via SCSPs (Contributo in atti di convegno) (Prodotto della ricerca)
- Usage Control in Cloud Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Metric-Aware Secure Service Orchestration (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)
- Risk-Based Security Decisions Under Uncertainty (Contributo in atti di convegno) (Prodotto della ricerca)
- Testing of PolPA Authorization Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Poster convegno ESORICS 2012 (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- 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)
- Interchangeability with thresholds and degradation factors for Soft CSPs (Articolo in rivista) (Prodotto della ricerca)
- Coalitions of Arguments: An Approach with Constraint Programming (Articolo in rivista) (Prodotto della ricerca)
- A First Comparison of Abstract Argumentation Systems: A Computational Perspective (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Quantitative Evaluation of Enforcement Strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Closing the loop of SIEM analysis to Secure Critical Infrastructures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluation of adaptive attacker models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A first comparison of abstract argumentation systems: A computational perspective (Contributo in atti di convegno) (Prodotto della ricerca)
- An Expertise-driven Authoring Tool of Privacy Policies for e-Health (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Implementation of Secure Two-Party Computation for Smartphones with Application to Privacy-Preserving Interest-Cast (Contributo in atti di convegno) (Prodotto della ricerca)
- Istituto esecutore di
- Modulo
- Gestore di
- Descrizione di