• Enabling Data Sharing in the Cloud. Marco Casassa Mont, Ilaria Matteucci, Marinella Petrocchi, and Marco Luca Sbodio. Tech. Rep. HP Labs. HPL-2012-22 HP-Link.
• Priorities-based Review Computation. Gianpiero Costantino, Fabio Martinelli, and Marinella Petrocchi. AAAI Spring Symposia, 2012. IIT-Link.
• Subjective Review-based Reputation. Gianpiero Costantino, Charles Morisset, and Marinella Petrocchi. ACM Symposium of Applied Computing -- Treck Track, 2012. IIT-Link.

• A Design Phase for Data Sharing Agreements. Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, and Luca Wiegand. In Proc. of Workshop on Data Privacy Management DPM'11, LNCS 7122, IIT-Link.
• Controlled Data Sharing in e-Health. Ilaria Matteucci, Paolo Mori, Marinella Petrocchi, and Luca Wiegand. In Proc. of IEEE STAST 2011, 1st Workshop on Socio-Technical Aspects in Security and Trust. IIT-Link.

• Context-aware Analysis of Data Sharing Agreements. Maurizio Colombo, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi. In Proc. of 2010 Third International Conference on Advances in Human-Oriented and Personalized Mechanisms, Technologies and Services (CENTRIC). ISBN: 978-1-4244-7778-4. pages 99-104. IEEE-Link. IIT-Link.
• CNL4DSA: a Controlled Natural Language for Data Sharing Agreements. Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio. SAC 2010, Track: Privacy on the Web. ACM, 2010. (IIT-Link).
• Fast Certificate-based Authentication Scheme in Multi-operator maintained Wireless Mesh Networks. Levente Butty\'{a}n, L\'{a}szl\'{o} D\'{o}ra, Fabio Martinelli, Marinella Petrocchi. Computer Communications. To appear, Elsevier, 2010. (Elsevier-Link).
• Trust Management for Grid Systems With B. Aziz, A. Arenas, F.Martinelli, P. Mori and M. Wilson. Book Chapter in "Trust Modeling and Management in Digital Environments". (IGI-Global-Link). DOI: 10.4018/978-1-61520-682-7. ISBN: 9781615206827. IGI Global, 2010.
• Executable specification of Cryptofraglets in Maude for security verification. With F.Martinelli. LNICST 39. 4th International Conference on Bio inspired Models of Network, Information and Computing Systems (IIT-Link). Springer, 2009.

• Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. With R. Gorrieri and F.Martinelli. Journal of Automated Reasoning. Volume 41, Issue 3, p. 325-364. Springer, 2008. (SpringerLink).
• Signed and Weighted Trust Credentials in Fraglets. With F.Martinelli. 3rd International Conference on Bio inspired Models of Network, Information and Computing Systems (BIONETICS 2008). ICST, 2008.
• Mobile implementation and formal verification of an e-voting system. With S.Campedelli, A.Falleni, F.Martinelli, A.Vaccarelli. Third International Conference on Internet and Web Applications and Services (ICIW 2008). IEEE, 2008.
• Formal Techniques for Security Analysis in Wireless Systems. With F.Martinelli. Book Chapter in: S. Gritzalis, T. Karygiannis, C. Skianis, (Eds), "Security and Privacy in Wireless and Mobile Networking", 2008, Leicester, UK, Troubador Publishing.

• Access control mechanisms for fraglets. With Fabio Martinelli. 2nd International Conference on Bio inspired Models of Network, Information and Computing Systems (BIONETICS 2007). ICST, 2007.
• Fine grained access control with trust and reputation management for Globus. With M. Colombo, F. Martinelli, P. Mori, A. Vaccarelli. GADA'07. LNCS 4804, 2007.
• Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario. With Maurice ter Beek and Corrado Moiso. YR-SOC 2007. Pages 94--100, 2007.
• Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. With Maurice ter Beek and Corrado Moiso. AICT 2007. ISBN: 0-7695-2843-0, IEEE, 2007.
• On Relating and Integrating Two Trust Management Frameworks . With Fabio Martinelli. 2nd International Workshop on Views On Designing Complex Architectures. (VODCA 2006). ENTCS, Volume 168, Pages 191--205, 2007.
• A uniform framework for security and trust modeling and analysis with Crypto-CCS. With Fabio Martinelli. 1st International Workshop on Information and Computer Security. (ICS 2006). ENTCS 186: 85-99, 2007.

