Anna Vaccarelli

According to our database, Anna Vaccarelli authored at least 25 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Serious Video Game on Cybersecurity.

Giorgia Bassi, Stefania Fabbri, Anna Vaccarelli

Proceedings of the Entertainment Computing - ICEC 2023, 2023

2022

Ludoteca del Registro.it: Cybersecurity in Education.

Giorgia Bassi, Stefania Fabbri, Anna Vaccarelli

ERCIM News, 2022

2020

Presente Digitale: An Online Education System for Teachers.

Michela Fazzolari, Stefania Fabbri, Ilaria Matteucci, Marinella Petrocchi, Anna Vaccarelli

Proceedings of the Bridges and Mediation in Higher Distance Education, 2020

2008

Mobile Implementation and Formal Verification of an e-Voting System.

Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

2007

Fine Grained Access Control with Trust and Reputation Management for Globus.

Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Extending the Globus Architecture with Role-Based Trust Management.

Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli

Proceedings of the Computer Aided Systems Theory, 2007

2006

Formal analysis of some secure procedures for certificate delivery.

Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Softw. Test. Verification Reliab., 2006

An asymmetric fingerprint matching algorithm for Java Card ^TM.

Stefano Bistarelli, Francesco Santini, Anna Vaccarelli

Pattern Anal. Appl., 2006

A Fine-Grained and X.509-Based Access Control System for Globus.

Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Luca Borz, Anna Vaccarelli

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services.

Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli

Proceedings of the 2006 International Conference on Autonomic and Autonomous Systems (ICAS 2006), 2006

Policy Driven Virtual Machine Monitor for Protected Grids.

Fabrizio Baiardi, Laura Ricci, Paolo Mori, Anna Vaccarelli

Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, 2006

2005

SEAS, a secure e-voting protocol: Design and implementation.

Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Comput. Secur., 2005

A Flexible Framework for Access Control Based on Ability Authentication.

Fabio Dianda, Filippo Giuntini, Fabio Martinelli, Anna Vaccarelli

Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 31 January, 2005

Towards Continuous Usage Control on Grid Computational Services.

Fabio Martinelli, Paolo Mori, Anna Vaccarelli

Proceedings of the Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005, 2005

An Asymmetric Fingerprint Matching Algorithm for Java Card™.

Stefano Bistarelli, Francesco Santini, Anna Vaccarelli

Proceedings of the Audio- and Video-Based Biometric Person Authentication, 2005

MOC via TOC Using a Mobile Agent Framework.

Stefano Bistarelli, Stefano Frassi, Anna Vaccarelli

Proceedings of the Audio- and Video-Based Biometric Person Authentication, 2005

2004

Improving Grid Services Security with Fine Grain Policies.

Fabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Local Management of Credits and Debits in Mobile Ad Hoc Networks.

Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Proceedings of the Communications and Multimedia Security, 2004

2003

SEAS: A Secure E-Voting Applet System.

Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Proceedings of the Software Security, 2003

Compositional Verification of Secure Streamed Data: A Case Study with EMSS.

Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Compositional Verification of Integrity for Digital Stream Signature Protocols.

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Automated Analysis of Some Security Mechanisms of SCEP.

Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Proceedings of the Information Security, 5th International Conference, 2002

1994

An algebraic method for detection and recognition of polyhedral objects from a single image.

Giovanni Marola, Anna Vaccarelli

Pattern Recognit., 1994

1992

An algebraic method for detecting three-dimensional objects in a picture.

Giovanni Marola, Anna Vaccarelli

Proceedings of the 11th IAPR International Conference on Pattern Recognition, 1992