Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study

Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study
Authors string: Hannotin X.; Maggi P.; Sisto R.
University authors:
Page Range: pp. 42-53
Referee type: Not specified type
Publisher: Springer
ISBN: 3540429522
ISSN: 0302-9743
Volume: 2240
Event Title: Mobile Agents 5th International Conference, MA 2001
Event Location: Atlanta, GA (USA)
Event Dates: December 2–4, 2001
Abstract: The aim of the work presented in this paper is to check cryptographic protocols for mobile agents against both network intruders and malicious hosts using formal methods. We focus attention on data integrity properties and show how the techniques used for classical message-based protocols such as authentication protocols can be applied to mobile agent systems as well. To illustrate our approach, we use a case study taken from the literature and show how it can be specified and verified using some currently available tools
Date: 2001
Status: Published
Language of publication:
Uncontrolled Keywords:
Departments (original): DAUIN - Control and Computer Engineering
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Subjects: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
    Date Deposited: 05 Oct 2006 14:38
    Last modification data (IRIS): 25 Nov 2013 11:54:21
    Update date (PORTO): 24 Oct 2014 09:19
    Id Number (DOI): 10.1007/3-540-45647-3_4
    Link resolver URL: Linksolver link

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto



    [img] PDF (1418129) - Postprint
    Document access: Not visible (accessible only to the record owner)
    Licence: Not public - Private access / Restricted.

    Download (133Kb) | Send a request to the author for a copy of the paper

    Actions (login required)

    View item (admin reserved) View item (admin reserved)