PDL with Maximum Consistency Monitors

  • Elisa Bertino
  • Alessandra Mileo
  • Alessandro Provetti
Conference paper

DOI: 10.1007/978-3-540-39592-8_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2871)
Cite this paper as:
Bertino E., Mileo A., Provetti A. (2003) PDL with Maximum Consistency Monitors. In: Zhong N., Raś Z.W., Tsumoto S., Suzuki E. (eds) Foundations of Intelligent Systems. ISMIS 2003. Lecture Notes in Computer Science, vol 2871. Springer, Berlin, Heidelberg

Abstract

In the context of Network management, Chomicki, Lobo and Naqvi have defined the specification language PDL (Policy Description Language) and later extended it by introducing monitors: constraints on the actions that the network manager cannot execute simultaneously.

We argue that PDL with monitors is an appealing language that can be applied to specification and implementation of intelligent systems beyond network management. To do so, we discuss two extensions of it. In the first extension monitors are defined as computing a maximum set of actions compatible with the constraints, rather than a maximal one. The inevitably higher computational complexity of this extension is assessed. In the second extension, negative events, a device already introduced by Chomicki et al., are treated as equivalent to regular events, thus allowing more intuitive results from monitor application.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Elisa Bertino
    • 1
  • Alessandra Mileo
    • 1
  • Alessandro Provetti
    • 2
  1. 1.Dipartimento d’Informatica e ComunicazioneUniversità degli studi di MilanoMilanItaly
  2. 2.Dipartimento di FisicaUniversità degli studi di MessinaMessinaItaly

Personalised recommendations