Search the dblp DataBase

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. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. Nicoletta De Francesco, Marinella Petrocchi
   Authenticity in a Reliable Protocol for Mobile Computing. [Citation Graph (0, 0)][DBLP]
   SAC, 2003, pp:318-324 [Conf]
   
7. 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]
   
8. Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi
   Team Automata for Security: - A Survey -. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:105-119 [Journal]
   
9. Lavinia Egidi, Marinella Petrocchi
   Modelling a Secure Agent with Team Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:142, n:, pp:111-127 [Journal]
   
10. Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
    A Formalization of Credit and Responsibility Within the GNDC Schema. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:3, pp:61-78 [Journal]
    
11. Fabio Martinelli, Marinella Petrocchi
    On Relating and Integrating Two Trust Management Frameworks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:191-205 [Journal]
    
12. 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]
    
13. 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]
    
14. Fabio Martinelli, Marinella Petrocchi
    A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:186, n:, pp:85-99 [Journal]
    
15. 
    Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. [Citation Graph (, )][DBLP]
    
    
16. 
    CNL4DSA: a controlled natural language for data sharing agreements. [Citation Graph (, )][DBLP]
    
    
17. 
    Mobile Implementation and Formal Verification of an e-Voting System. [Citation Graph (, )][DBLP]
    
    
18. 
    Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks. [Citation Graph (, )][DBLP]