Searching for authors named "Paolo Maggi" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
SCARAB: Innovative Services Supporting User and Terminal Mobility
- … place, only with the limitations im- Paolo Maggi DAUIN Politecnico di Torino C.so Duca degli Abruzzi, 24…
- Add To MetaCart
-
Using SPIN to Verify Security Properties of Cryptographic Protocols
- …Using SPIN to Verify Security Properties of Cryptographic Protocols Paolo Maggi and Riccardo Sisto…
- Cited by 7 (0 self) – Add To MetaCart
-
A Configurable Mobile Agent Data Protection Protocol
- …A Configurable Mobile Agent Data Protection Protocol ABSTRACT Paolo Maggi paolo.maggi…
- Cited by 4 (0 self) – Add To MetaCart
-
Formal Specification and Verification of Mobile Agent Data Integrity Properties: a Case Study
- … Xavier Hannotin, Paolo Maggi, and Riccardo Sisto Dip. di Automatica e Informatica - Politecnico di…
- Cited by 2 (1 self) – Add To MetaCart
-
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: a Case Study
- … Xavier Hannotin, Paolo Maggi and Riccardo Sisto Dip. di Automatica e Informatica - Politecnico di Torino…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 5.
