Towards a Formal Analysis of Control Systems (bibtex)
by Babak Sadighi Firozabadi, Leendert W.N. van der Torre
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.
Reference:
Towards a Formal Analysis of Control Systems (Babak Sadighi Firozabadi, Leendert W.N. van der Torre), In In Proceedings of the ECAI'98, John Wiley and Sons, Ltd, 1998.
Bibtex Entry:
@InProceedings{Firozabadi1998a,
  Title                    = {Towards a Formal Analysis of Control Systems},
  Author                   = {Babak Sadighi Firozabadi and Leendert W.N. van der Torre},
  Booktitle                = {In Proceedings of the ECAI'98},
  Year                     = {1998},
  Pages                    = {317--318},
  Publisher                = {John Wiley and Sons, Ltd},

  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.},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ecai98.pdf}
}
Powered by bibtexbrowser