Skip to main content
SpringerLink
Log in

Data Protection by Logic Programming

  • Conference paper
  • First Online:
Computational Logic — CL 2000 (CL 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1861))

Included in the following conference series:

Abstract

This paper discusses the representation of a variety of role-based access control (RBAC) security models in which users and permissions may be assigned to roles for restricted periods of time. These security models are formulated as logic programs which specify the security information which protects data, and from which a user’s permission to perform operations on data items may be determined by theorem-proving. The representation and verification of integrity constraints on these logic programs is described, and practical issues are considered together with the technical results which apply to the approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Hull, R., and Vianu, V., Foundations of Databases, Addison-Wesley, 1995.

    Google Scholar 

  2. Apt, K., Blair, H., and Walker, A., Towards a theory of declarative knowledge, in J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan-Kaufmann, 1988.

    Google Scholar 

  3. Barker, S., Security policy specification in logic, International Conference on Artificial Intelligence, 2000.

    Google Scholar 

  4. Barker, S., Protecting deductive databases from unauthorized retrievals, To Appear.

    Google Scholar 

  5. Bertino, E., Bettini, C., Ferrari, E., and Samarati, P., A temporal access control mechanism for database systems, IEEE Trans. on KDE, 8(1), 1996.

    Google Scholar 

  6. Castano, S., Fugini, M., Martella, G., and Samarati, P., Database Security, Addison-Wesley, 1994.

    Google Scholar 

  7. Chen, W., Swift., T., and Warren, D., Efficient top-down computation of queries under the well-founded semantics, JLP, 24, 1995.

    Google Scholar 

  8. Clark, K., Negation as failure, in H. Gallaire and J. Minker(Eds), Logic and Databases, Plenum, 1978.

    Google Scholar 

  9. Decker, H., and Celma, M., A slick procedure for integrity checking in deductive databases, ICLP, 1994.

    Google Scholar 

  10. Eshghi, K., Abductive planning with the event calculus, ICLP, 1988.

    Google Scholar 

  11. Griffiths, P. P., and Wade, B.W., An authorization mechanism for relational database systems, A CM TODS, 1(3), 1976.

    Google Scholar 

  12. Jajodia, S., Samarati, P., Subrahmanian, V., and Bertino, E., A unified framework for enforcing multiple access control policies in Proc. ACM SIGMOD International Conference on Management of Data, 1997.

    Google Scholar 

  13. Kowalski, R., Database updates in the Event Calculus, JLP, 12, 1992.

    Google Scholar 

  14. Kuhn, D. R., Mutual exclusion of roles as a means of implementing separation of duty in role-based access control systems, Proc. 2nd ACM Workshop on Role-Based Access, 1997.

    Google Scholar 

  15. Kunen, K., Signed data dependencies in logic programs, JLP, 7, 1989.

    Google Scholar 

  16. LLoyd, J., Foundations of Logic Programming, Springer, 1987.

    Google Scholar 

  17. Sadri, F. and Kowalski, R., Variants of the event calculus, ICLP, 1995.

    Google Scholar 

  18. Sadri, F. and Kowalski, R., A theorem-proving approach to database integrity in Foundations of Deductive Databases and Logic Programming, J. Minker (Ed.), Morgan-Kaufmann, 1988.

    Google Scholar 

  19. Sandhu, R., Coyne, E., Feinstein, H., and Youman, C., Role-Based access control: a multi-dimensional view, Proc. 10th Annual Computer Security Applications Conf., 1994.

    Google Scholar 

  20. Sandhu, R., Coyne, E., Feinstein, H., and Youman, C., Role-Based access control models, IEEE Computer, 1996.

    Google Scholar 

  21. Sagonas, K., Swift, T., Warren, D., Freire, J., Rao. P., The XSB System, Version 2.0, Programmer’s Manual, 1999.

    Google Scholar 

  22. Shepherdson, J., Negation as failure, completion and stratification in D. Gabbay et al. (Eds), Handbook of Logic in AI and Logic Programming, Volume 5, Logic Programming, Oxford, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Westminster, London, W1M 8JS, UK

    Steve Barker

Authors
  1. Steve Barker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Australian National University, Australia

    John Lloyd

  2. Simon Fraser University, Canada

    Veronica Dahl

  3. Universität Koblenz, Germany

    Ulrich Furbach

  4. The University of Birmingham, UK

    Manfred Kerber

  5. University of Manchester, UK

    Kung-Kiu Lau

  6. The Pennsylvania State University, USA

    Catuscia Palamidessi

  7. Universidade Nova de Lisboa, Portugal

    Luís Moniz Pereira

  8. The Hebrew University of Jerusalem, Israel

    Yehoshua Sagiv

  9. The University of Melbourne, Australia

    Peter J. Stuckey

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barker, S. (2000). Data Protection by Logic Programming. In: Lloyd, J., et al. Computational Logic — CL 2000. CL 2000. Lecture Notes in Computer Science(), vol 1861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44957-4_87

Download citation

  • DOI: https://doi.org/10.1007/3-540-44957-4_87

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67797-0

  • Online ISBN: 978-3-540-44957-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation