Marinella Petrocchi

Angelo Spognardi

Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

Using Incentives to Analyze Social Web Services' Behaviors.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2014 Workshops, 2014

Improved Automatic Maturity Assessment of Wikipedia Medical Articles - (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

A Criticism to Society (As Seen by Twitter Analytics).

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014

Maturity Assessment of Wikipedia Medical Articles.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

An Expertise-Driven Authoring Tool for E-Health Data Policies.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Cryptofraglets Reloaded - Bioinspired Security Modeling of a RFID Protocol and Properties.

[BibT_eX]

[DOI]

Angelo Spognardi

Paolo Santi

Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data.

[BibT_eX]

[DOI]

Proceedings of the Privacy Technologies and Policy - Second Annual Privacy Forum, 2014

Reputation-Based Composition of Social Web Services.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

Definition of Data Sharing Agreements - The Case of Spanish Data Protection Law.

[BibT_eX]

[DOI]

Proceedings of the Accountability and Security in the Cloud, 2014

2013

Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Trust, 2013

Combining declarative and procedural views in the specification and analysis of product families.

[BibT_eX]

[DOI]

Alberto Lluch-Lafuente

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

PERSONA - A Personalized Data Protection Framework.

[BibT_eX]

[DOI]

Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

A prototype for solving conflicts in XACML-based e-Health policies.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012

Towards an executable algebra for product lines.

[BibT_eX]

[DOI]

Stefania Gnesi

Proceedings of the 16th International Software Product Line Conference, 2012

Subjective review-based reputation.

[BibT_eX]

[DOI]

Gianpiero Costantino

Charles Morisset

Proceedings of the ACM Symposium on Applied Computing, 2012

A tool for the synthesis of cryptographic orchestrators.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Security Workshop, 2012

A Multi-criteria-Based Evaluation of Android Applications.

[BibT_eX]

[DOI]

Proceedings of the Trusted Systems, 4th International Conference, 2012

Prioritized Execution of Privacy Policies.

[BibT_eX]

[DOI]

Ilaria Matteucci

Paolo Mori

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012

Priorities-Based Review Computation.

[BibT_eX]

[DOI]

Gianpiero Costantino

Proceedings of the Intelligent Web Services Meet Social Computing, 2012

A Formal Support for Collaborative Data Sharing.

[BibT_eX]

[DOI]

Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

2011

Controlled data sharing in E-health.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Socio-Technical Aspects in Security and Trust, 2011

A Design Phase for Data Sharing Agreements.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

2010

Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks.

[BibT_eX]

[DOI]

Comput. Commun., 2010

CNL4DSA: a controlled natural language for data sharing agreements.

[BibT_eX]

[DOI]

Ilaria Matteucci

Marco Luca Sbodio

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

Executable Specification of Cryptofraglets in Maude for Security Verification.

[BibT_eX]

[DOI]

Proceedings of the Bioinspired Models of Network, Information, and Computing Systems, 2009

2008

Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks.

[BibT_eX]

[DOI]

Roberto Gorrieri

J. Autom. Reason., 2008

Mobile Implementation and Formal Verification of an e-Voting System.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Signed and Weighted Trust Credentials in Fraglets.

[BibT_eX]

[DOI]

Proceedings of the 3rd International ICST Conference on Bio-Inspired Models of Network, 2008

2007

Formal Modelling and Verification in Service-Oriented Computing.

[BibT_eX]

[DOI]

ERCIM News, 2007

Fine Grained Access Control with Trust and Reputation Management for Globus.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Access Control Mechanisms for Fraglets.

[BibT_eX]

[DOI]

Proceedings of the 2nd International ICST Conference on Bio-Inspired Models of Network, 2007

Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks.

[BibT_eX]

[DOI]

Corrado Moiso

Proceedings of the Third Advanced International Conference on Telecommunications (AICT 2007), 2007

2006

Formal analysis of some secure procedures for certificate delivery.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2006

A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols.

[BibT_eX]

[DOI]

Gabriele Lenzini

J. Autom. Lang. Comb., 2006

A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS.

[BibT_eX]

[DOI]

Proceedings of the First Workshop in Information and Computer Security, 2006

On Relating and Integrating Two Trust Management Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Crypto-fraglets: networking, biology and security.

[BibT_eX]

[DOI]

Proceedings of the 1st International ICST Conference on Bio Inspired Models of Network, 2006

2005

Aspects of modeling and verifying secure procedures.

[BibT_eX]

[DOI]

PhD thesis, 2005

A Formalization of Credit and Responsibility Within the GNDC Schema.

[BibT_eX]

[DOI]

Roberto Gorrieri

Proceedings of the First International Workshop on Security and Trust Management, 2005

SEAS, a secure e-voting protocol: Design and implementation.

[BibT_eX]

[DOI]

Comput. Secur., 2005

2004

Modelling a Secure Agent with Team Automata.

[BibT_eX]

[DOI]

Lavinia Egidi

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

Team Automata for Security: - A Survey -.

[BibT_eX]

[DOI]

Gabriele Lenzini

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

Local Management of Credits and Debits in Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the Communications and Multimedia Security, 2004

2003

Authenticity in a Reliable Protocol for Mobile Computing.

[BibT_eX]

[DOI]

Nicoletta De Francesco

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

SEAS: A Secure E-Voting Applet System.

[BibT_eX]

[DOI]

Proceedings of the Software Security, 2003

Compositional Verification of Secure Streamed Data: A Case Study with EMSS.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Compositional Verification of Integrity for Digital Stream Signature Protocols.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Automated Analysis of Some Security Mechanisms of SCEP.

[BibT_eX]

[DOI]