Xavier Hannotin, Paolo Maggi, Riccardo Sisto  Home/Search
Context Related
| lia.deis.unibo.it/books/woa200...15.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lia.deis.unibo.it/books/woa200... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper shows how cryptographic protocols for mobile agent data integrity properties can be formally specified by using spi calculus, an extension of # calculus with cryptographic properties. In particular, by means of a case study, it is shown how a specification technique initially conceived only for classical cryptographic protocols can be used in the context of mobile agents as well. Our case study includes the spi calculus specification of a sample mobile agent data integrity protocol... (Update)
Cited by: More
Experiments on Formal Verification of Mobile Agent Data.. - Maggi, Sisto (2002) (Correct)
Similar documents (at the sentence level):
46.3%: Formal Specification and Verification of Mobile Agent.. - Hannotin, Maggi, Sisto (2001) (Correct)
Active bibliography (related documents): More All
0.2: Information Society Technologies - Ist Programme Contract (Correct)
0.2: A Security Architecture for Mobile Agent System - Fu (Correct)
0.1: Police Agents for Enforcing Internet Security - Bryce (1999) (Correct)
Similar documents based on text: More All
1.0: Using SPIN to Verify Security Properties of Cryptographic.. - Maggi, Sisto (2002) (Correct)
0.8: A Configurable Mobile Agent Data Protection Protocol - Maggi, Sisto (Correct)
0.7: SCARAB: Innovative Services Supporting User and Terminal.. - Ciminiera, Maggi (Correct)
BibTeX entry: (Update)
Xavier Hannotin, Paolo Maggi, and Riccardo Sisto. Using process algebras to formally specify mobile agent data integrity properties: A case study. In Andrea Omicini and Mirko Viroli, editors, WOA 2001. http://citeseer.ist.psu.edu/hannotin01using.html More
@misc{ hannotin01using,
author = "X. Hannotin and P. Maggi and R. Sisto",
title = "Using process algebras to formally specify mobile agent data integrity
properties: A case study",
text = "Xavier Hannotin, Paolo Maggi, and Riccardo Sisto. Using process algebras
to formally specify mobile agent data integrity properties: A case study.
In Andrea Omicini and Mirko Viroli, editors, WOA 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/hannotin01using.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon DBLP
53 Security for mobile agents: Issues and requirements (context) - Farmer, Guttman et al. - 1996
28 Cryptographic Traces for Mobile Agents - Vigna - 1998 ACM DBLP
28 Protecting the Computation Results of Free-Roaming Agents (context) - Karjoth, Asokan et al. - 1998 ACM DBLP
16 Mobile agent security (context) - Tschudin - 1999
8 Department of Computer Science and Engineering (context) - Yee, for et al. - 1997
4 Mobile agents integrity in E-commerce applications (context) - Corradi, Montanari et al. - 1999
4 Secure information gathering agent for internet trading (context) - Wang, Yi et al. - 1998 ACM DBLP
Documents on the same site (http://www-lia.deis.unibo.it/books/woa2001/): More
Multi-User and Security Support for Multi-Agent Systems - Agostino Poggi Giovanni (2001) (Correct)
A System Implementing Cooperation in Multi-Agent Networks - Buccafurri, Palopoli.. (2001) (Correct)
Towards an Agent Oriented approach to Software.. - Perini, Bresciani.. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC