Functional Principles of Registry-based Service Discovery

V. Sundramoorthy, C. Tan, Pieter H. Hartel, Jeremy den Hartog, Johan Scholten

    Research output: Book/ReportReportProfessional

    75 Downloads (Pure)

    Abstract

    As Service Discovery Protocols (SDP) are becoming increasingly important for ubiquitous computing, they must behave according to predefined principles. We present the functional Principles of Service Discovery for robust, registry-based service discovery. A methodology to guarantee adherence to these principles is provided and illustrated by formal verification of the principles against FRODO, an SDP built for the home environment. We show that, to make behavioral guarantees, an SDP has to be robust against network disturbances, and cannot rely only on the network layer.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherDistributed and Embedded Security (DIES)
    Number of pages8
    Publication statusPublished - May 2005

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.TR-CTIT-05-18
    ISSN (Print)1381-3625

    Keywords

    • CAES-PS: Pervasive Systems
    • EWI-5741
    • METIS-248110
    • IR-57027

    Cite this

    Sundramoorthy, V., Tan, C., Hartel, P. H., den Hartog, J., & Scholten, J. (2005). Functional Principles of Registry-based Service Discovery. (CTIT Technical Report Series; No. TR-CTIT-05-18). Enschede: Distributed and Embedded Security (DIES).