Skip to main content
Taylor & Francis Group Logo
Advanced Search

Click here to search books using title name,author name and keywords.

  • Login
  • Hi, User  
    • Your Account
    • Logout
Advanced Search

Click here to search books using title name,author name and keywords.

Breadcrumbs Section. Click here to navigate to respective pages.

Chapter

Itinerary Safety Reasoning and Assurance

Chapter

Itinerary Safety Reasoning and Assurance

DOI link for Itinerary Safety Reasoning and Assurance

Itinerary Safety Reasoning and Assurance book

Itinerary Safety Reasoning and Assurance

DOI link for Itinerary Safety Reasoning and Assurance

Itinerary Safety Reasoning and Assurance book

ByCheng-Zhong Xu
BookScalable and Secure Internet Services and Architecture

Click here to navigate to parent product.

Edition 1st Edition
First Published 2005
Imprint Chapman and Hall/CRC
Pages 16
eBook ISBN 9780429147951

ABSTRACT

This chapter presents an itinerary language, MAIL, which models the mobile behavior of proactive agents. It is an extension of the core itinerary constructs of the Naplet system. The language is structured and compositional so that an itinerary can be constructed recursively from primitive itineraries. We present its operational semantics in terms of a set of inference rules and prove that MAIL is expressive enough for most migration patterns. In particular, it is complete in the sense that it can specify any itineraries of regular trace models. Moreover, we show that MAIL is amenable to formal methods to reason about mobility and verify correctness and security properties.

T&F logoTaylor & Francis Group logo
  • Policies
    • Privacy Policy
    • Terms & Conditions
    • Cookie Policy
    • Privacy Policy
    • Terms & Conditions
    • Cookie Policy
  • Journals
    • Taylor & Francis Online
    • CogentOA
    • Taylor & Francis Online
    • CogentOA
  • Corporate
    • Taylor & Francis Group
    • Taylor & Francis Group
    • Taylor & Francis Group
    • Taylor & Francis Group
  • Help & Contact
    • Students/Researchers
    • Librarians/Institutions
    • Students/Researchers
    • Librarians/Institutions
  • Connect with us

Connect with us

Registered in England & Wales No. 3099067
5 Howick Place | London | SW1P 1WG © 2021 Informa UK Limited