Skip to main content
Taylor & Francis Group Logo
    Advanced Search

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

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

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

      Breadcrumbs Section. Click here to navigate to respective pages.

      Chapter

      Itinerary Safety Reasoning and Assurance
      loading

      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
      Share
      Share

      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 © 2022 Informa UK Limited