http://www.cnr.it/ontology/cnr/individuo/modulo/ID2828
Trusted and mobile systems (INT.P01.007.004)
- Type
- Label
- Trusted and mobile systems (INT.P01.007.004) (literal)
- Prodotto
- Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Prioritized execution of privacy policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A P2P REcommender system based on Gossip Overlays (PREGO) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards an Integrated Formal Analysis for Security and Trust (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Foundations of Security Analysis and Design III, FOSAD 2004/2005- Tutorial Lectures (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- A Distributed Authorization System with Mobile Usage Control Policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Expertise-driven Authoring Tool of Privacy Policies for e-Health (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (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)
- PTaCL: A Language for Attribute-Based Access Control in Open Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- 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)
- 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)
- Realizzazione di un applicazione per lincremento della sicurezza dei dispositivi mobili (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Flyer gruppo di ricerca \"Trustworthy and Secure Future Internet\" (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Poster NESSOS: Network of Excellence on Engineering Secure Future Internet Software Services and Systems (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Towards security analyses of an identity federation protocol for Web services in convergent networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Formal approach to security metrics. What does (Contributo in atti di convegno) (Prodotto della ricerca)
- Short Paper: Policy Driven Virtual Machine Monitor for Protected Grids (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)
- CNL4DSA: a controlled natural language for data sharing agreements (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)
- A Flexible Framework for Access Control Based on Ability Authentication. (Contributo in atti di convegno) (Prodotto della ricerca)
- Secure Service Orchestration in Open Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Weighted Datalog and Levels of Trust (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)
- An Implementation of Role-Base Trust Management Extended with Weights on Mobile Devices (Articolo in rivista) (Prodotto della ricerca)
- Controlling the Usage of Grid Services (Articolo in rivista) (Prodotto della ricerca)
- 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)
- A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Articolo in rivista) (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)
- Resource discovery support for time-critical adaptive applications (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)
- Cryptofraglets: networking, biology and security (Contributo in atti di convegno) (Prodotto della ricerca)
- Security-by-Contract-with-Trust for Mobile Devices (Articolo in rivista) (Prodotto della ricerca)
- 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)
- A proposal on enhancing XACML with continuous usage control features (Contributo in atti di convegno) (Prodotto della ricerca)
- Enhancing Java Security with History Based Access Control (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- 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)
- Trust-Driven Policy Enforcement through Gate Automata (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Elective Temporal Logic (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Security and Trust Management - 8th International Workshop, STM 2012 (Curatela) (Prodotto della ricerca)
- A Framework for Probabilistic Contract Compliance (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- 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)
- Towards Information Flow Properties for Distributed Systems (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)
- Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (Articolo in rivista) (Prodotto della ricerca)
- On Relating and Integrating Two Trust Management Frameworks (Articolo in rivista) (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)
- Relating multiset rewriting and process algebras for security protocol analysis (Articolo in rivista) (Prodotto della ricerca)
- Jalapa, securing Java with local policies: tool demonstration (Contributo in atti di convegno) (Prodotto della ricerca)
- Security and Trust Management for Virtual Organisations: GridTrust Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Through Modeling to Synthesis of Security Automata (Articolo in rivista) (Prodotto della ricerca)
- Applying generalized non deducibility on compositions (GNDC) approach in dependability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Extending security-by-contract with quantitative trust on mobile devices (Contributo in atti di convegno) (Prodotto della ricerca)
- A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily (Contributo in atti di convegno) (Prodotto della ricerca)
- Usage Control in Computer Security: A Survey (Articolo in rivista) (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)
- 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)
- 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)
- 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)
- 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)
- Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario (Contributo in atti di convegno) (Prodotto della ricerca)
- Symbolic partial model checking for security analysis (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)
- Unbounded impacts and risk mitigation in billing infrastructures (Articolo in rivista) (Prodotto della ricerca)
- Formal Aspects in Security and Trust, Third International Workshop, FAST 2005 (Curatela) (Prodotto della ricerca)
- On Conditions for Modular Verification in Systems of Synchronising Components (Contributo in atti di convegno) (Prodotto della ricerca)
- Analysis of the Enrollment Procedure of a Certification Authority with SecTool (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Introducing Probabilities in Controller Strategies (Contributo in atti di convegno) (Prodotto della ricerca)
- Improving Role-based Access to Android Applications with JCHR (Contributo in atti di convegno) (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)
- Formal techniques for security analysis in wireless systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- IMS Session Management Based on Usage Control (Contributo in atti di convegno) (Prodotto della ricerca)
- Influence of Attribute Freshness on Decision Making in 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)
- Formal analysis of security metrics and risk (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- An Approach for the Specification, Verification and Synthesis of Secure Systems (Articolo in rivista) (Prodotto della ricerca)
- Modelling a secure agent with team automata (Articolo in rivista) (Prodotto della ricerca)
- A Model for Usage Control in GRID Systems (Contributo in atti di convegno) (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)
- TEC MOB Analisi preliminari: Information Technology (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Automated synthesis and ranking of secure BPMN orchestrators (Articolo in rivista) (Prodotto della ricerca)
- Maturity assessment of Wikipedia medical articles (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)
- Enabling Data Sharing in the Cloud (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (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)
- Maturity assessment of Wikipedia medical articles (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- 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)
- Towards Modelling Adaptive Attacker's Behaviour (Contributo in atti di convegno) (Prodotto della ricerca)
- Subjective Review-based Reputation (Contributo in atti di convegno) (Prodotto della ricerca)
- How to Grant Less Permissions to Facebook Applications (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)
- Preserving Security Properties under Refinement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Lazy Security Controllers (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Controlled Data Sharing in e-Health (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Engineering Secure Future Internet Services (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Design Phase for Data Sharing Agreements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- 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)
- Improved maturity assessment of Wikipedia medical articles (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)
- 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)
- A Simulation-Driven Approach for Assessing Risks of Complex Systems (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)
- 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)
- Usage control in SIP-based multimedia delivery (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Priorities-based Review Computation (Contributo in atti di convegno) (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)
- 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)
- Addressing privacy issues in location-based collaborative and distributed environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Client-Aware Reputation System for e-Services (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A Statistical Analysis of the Long-Run Node Spatial Distribution in Mobile Ad Hoc Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A Lot of Slots - Outliers Confinement in Review-Based Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Obfuscation-Based Approach against Injection Attacks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards Enforcing On-The-Fly Policies in BYOD Environments (Contributo in atti di convegno) (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)
- Risk-based Auto Delegation for Probabilistic Availability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Remote Policy Enforcement for Trusted Application Execution in Mobile Environments (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)
- PERSONA - A Personalized Data Protection Framework (Contributo in atti di convegno) (Prodotto della ricerca)
- Introducing probabilities in contract-based approaches for mobile application security (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)
- 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)
- Multi-dimensional Secure Service Orchestration (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Prototype for Solving Conflicts in XACML-based e-Health Policies (Contributo in atti di convegno) (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)
- A collaborative framework for generating probabilistic contracts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Preserving Data Privacy in eHealth (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Application Security for Mobile Devices (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Definition of Data Sharing Agreements (The case of Spanish Data Protection Law) (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Mobile underwater sensor networks for protection and security: field experience at the UAN11 experiment (Articolo in rivista) (Prodotto della ricerca)
- A survey on security for mobile devices (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A Criticism to Society (as seen by Twitter analytics) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Flyer gruppo di ricerca \"Web Applications for Future Internet\" (Curatela) (Prodotto della ricerca)
- Quantitative access control with partially observable Markov sdecision process (Rapporti tecnici/preprint/working paper) (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)
- Analysis of Data Sharing Agreements: Automated verification and WS implementation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- 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)
- Synthesis of Web Services Orchestrators in a Timed Setting (Contributo in atti di convegno) (Prodotto della ricerca)
- From Marriages to Coalitions: A Soft CSP Approach (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Trust Management: 4th International Conference, ITrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings (Curatela) (Prodotto della ricerca)
- Proceedings of Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. (Curatela) (Prodotto della ricerca)
- Cost-effective enforcement of UCON policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Monograph: Identity and Privacy Management (Articolo in rivista) (Prodotto della ricerca)
- Parametric Attack Graph Construction and Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Synthesis of secure adaptors (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Using Incentives to Analyze Social Web Services' Behaviors (Contributo in atti di convegno) (Prodotto della ricerca)
- Log-based Lazy Monitoring of OSGi Bundles (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)
- Enhancing Grid Security by Fine-Grained Behavioural Control and Negotiation-Based Authorization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Stateful Usage Control for Android Mobile Devices (Contributo in atti di convegno) (Prodotto della ricerca)
- A Framework for Automated and Certified Refinement Steps (Articolo in rivista) (Prodotto della ricerca)
- Secure service orchestration in open networks (Articolo in rivista) (Prodotto della ricerca)
- Privacy-Preserving Interest-Casting in Opportunistic Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Process algebraic frameworks for the specification and ana lysis of cryptographic protocols (Articolo in rivista) (Prodotto della ricerca)
- Privacy-Preserving Opportunistic Networking (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Reputation-based composition of social web services (Contributo in atti di convegno) (Prodotto della ricerca)
- Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols (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)
- A Multi-Criteria-based Evaluation of Android Applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Architecture, Workflows, and Prototype for Stateful Data Usage Control in Cloud (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)
- Enforcing UCON Policies on the Enterprise Service Bus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Risk-Aware Usage Decision Making in Highly Dynamic Systems (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)
- Idea: Action Refinement for Security Properties Enforcement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Executable specification of Cryptofraglets in Maude for security verification (Contributo in atti di convegno) (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)
- Controlling Usage in Business Process Workflows through Fine-Grained Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
- 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)
- Lazy Monitoring for Distributed Computing Environments (Contributo in atti di convegno) (Prodotto della ricerca)
- Access control mechanisms for fraglets (Contributo in atti di convegno) (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)
- A Survey on Security for Mobile Devices (Articolo in rivista) (Prodotto della ricerca)
- A Quantitative Approach for Inexact Enforcement of Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
- Gate automata-driven run-time enforcement (Articolo in rivista) (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)
- Local management of credits and debits in mobile ad hoc networks. (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)
- Detection of repackaged mobile applications through a collaborative approach (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)
- Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties (Contributo in atti di convegno) (Prodotto della ricerca)
- Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014) (Contributo in atti di convegno) (Prodotto della ricerca)
- On the Synthesis of Secure Services Composition (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- MADAM: A Multi-Level Anomaly Detector for Android Malware (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)
- Runtime monitoring for next generation Java ME platform (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)
- 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 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)
- Formal analysis of some secure procedures for certificate delivery (Articolo in rivista) (Prodotto della ricerca)
- Codice
- INT.P01.007.004 (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
- Il modulo consiste in attività di ricerca e sviluppo su architetture, modelli, tecnologie e meccanismi di sicurezza nelle Information and Communication Technologies (ICT). Nell'ambito della commessa, in questo modulo, viene dato particolare rilevo allo studio ed implementazione di meccanismi per la gestione dell'affidabilità e della cooperazione in comunità virtuali, mobili e dinamiche.
Nel modulo si studiano e si sviluppano sia metodologie d'analisi e verifica del livello di sicurezza ed affidabilità dei sistemi ed applicazioni (con relativi strumenti software di supporto) che meccanismi di sicurezza e controllo accessi ed uso per sistemi mobili e distribuiti (e.g., GRID/web services e Mobile ad Hoc Networks). Questa linea di ricerca usa un approccio rigoroso allo sviluppo dei meccanismi di protezione per infrastrutture (informatiche) critiche. La linea è anche supportata da vari progetti di ricerca europei. (literal)
- Nome
- Trusted and mobile systems (literal)
- Descrizione
- Modulo di
- Gestore
Incoming links:
- Prodotto di
- 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)
- 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)
- A Flexible Framework for Access Control Based on Ability Authentication. (Contributo in atti di convegno) (Prodotto della ricerca)
- Short Paper: Policy Driven Virtual Machine Monitor for Protected Grids (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario (Contributo in atti di convegno) (Prodotto della ricerca)
- 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)
- Jalapa, securing Java with local policies: tool demonstration (Contributo in atti di convegno) (Prodotto della ricerca)
- Security and Trust Management for Virtual Organisations: GridTrust Approach (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)
- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Contributo in atti di convegno) (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)
- 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)
- Enforcing UCON Policies on the Enterprise Service Bus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- 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)
- 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)
- 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)
- A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Articolo in rivista) (Prodotto della ricerca)
- An Implementation of Role-Base Trust Management Extended with Weights on Mobile Devices (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)
- 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)
- Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (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)
- Modelling a secure agent with team automata (Articolo in rivista) (Prodotto della ricerca)
- 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)
- A Formalization of Credit and Responsibility Within the GNDC Schema (Contributo in atti di convegno) (Prodotto della ricerca)
- Cryptofraglets: networking, biology and security (Contributo in atti di convegno) (Prodotto della ricerca)
- Automated analysis of some security mechanisms of SCEP (Contributo in atti di convegno) (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)
- CNL4DSA: a controlled natural language for data sharing agreements (Contributo in atti di convegno) (Prodotto della ricerca)
- Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach (Contributo in atti di convegno) (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)
- 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)
- Realizzazione di un applicazione per lincremento della sicurezza dei dispositivi mobili (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: 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)
- 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)
- From Marriages to Coalitions: A Soft CSP Approach (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)
- TEC MOB Analisi preliminari: Information Technology (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)
- Resource discovery support for time-critical adaptive applications (Contributo in atti di convegno) (Prodotto della ricerca)
- A Statistical Analysis of the Long-Run Node Spatial Distribution in Mobile Ad Hoc Networks (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)
- Towards security analyses of an identity federation protocol for Web services in convergent networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Security-by-Contract-with-Trust for Mobile Devices (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)
- A Simulation-Driven Approach for Assessing Risks of Complex Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Design Phase for Data Sharing Agreements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- Controlled Data Sharing in e-Health (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)
- Flyer gruppo di ricerca \"Web Applications for Future Internet\" (Curatela) (Prodotto della ricerca)
- A P2P REcommender system based on Gossip Overlays (PREGO) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- Unbounded impacts and risk mitigation in billing infrastructures (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)
- Flyer gruppo di ricerca \"Trustworthy and Secure Future Internet\" (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Poster NESSOS: Network of Excellence on Engineering Secure Future Internet Software Services and Systems (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- A Distributed Authorization System with Mobile Usage Control Policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Trust-Driven Policy Enforcement through Gate Automata (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Elective Temporal Logic (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)
- Lazy Security Controllers (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Risk-based Auto Delegation for Probabilistic Availability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Obfuscation-Based Approach against Injection Attacks (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)
- On Conditions for Modular Verification in Systems of Synchronising Components (Contributo in atti di convegno) (Prodotto della ricerca)
- Privacy-Preserving Interest-Casting in Opportunistic Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Log-based Lazy Monitoring of OSGi Bundles (Contributo in atti di convegno) (Prodotto della ricerca)
- Parametric Attack Graph Construction and Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
- Synthesis of secure adaptors (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Priorities-based Review Computation (Contributo in atti di convegno) (Prodotto della ricerca)
- Subjective Review-based Reputation (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards Modelling Adaptive Attacker's Behaviour (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)
- A Framework for Automated and Certified Refinement Steps (Articolo in rivista) (Prodotto della ricerca)
- MADAM: A Multi-Level Anomaly Detector for Android Malware (Contributo in atti di convegno) (Prodotto della ricerca)
- PTaCL: A Language for Attribute-Based Access Control in Open Systems (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)
- 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)
- Enabling Data Sharing in the Cloud (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (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)
- Gate automata-driven run-time enforcement (Articolo in rivista) (Prodotto della ricerca)
- Lazy Monitoring for Distributed Computing Environments (Contributo in atti di convegno) (Prodotto della ricerca)
- Prioritized execution of privacy policies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Quantitative Access Control with Partially-Observable Markov Decision Processes (Contributo 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)
- 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)
- PERSONA - A Personalized Data Protection Framework (Contributo in atti di convegno) (Prodotto della ricerca)
- 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)
- Mobile underwater sensor networks for protection and security: field experience at the UAN11 experiment (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)
- A Prototype for Solving Conflicts in XACML-based e-Health Policies (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)
- Security and Trust Management - 8th International Workshop, STM 2012 (Curatela) (Prodotto della ricerca)
- A Framework for Probabilistic Contract Compliance (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (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)
- Introducing Probabilities in Controller Strategies (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)
- 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)
- A Criticism to Society (as seen by Twitter analytics) (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)
- Automated synthesis and ranking of secure BPMN orchestrators (Articolo in rivista) (Prodotto della ricerca)
- Addressing privacy issues in location-based collaborative and distributed environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- 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)
- Improved maturity assessment of Wikipedia medical articles (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)
- Definition of Data Sharing Agreements (The case of Spanish Data Protection Law) (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Preserving Data Privacy in eHealth (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- A Lot of Slots - Outliers Confinement in Review-Based Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Maturity assessment of Wikipedia medical articles (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- 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)
- Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014) (Contributo in atti di convegno) (Prodotto della ricerca)
- Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties (Contributo in atti di convegno) (Prodotto della ricerca)
- An Expertise-driven Authoring Tool of Privacy Policies for e-Health (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Cryptofraglets Reloaded: Bioinspired modelling and analysis of a RFID protocol and properties (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Maturity assessment of Wikipedia medical articles (Contributo in atti di convegno) (Prodotto della ricerca)
- Istituto esecutore di
- Modulo
- Gestore di
- Descrizione di