| 2008 |
|---|
| 18 | EE | Stefano Campanelli,
Alessandro Falleni,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Mobile Implementation and Formal Verification of an e-Voting System.
ICIW 2008: 476-481 |
| 17 | EE | 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) |
| 2007 |
|---|
| 16 | EE | 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 |
| 15 | EE | 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 |
| 14 | EE | Fabio Martinelli,
Marinella Petrocchi:
On Relating and Integrating Two Trust Management Frameworks.
Electr. Notes Theor. Comput. Sci. 168: 191-205 (2007) |
| 13 | EE | 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) |
| 2006 |
|---|
| 12 | EE | Lavinia Egidi,
Marinella Petrocchi:
Modelling a Secure Agent with Team Automata.
Electr. Notes Theor. Comput. Sci. 142: 111-127 (2006) |
| 11 | EE | 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) |
| 10 | | 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) |
| 9 | EE | 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 |
|---|
| 8 | EE | 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) |
| 7 | EE | 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 |
|---|
| 6 | EE | Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Compositional Verification of Integrity for Digital Stream Signature Protocols.
ACSD 2003: 142-149 |
| 5 | EE | Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.
FMOODS 2003: 139-154 |
| 4 | EE | Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Compositional Verification of Secure Streamed Data: A Case Study with EMSS.
ICTCS 2003: 383-396 |
| 3 | EE | Fabrizio Baiardi,
Alessandro Falleni,
Riccardo Granchi,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
SEAS: A Secure E-Voting Applet System.
ISSS 2003: 318-329 |
| 2 | | Nicoletta De Francesco,
Marinella Petrocchi:
Authenticity in a Reliable Protocol for Mobile Computing.
SAC 2003: 318-324 |
| 2002 |
|---|
| 1 | EE | Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Automated Analysis of Some Security Mechanisms of SCEP.
ISC 2002: 414-427 |
