English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Towards a formal analysis of control systems

MPS-Authors

van der Torre,  Leendert W. N.
Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available
Citation

Firozabadhi, B. S., & van der Torre, L. W. N. (1998). Towards a formal analysis of control systems. In H. Prade (Ed.), Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98) (pp. 317-318). Chichester, USA: Wiley.


Cite as: https://hdl.handle.net/11858/00-001M-0000-000F-38A5-6
Abstract
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.