Skip to main content
SpringerLink
Log in

A Specification Language for Distributed Policy Control

  • Conference paper
  • First Online:
Information and Communications Security (ICICS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2513))

Included in the following conference series:

Abstract

In this paper, we discuss a distributed policy control model where each object has its own policy and objects’ behaviors are autonomously controlled based on those policies when they interact with one another. First the paper proposes a policy specification language suitable for distributed policy control. The operational semantics of the language is formally defined. Based on the formal semantics, we propose a runtime policy control mechanism for interpreting a given policy specification and sequencing method execution.

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. M. Ancona, W. Cazzola and E. B. Fernandez: Reflective authorization systems: Possibilities, benefits, and drawbacks, Secure Internet Programming, LNCS 1603, 35–49, 1999.

    Chapter  Google Scholar 

  2. N. C. Damianou: A Policy Framework for Management of Distributed Systems, PhD thesis, Imperial College of Science, Technology and Medicine, 2002. http://www-dse.doc.ic.ac.uk/Research/policies/ponder/thesis-ncd.pdf.

  3. N. C. Damianou, N. Dulay E. Lupu and M. Sloman: The Ponder policy specification language, POLICY 2001, LNCS 1995, 18–38.

    Google Scholar 

  4. S. Jajodia, P. Samarati and V. S. Subrahmanian: A logical language for expressing authorizations, 1997 IEEE Symp. on Security and Privacy, 31–42.

    Google Scholar 

  5. M. Kudo and S. Hada: XML document security based on provisional authorization, 7th ACM Conf. on Computer and Communication Security, 87–96, 2000.

    Google Scholar 

  6. E. C. Lupu and M. Sloman: Conflicts in policy-based distributed systems management, IEEE Trans. on Software Engineering, 25(6), 852–869, 1999.

    Article  Google Scholar 

  7. T. Tonouchi: An Operational Semantics of a’ small’ Ponder, July 2001. http://www.doc.ic.ac.uk/~tton/Semantics.pdf.

Download references

Author information

Authors and Affiliations

  1. Graduate School of Information Science, Nara Institute of Science and Technology, 8916-5 Takayama, Ikoma, Nara, 630-1010, Japan

    Shigeta Kuninobu, Yoshiaki Takata & Hiroyuki Seki

  2. Internet Systems Research Laboratories, NEC Corporation, 8916-47 Takayama, Ikoma, Nara, 630-0101, Japan

    Daigo Taguchi & Masayuki Nakae

Authors
  1. Shigeta Kuninobu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yoshiaki Takata
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daigo Taguchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Masayuki Nakae
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Hiroyuki Seki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Labs for Information Technology, 21 Heng Mui Keng Terrace, Singapore, 119613

    Robert Deng , Feng Bao  & Jianying Zhou ,  & 

  2. Engineering Research Center for Information Security Technology, Chinese Academy of Sciences, P.O. Box 8718, Beijing, 100080, China

    Sihan Qing

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kuninobu, S., Takata, Y., Taguchi, D., Nakae, M., Seki, H. (2002). A Specification Language for Distributed Policy Control. In: Deng, R., Bao, F., Zhou, J., Qing, S. (eds) Information and Communications Security. ICICS 2002. Lecture Notes in Computer Science, vol 2513. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36159-6_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-36159-6_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00164-5

  • Online ISBN: 978-3-540-36159-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation