Search the dblp DataBase

Publications of Author

1. Paolo Maggi, Riccardo Sisto
   A configurable mobile agent data protection protocol. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2003, pp:851-858 [Conf]
   
2. Xavier Hannotin, Paolo Maggi, Riccardo Sisto
   Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. [Citation Graph (0, 0)][DBLP]
   Mobile Agents, 2001, pp:42-53 [Conf]
   
3. Paolo Maggi, Riccardo Sisto
   Using Data Flow Analysis to Infer Type Information in Java Bytecode. [Citation Graph (0, 0)][DBLP]
   SCAM, 2001, pp:213-0 [Conf]
   
4. Paolo Maggi, Riccardo Sisto
   Using SPIN to Verify Security Properties of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:187-204 [Conf]
   
5. Xavier Hannotin, Paolo Maggi, Riccardo Sisto
   Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. [Citation Graph (0, 0)][DBLP]
   WOA, 2001, pp:36-41 [Conf]
   
6. Paolo Maggi, Riccardo Sisto
   Experiments on Formal Verification of Mobile Agent Data Integrity Properties. [Citation Graph (0, 0)][DBLP]
   WOA, 2002, pp:131-136 [Conf]
   
7. Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
   Implementing innovative services supporting user and terminal mobility: the SCARAB architecture. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 2004, v:72, n:3, pp:367-376 [Journal]
   
8. Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
   SCARAB: Innovative Services Supporting User and Terminal Mobility. [Citation Graph (0, 0)][DBLP]
   ICDCS Workshops, 2001, pp:487-493 [Conf]
   
9. 
   Vulnerability Modelling for the Analysis of Network Attacks. [Citation Graph (, )][DBLP]