| 2008 |
|---|
| 20 | 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 |
| 2007 |
|---|
| 19 | EE | Maurizio Colombo,
Fabio Martinelli,
Paolo Mori,
Anna Vaccarelli:
Extending the Globus Architecture with Role-Based Trust Management.
EUROCAST 2007: 448-456 |
| 18 | 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 |
| 2006 |
|---|
| 17 | EE | Fabrizio Baiardi,
Laura Ricci,
Paolo Mori,
Anna Vaccarelli:
Policy Driven Virtual Machine Monitor for Protected Grids.
HPDC 2006: 313-316 |
| 16 | EE | Hristo Koshutanski,
Fabio Martinelli,
Paolo Mori,
Anna Vaccarelli:
Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services.
ICAS 2006: 34 |
| 15 | EE | Hristo Koshutanski,
Fabio Martinelli,
Paolo Mori,
Luca Borz,
Anna Vaccarelli:
A Fine-Grained and X.509-Based Access Control System for Globus.
OTM Conferences (2) 2006: 1336-1350 |
| 14 | EE | Stefano Bistarelli,
Francesco Santini,
Anna Vaccarelli:
An asymmetric fingerprint matching algorithm for Java Card TM.
Pattern Anal. Appl. 9(4): 359-376 (2006) |
| 13 | 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 |
|---|
| 12 | EE | Stefano Bistarelli,
Francesco Santini,
Anna Vaccarelli:
An Asymmetric Fingerprint Matching Algorithm for Java Card™.
AVBPA 2005: 279-288 |
| 11 | EE | Stefano Bistarelli,
Stefano Frassi,
Anna Vaccarelli:
MOC via TOC Using a Mobile Agent Framework.
AVBPA 2005: 464-473 |
| 10 | EE | Fabio Martinelli,
Paolo Mori,
Anna Vaccarelli:
Towards Continuous Usage Control on Grid Computational Services.
ICAS/ICNS 2005: 82 |
| 9 | EE | Fabio Dianda,
Filippo Giuntini,
Fabio Martinelli,
Anna Vaccarelli:
A Flexible Framework for Access Control Based on Ability Authentication.
SAINT Workshops 2005: 106-109 |
| 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) |
| 2004 |
|---|
| 7 | EE | Fabrizio Baiardi,
Fabio Martinelli,
Paolo Mori,
Anna Vaccarelli:
Improving Grid Services Security with Fine Grain Policies.
OTM Workshops 2004: 123-134 |
| 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 |
| 2002 |
|---|
| 2 | EE | Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Automated Analysis of Some Security Mechanisms of SCEP.
ISC 2002: 414-427 |
| 1994 |
|---|
| 1 | EE | Giovanni Marola,
Anna Vaccarelli:
An algebraic method for detection and recognition of polyhedral objects from a single image.
Pattern Recognition 27(10): 1407-1414 (1994) |
