Monitoring Temporal Permissions using Partially Evaluated Transition Graphs

Scarlet Schwiderski, Gunter Saake. Monitoring Temporal Permissions using Partially Evaluated Transition Graphs. In Udo W. Lipeck, Bernhard Thalheim, editors, Modelling Database Dynamics, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse (near Braunschweig), Germany, 19-23 October 1992. Workshops in Computing, pages 196-217, Springer, 1992.

Abstract

Abstract is missing.