A Trace Semantics for Positive Core XPath

Pieter H. Hartel

doi:10.1109/TIME.2005.9

A Trace Semantics for Positive Core XPath

Pieter H. Hartel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

16 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 language	English
Title of host publication	12th International Symposium on Temporal Representation and Reasoning (TIME '05)
Editors	J. Chomicki, D. Toman
Place of Publication	Los Alamitos, CA
Publisher	IEEE Computer Society
Pages	103-112
Number of pages	10
ISBN (Print)	0-7695-2370-6
DOIs	https://doi.org/10.1109/TIME.2005.9
Publication status	Published - Jun 2005
Event	12th International Symposium on Temporal Representation and Reasoning, TIME 2005 - Burlington, United States Duration: 1 Jan 2005 → 1 Jan 2005 Conference number: 12

Publication series

Name	International Symposium on Temporal Representation and Reasoning (TIME)
Publisher	IEEE Computer Society Press
Volume	2005
ISSN (Print)	1530-1311
ISSN (Electronic)	2332-6468

Other

Other	12th International Symposium on Temporal Representation and Reasoning, TIME 2005
Abbreviated title	TIME
Country/Territory	United States
City	Burlington
Period	1/01/05 → 1/01/05

Keywords

SCS-Cybersecurity

Access to Document

10.1109/TIME.2005.9

Hartel2005traceAccepted author version, 190 KB

Cite this

@inproceedings{04a6ac46912d4ac69554f752e9e4d210,

title = "A Trace Semantics for Positive Core XPath",

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.",

keywords = "SCS-Cybersecurity",

author = "Hartel, {Pieter H.}",

year = "2005",

month = jun,

doi = "10.1109/TIME.2005.9",

language = "English",

isbn = "0-7695-2370-6",

series = "International Symposium on Temporal Representation and Reasoning (TIME)",

publisher = "IEEE Computer Society",

pages = "103--112",

editor = "J. Chomicki and D. Toman",

booktitle = "12th International Symposium on Temporal Representation and Reasoning (TIME '05)",

address = "United States",

note = "12th International Symposium on Temporal Representation and Reasoning, TIME 2005, TIME ; Conference date: 01-01-2005 Through 01-01-2005",

}

Hartel, PH 2005, A Trace Semantics for Positive Core XPath. in J Chomicki & D Toman (eds), 12th International Symposium on Temporal Representation and Reasoning (TIME '05). International Symposium on Temporal Representation and Reasoning (TIME), vol. 2005, IEEE Computer Society, Los Alamitos, CA, pp. 103-112, 12th International Symposium on Temporal Representation and Reasoning, TIME 2005, Burlington, Vermont, United States, 1/01/05. https://doi.org/10.1109/TIME.2005.9

A Trace Semantics for Positive Core XPath. / Hartel, Pieter H.

12th International Symposium on Temporal Representation and Reasoning (TIME '05). ed. / J. Chomicki; D. Toman. Los Alamitos, CA : IEEE Computer Society, 2005. p. 103-112 (International Symposium on Temporal Representation and Reasoning (TIME); Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Trace Semantics for Positive Core XPath

AU - Hartel, Pieter H.

N1 - Conference code: 12

PY - 2005/6

Y1 - 2005/6

N2 - 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.

AB - 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.

KW - SCS-Cybersecurity

U2 - 10.1109/TIME.2005.9

DO - 10.1109/TIME.2005.9

M3 - Conference contribution

SN - 0-7695-2370-6

T3 - International Symposium on Temporal Representation and Reasoning (TIME)

SP - 103

EP - 112

BT - 12th International Symposium on Temporal Representation and Reasoning (TIME '05)

A2 - Chomicki, J.

A2 - Toman, D.

PB - IEEE Computer Society

CY - Los Alamitos, CA

T2 - 12th International Symposium on Temporal Representation and Reasoning, TIME 2005

Y2 - 1 January 2005 through 1 January 2005

ER -

A Trace Semantics for Positive Core XPath

Abstract

Publication series

Other

Keywords

Access to Document

Fingerprint

Cite this