- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c19 |      | Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Luca Wiegand: A Formal Support for Collaborative Data Sharing. CD-ARES 2012: 547-561 |
| c18 | | Ilaria Matteucci, Paolo Mori, Marinella Petrocchi: Prioritized Execution of Privacy Policies. DPM/SETOP 2012: 133-145 |
| c17 | | Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra: A Multi-criteria-Based Evaluation of Android Applications. INTRUST 2012: 67-82 |
| c16 | | V. Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, J. A. Martín, E. Pimentel: A tool for the synthesis of cryptographic orchestrators. MDsec 2012: 10 |
| c15 | | Gianpiero Costantino, Charles Morisset, Marinella Petrocchi: Subjective review-based reputation. SAC 2012: 2029-2034 |
| c14 | | Stefania Gnesi, Marinella Petrocchi: Towards an executable algebra for product lines. SPLC (2) 2012: 66-73 |
| 2011 | ||
| c13 | | Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, Luca Wiegand: A Design Phase for Data Sharing Agreements. DPM/SETOP 2011: 25-41 |
| c12 | | Ilaria Matteucci, Paolo Mori, Marinella Petrocchi, Luca Wiegand: Controlled data sharing in E-health. STAST 2011: 17-23 |
| 2010 | ||
| j11 | | Levente Buttyán, László Dóra, Fabio Martinelli, Marinella Petrocchi: Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks. Computer Communications 33(8): 907-922 (2010) |
| c11 | | Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio: CNL4DSA: a controlled natural language for data sharing agreements. SAC 2010: 616-620 |
| 2009 | ||
| c10 | | Fabio Martinelli, Marinella Petrocchi: Executable Specification of Cryptofraglets in Maude for Security Verification. BIONETICS 2009: 11-23 |
| 2008 | ||
| j10 | | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reasoning 41(3-4): 325-364 (2008) |
| c9 | | Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Mobile Implementation and Formal Verification of an e-Voting System. ICIW 2008: 476-481 |
| 2007 | ||
| j9 | | Fabio Martinelli, Marinella Petrocchi: On Relating and Integrating Two Trust Management Frameworks. Electr. Notes Theor. Comput. Sci. 168: 191-205 (2007) |
| j8 | | Fabio Martinelli, Marinella Petrocchi: A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS. Electr. Notes Theor. Comput. Sci. 186: 85-99 (2007) |
| j7 | | Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi: Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007(70) (2007) |
| c8 | | Maurice H. ter Beek, Corrado Moiso, Marinella Petrocchi: Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. AICT 2007: 31 |
| c7 | | Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli: Fine Grained Access Control with Trust and Reputation Management for Globus. OTM Conferences (2) 2007: 1505-1515 |
| 2006 | ||
| j6 | | Lavinia Egidi, Marinella Petrocchi: Modelling a Secure Agent with Team Automata. Electr. Notes Theor. Comput. Sci. 142: 111-127 (2006) |
| j5 | | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: A Formalization of Credit and Responsibility Within the GNDC Schema. Electr. Notes Theor. Comput. Sci. 157(3): 61-78 (2006) |
| j4 |  | Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. Journal of Automata, Languages and Combinatorics 11(4): 345-374 (2006) |
| j3 | | Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal analysis of some secure procedures for certificate delivery. Softw. Test., Verif. Reliab. 16(1): 33-59 (2006) |
| 2005 | ||
| j2 | | Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: SEAS, a secure e-voting protocol: Design and implementation. Computers & Security 24(8): 642-652 (2005) |
| j1 | | Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: Team Automata for Security: - A Survey -. Electr. Notes Theor. Comput. Sci. 128(5): 105-119 (2005) |
| 2003 | ||
| c6 | | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149 |
| c5 | | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154 |
| c4 | | Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Secure Streamed Data: A Case Study with EMSS. ICTCS 2003: 383-396 |
| c3 | | Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: SEAS: A Secure E-Voting Applet System. ISSS 2003: 318-329 |
| c2 | | Nicoletta De Francesco, Marinella Petrocchi: Authenticity in a Reliable Protocol for Mobile Computing. SAC 2003: 318-324 |
| 2002 | ||
| c1 | | Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Automated Analysis of Some Security Mechanisms of SCEP. ISC 2002: 414-427 |
Data released under the ODC-BY 1.0 license — See also our legal information page