A trace semantics for positive core xpath

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2005, Pages 103-112

  Hartel, Pieter H ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL POLICIES; BRANCHING STRUCTURES; INTERMEDIATE NODE; LINEAR TEMPORAL LOGIC; PROOF OF CONCEPT; QUERY ENGINES; SPIN MODELS; TRACE SEMANTICS;

MODEL CHECKING; SECURITY SYSTEMS; SEMANTICS; TEMPORAL LOGIC;

ACCESS CONTROL;

EID: 33750064916     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2005.9     Document Type: Conference Paper

References (27)

1. M. Abadi. Logic in access control. In 18th Annual IEEE Symp. on Logic in Computer ScienceC (LICS), pages 228-233, Ottawa, Canada, Jun 2003. IEEE Computer Society Press, Los Alamitos, California.
2. L. Afanasiev. XML query evaluation via CTL symbolic model checking. In European Summer School in Logic, Language and Information (ESSLLI) Student Session, pages 1-12, Nancy, France, Aug 2004.
3. L. Afanasiev, M. Franceschet, M. Marx, and M. de Rijke. CTL model checking for processing simple XPath queries. In 11th Int. Symp. on Temporal Representation and Reasoning (TIME), pages 117-124, Tatihou, France, Jul 2004. IEEE Computer Society Press, Los Alamitos, California.
4. M. Benedikt, W. Fan, and G. M. Kuper. Structural properties of XPath fragments. In D. Calvanese, M. Lenzerini, and R. Motwani, editors, 9th Int. Conf. on Database Theory (ICDT), volume LNCS 2572, pages 79-95, Siena, Italy, Jan 2003. Springer-Verlag, Berlin.
5. E. Bertino, S. Castano, E. Ferrari, and M. Mesiti. Specifying and enforcing access control policies for XML document sources. World Wide Web, 3(3):139-151, 2000.
6. P. Buneman, M. Grohe, and C. Koch. Path queries on compressed XML. In J. C. Freytag, P. C. Lockemann, S. Abite-boul, M. J. Carey, P. G. Selinger, and A. Heuer, editors, 29th Int. Conf. on Very Large Data Bases (VLDB), pages 141-152, Berlin, Germany, Sep 2003. Morgan Kaufmann.
7. J. Clark. Expat XML Parser. Open Software Technology Group, Fremont, California, Jul 2004.
8. J. Clark and S. D. (eds.). XML Path Language (XPath Version 1.0). W3C, Nov 1999.
9. L. de Alfaro. Model checking the world wide web. In G. Berry, H. Comon, and A. Finkel, editors, 13th Int. Conf. on Computer Aided Verification (CAY), volume LNCS 2102, pages 337-349, Paris, France, Jul 2001. Springer-Verlag, Berlin.
10. W. Fan, C.-Y. Chan, and M. Garofalakis. Secure XML querying with security views. In G. Weikum, A. C. Konig, and S. Deβloch, editors, SIGMOD Int. Conf. on Management of Data, pages 587-598, Paris, France, Jun 2004. ACM Press, New York.
11. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In 13th conf. on World Wide Web, pages 621-630, New York, NY, USA, 2004. ACM Press, New York.
12. I. Fundulaki and M. Marx. Specifying access control policies for XML documents. In 9th ACM Symp. on access control models and technologies, pages 61-69, IBM, Yorktown Heights, USA, Jun 2004. ACM Press, New York.
13. G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing XPath queries. In 28th Int. Conf. on Very Large Data Bases (VLDB), pages 95-106, Hong Kong, China, Aug 2002. VLDB Endowment Inc.
14. G. Gottlob, C. Koch, and R. Pichler. XPath processing in a nutshell. SIGMOD Rec, 32(2):21-27, Jun 2003.
15. T. Grust, M. V Keulen, and J. Teubner. Accelerating XPath evaluation in any RDBMS. ACM Trans. Database Syst, 29(1):91-131, Mar 2004.
16. J. Y. Halpern and V. Weissman. Using First-Order logic to reason about policies. In 16th IEEE Computer Security Foundations Workshop (CSFW), pages 187-201, Pacific Grove, California, Jun 2003. IEEE Computer Society Press, Los Alamitos, California.
17. P. H. Hartel. A trace semantics for positive core XPath (with proofs). Technical report T R-CTIT-05-03, Centre for Telematics and Information Technology, Univ. of Twente, The Netherlands, Jan 2005.
18. G. J. Holzmann. The SPIN Model Checker: Primer and Reference manual. Pearson Education Inc, Boston Massachusetts, 2004.
19. G. J. Holzmann and R. Joshi. Model-Driven software verification. In S. Graf and L. Mounier, editors, 11th Int. SPIN Workshop: Model Checking Software, volume LNCS 2989, pages 76-91, Barcelona, Spain, Apr 2004. Springer-Verlag Heidelberg.
20. M. Huth and M. Ryan. Logic in Computer Science. Cambridge University Press, UK, 2004.
21. B. Luo, D. Lee, W.-C. Lee, and P. Liu. QFilter: Fine-Grained Run-Time XML access control via NFA-based query rewriting. In 13th Conf. on Information and Knowledge Management (CIKM), pages 543-552, Washington D. C., Nov 2004. ACM Press, New York.
22. M. Marx and M. de Rijke. Semantic characterizations of navigational XPath. Technical report, Univ. of Amsterdam, 2004.
23. D. Olteanu, H. Meuss, T. Furche, and F. Bry. XPath: Looking forward. In A. B. Chaudhri, R. Unland, C. Djer-aba, and W. Lindner, editors, XML-Based Data Management and Multimedia Engineering (EDBT), volume LNCS 2490, pages 109-127, Prague, Czech Republic, Mar 2002. Springer-Verlag, Heidelberg.
24. T. C. Ruys. Optimal scheduling using branch and bound with SPIN 4.0. In T. Ball and S. K. Rajamani, editors, 10th Int. SPIN Workshop on Model Checking Software, volume LNCS 2648, pages 1-17, Portland, Oregon, May 2003. Springer-Verlag, Berlin.
25. A. R. Schmidt, F. Waas, M. L. Kersten, M. J. Carey, I. Manolescu, and R. Busse. XMark: A benchmark for XML data management. In 28th Int. Conf. on Very Large Data Bases (VLDB), pages 974-985, Hong Kong, Aug 2002. VLDB Endowment Inc.
26. P. L. Wadler. How to replace failure by a list of successes, a method for exception handling, backtracking and pattern matching in lazy functional languages. In J.-P. Jouannaud, editor, 2nd Functional programming languages and computer architecture (FPCA), volume LNCS 201, pages 113-128, Nancy, France, Sep 1985. Springer-Verlag, Berlin.
27. P. L. Wadler. Two semantics for XPath. Technical note, Dept. of Comp. Sci, Univ. of Edinburgh, Jan 2000.