English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Towards a formal analysis of control systems

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.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Firozabadhi, Babak Sadighi, Author
van der Torre, Leendert W. N.1, Author
Affiliations:
1Max Planck Society, ou_persistent13              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121998
 Publication Status: Issued
 Pages: -
 Publishing info: Chichester, USA : Wiley
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519713
Other: Local-ID: C1256104005ECAFC-9C4CB2637A146213C125675100487559-firozabadhi:ecai98
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Brighton, England
Start-/End Date: 1998

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98)
Source Genre: Proceedings
 Creator(s):
Prade, Henri, Editor
Affiliations:
-
Publ. Info: Chichester, USA : Wiley
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 317 - 318 Identifier: ISBN: 0-471-98431-0