• Crypto-fraglets. 1st International Conference on Bio inspired Models of Network, Information and Computing Systems (BIONETICS 2006). ISBN: 1-4244-0539-4. IEEE, 2006.
• A team automaton scenario for the analysis of security properties in communication protocols. With Maurice ter Beek and Gabriele Lenzini. Journal of Automata, Languages and Combinatorics (JALC). Issue 4, Vol. 11, 2006.
• A formalization of credit and responsibility within the GNDC schema. With Roberto Gorrieri and Fabio Martinelli. First Workshop on Security e Trust Management (STM'05). ENTCS, Vol. 157, Issue 3, pag. 61--78, 2006.
• Formal analysis of some secure procedures for certificate delivery. With Fabio Martinelli and Anna Vaccarelli. Software, Testing, Verification and Reliability (STVR). 16(1):33-59. Wiley and Co., 2006.
• SEAS, a secure e-voting protocol: design and implementation. With F. Baiardi, A. Falleni, R. Granchi, F. Martinelli and A. Vaccarelli. Computers and Security. 24(8): 642-652. Elsevier, 2005.
• Aspects of modeling and verifying secure procedures. Ph.D. Thesis. Information Engineering Dept. University of Pisa, Italy. May, 2005. Technical Report TR-24/2005, IIT-CNR.
• Contributions of Team Automata in Security. With Maurice ter Beek and Gabriele Lenzini. ERCIM News No. 63. 2005.

• Modelling a secure agent with team automata. With Lavinia Egidi. 1st International Workshop on Views On Designing Complex Architectures. (VODCA 2004). ENTCS, Vol. 142, pag. 111--127, 2006. Also, Technical Report, TR-INF-2004-07-08-UNIPMN. Università del Piemonte Orientale.
• Team automata for security -- a survey. With Maurice ter Beek and Gabriele Lenzini. 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems. (SecCo'04). ENTCS, Vol. 128, Iss. 5, pag. 105--119, 2005. Also, Technical Report TR-06-2004, IIT-CNR.
• A framework for security analysis with team automata. With Maurice ter Beek and Gabriele Lenzini. Technical Report TR-CTIT-04-13, University of Twente. Presented at DIMACS Workshop on Security Analysis of Protocols.
• Local management of credits and debits in mobile ad hoc networks. With Fabio Martinelli and Anna Vaccarelli. 8th IFIP Communication and Multimedia Security Conference. (CMS'04), pag. 31--45, Springer, 2005. Informally presented at 2nd UK-Ubinet Workshop.
• A formalization of credit and responsibility. With Roberto Gorrieri and Fabio Martinelli. International Workshop on Security Analysis of Systems. (SASYFT'04). Technical Report LIFO 11-2004.
• SEAS: a Secure E-voting Applet System. With F. Baiardi, A. Falleni, R. Granchi, F. Martinelli and A. Vaccarelli. 2nd International Symposium on Software Security. (ISSS'03). LNCS 3233, Post Proceedings, October 2004.

• Formal analysis of some timed security properties in wireless protocols. With Roberto Gorrieri, Fabio Martinelli and Anna Vaccarelli. 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03). LNCS 2884.
• Compositional verification of secure streamed data: a case study with EMSS. With Fabio Martinelli and Anna Vaccarelli. 8th Italian Conference on Theoretical Computer Science (ICTCS'03). LNCS 2841. Extended version of: Analysing EMSS with compositional proof rules for non-interference. With Fabio Martinelli and Anna Vaccarelli. 3rd Workshop on Issues in the Theory of Security (WITS'03).
• Team automata for security analysis of multicast/broadcast communication. With Maurice ter Beek and Gabriele Lenzini. 1st Workshop on Issues in Security and Petri nets. (WISP'03).
• Compositional verification of integrity for digital stream signature protocols. With Roberto Gorrieri, Fabio Martinelli and Anna Vaccarelli. 3rd IEEE International Conference on Application of Concurrency to System Design (ACSD'03).
• Authenticity in a reliable protocol for mobile computing. With Nicoletta De Francesco. 18th ACM Symposium on Applied Computing (SAC'03).
• Automated analysis of some security mechanisms of SCEP. With Fabio Martinelli and Anna Vaccarelli. 5th Information Security Conference (ISC'02). LNCS 2433 .
• A formalization of the SCEP protocol enrolment phase. 1st Ph.D. Student Workshop, co-located with FMOODS'02 .

- The perfect prisoner and the perfect jailer are interchangeable -- The Tulse Luper Suitcases (2003 by Peter Greenaway).

Back to Marinella's home page