Towards a formal analysis of control systems
Babak Sadighi Firozabadhi, Leendert van der Torre · Max Planck Institute for Plasma Physics · 1998
Formal models of electronic commerce represent and reason about security policies, for example for fraud detection and prevention. In this paper we propose a multi-layered formal model of information systems, that consists of a core system and several layers of control systems. The policies in these layers are formalized by obligations and actions of the involved parties. The formal models can be used for designing and analysing detective and preventative control systems.