A Trace Semantics for Positive Core XPath

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Downloads (Pure)

    Abstract

    We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information relevant to the query. We give two examples of such analyses in the form of access control policies. We translate positive core XPath into Linear Temporal Logic, showing that branching structures can be linearised effectively. We use the SPIN model checker in a proof of concept implementation to resolve the queries, and to perform the access control. The performance of the implementation is competitive.
    Original languageEnglish
    Title of host publication12th International Symposium on Temporal Representation and Reasoning (TIME '05)
    EditorsJ. Chomicki, D. Toman
    Place of PublicationLos Alamitos, CA
    PublisherIEEE Computer Society
    Pages103-112
    Number of pages10
    ISBN (Print)0-7695-2370-6
    DOIs
    Publication statusPublished - Jun 2005
    Event12th International Symposium on Temporal Representation and Reasoning, TIME 2005 - Burlington, United States
    Duration: 1 Jan 20051 Jan 2005
    Conference number: 12

    Publication series

    NameInternational Symposium on Temporal Representation and Reasoning (TIME)
    PublisherIEEE Computer Society Press
    Volume2005
    ISSN (Print)1530-1311
    ISSN (Electronic)2332-6468

    Other

    Other12th International Symposium on Temporal Representation and Reasoning, TIME 2005
    Abbreviated titleTIME
    CountryUnited States
    CityBurlington
    Period1/01/051/01/05

    Keywords

    • SCS-Cybersecurity

    Fingerprint Dive into the research topics of 'A Trace Semantics for Positive Core XPath'. Together they form a unique fingerprint.

    Cite this