BibSonomy :: author  ::

bookmarks

publications

(20)

• Mobile Implementation and Formal Verification of an e-Voting System.
  Stefano Campanelli and Alessandro Falleni and Fabio Martinelli and Marinella Petrocchi and Anna Vaccarelli ICIW 476-481 (2008)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• Policy Driven Virtual Machine Monitor for Protected Grids.
  Fabrizio Baiardi and Laura Ricci and Paolo Mori and Anna Vaccarelli HPDC 313-316 (2006)
  to dblp by dblp on 2008-05-07 00:00:00
  | URL | BibTeX  
• Fine Grained Access Control with Trust and Reputation Management for Globus
  M. Colombo and F. Martinelli and P. Mori and M. Petrocchi and A. Vaccarelli 1505--1515 (2007)
  to todo by utrust on 2008-04-20 20:48:43
  | BibTeX  
• Extending the Globus Architecture with Role-Based Trust Management.
  Maurizio Colombo and Fabio Martinelli and Paolo Mori and Anna Vaccarelli EUROCAST 448-456 (2007)
  to dblp by dblp on 2007-11-21 00:00:00
  | URL | BibTeX  
• An asymmetric fingerprint matching algorithm for Java Card TM.
  Stefano Bistarelli and Francesco Santini and Anna Vaccarelli Pattern Anal. Appl. 9 359-376 (2006)
  to dblp by dblp on 2007-03-30 00:00:00
  | URL | BibTeX  
• Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services.
  Hristo Koshutanski and Fabio Martinelli and Paolo Mori and Anna Vaccarelli ICAS 34 (2006)
  to dblp by dblp on 2007-01-10 00:00:00
  | URL | BibTeX  
• A Fine-Grained and X.509-Based Access Control System for Globus.
  Hristo Koshutanski and Fabio Martinelli and Paolo Mori and Luca Borz and Anna Vaccarelli OTM Conferences (2) 1336-1350 (2006)
  to dblp by dblp on 2006-12-19 00:00:00
  | URL | BibTeX  
• Formal analysis of some secure procedures for certificate delivery.
  Fabio Martinelli and Marinella Petrocchi and Anna Vaccarelli Softw. Test., Verif. Reliab. 16 33-59 (2006)
  to dblp by dblp on 2006-12-04 00:00:00
  | URL | BibTeX  
• Towards Continuous Usage Control on Grid Computational Services.
  Fabio Martinelli and Paolo Mori and Anna Vaccarelli ICAS/ICNS 82 (2005)
  to dblp by dblp on 2006-01-17 00:00:00
  | URL | BibTeX  
• SEAS, a secure e-voting protocol: Design and implementation.
  Fabrizio Baiardi and Alessandro Falleni and Riccardo Granchi and Fabio Martinelli and Marinella Petrocchi and Anna Vaccarelli Computers & Security 24 642-652 (2005)
  to dblp by dblp on 2005-12-20 00:00:00
  | URL | BibTeX