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
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
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:10
    Last Modified: 24 Jan 2013 03:01
    Id Number (DOI): 10.1007/3-540-45647-3_4
    Permalink: http://porto.polito.it/id/eprint/1418129
    Linksolver URL: Linksolver link

    Documents

    [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 View Item