The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marinella Petrocchi: [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. 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]


Search in 0.002secs, Finished in 0.003secs
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