The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anna Vaccarelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    Compositional Verification of Integrity for Digital Stream Signature Protocols. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:142-149 [Conf]
  2. Stefano Bistarelli, Stefano Frassi, Anna Vaccarelli
    MOC via TOC Using a Mobile Agent Framework. [Citation Graph (0, 0)][DBLP]
    AVBPA, 2005, pp:464-473 [Conf]
  3. Stefano Bistarelli, Francesco Santini, Anna Vaccarelli
    An Asymmetric Fingerprint Matching Algorithm for Java Card™. [Citation Graph (0, 0)][DBLP]
    AVBPA, 2005, pp:279-288 [Conf]
  4. Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:139-154 [Conf]
  5. Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
    Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services. [Citation Graph (0, 0)][DBLP]
    ICAS, 2006, pp:34- [Conf]
  6. Fabio Martinelli, Paolo Mori, Anna Vaccarelli
    Towards Continuous Usage Control on Grid Computational Services. [Citation Graph (0, 0)][DBLP]
    ICAS/ICNS, 2005, pp:82- [Conf]
  7. Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    Compositional Verification of Secure Streamed Data: A Case Study with EMSS. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:383-396 [Conf]
  8. Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    SEAS: A Secure E-Voting Applet System. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:318-329 [Conf]
  9. Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    Automated Analysis of Some Security Mechanisms of SCEP. [Citation Graph (0, 0)][DBLP]
    ISC, 2002, pp:414-427 [Conf]
  10. Fabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
    Improving Grid Services Security with Fine Grain Policies. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2004, pp:123-134 [Conf]
  11. Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Luca Borz, Anna Vaccarelli
    A Fine-Grained and X.509-Based Access Control System for Globus. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2006, pp:1336-1350 [Conf]
  12. Fabio Dianda, Filippo Giuntini, Fabio Martinelli, Anna Vaccarelli
    A Flexible Framework for Access Control Based on Ability Authentication. [Citation Graph (0, 0)][DBLP]
    SAINT Workshops, 2005, pp:106-109 [Conf]
  13. Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    SEAS, a secure e-voting protocol: Design and implementation. [Citation Graph (0, 0)][DBLP]
    Computers & Security, 2005, v:24, n:8, pp:642-652 [Journal]
  14. Stefano Bistarelli, Francesco Santini, Anna Vaccarelli
    An asymmetric fingerprint matching algorithm for Java Card TM. [Citation Graph (0, 0)][DBLP]
    Pattern Anal. Appl., 2006, v:9, n:4, pp:359-376 [Journal]
  15. Giovanni Marola, Anna Vaccarelli
    An algebraic method for detection and recognition of polyhedral objects from a single image. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition, 1994, v:27, n:10, pp:1407-1414 [Journal]
  16. Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    Formal analysis of some secure procedures for certificate delivery. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2006, v:16, n:1, pp:33-59 [Journal]
  17. Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
    Extending the Globus Architecture with Role-Based Trust Management. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:448-456 [Conf]
  18. Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli
    Fine Grained Access Control with Trust and Reputation Management for Globus. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2007, pp:1505-1515 [Conf]

  19. Policy Driven Virtual Machine Monitor for Protected Grids. [Citation Graph (, )][DBLP]


  20. Mobile Implementation and Formal Verification of an e-Voting System. [Citation Graph (, )][DBLP]


Search in 0.288secs, Finished in 0.289secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002