Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  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

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-38A5-6 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-38A6-4
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Firozabadhi, Babak Sadighi, Autor
van der Torre, Leendert W. N.1, Autor
Affiliations:
1Max Planck Society, ou_persistent13              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121998
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Chichester, USA : Wiley
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519713
Anderer: Local-ID: C1256104005ECAFC-9C4CB2637A146213C125675100487559-firozabadhi:ecai98
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Brighton, England
Start-/Enddatum: 1998

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98)
Genre der Quelle: Konferenzband
 Urheber:
Prade, Henri, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Chichester, USA : Wiley
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 317 - 318 Identifikator: ISBN: 0-471-98431-0