Model-driven Security with Support for Formal Analysis Methods

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “Model-driven security with support for formal analysis methods,” presented at the Karlsruher fachkreis IT sicherheit, Jan. 29, 2008. Author copy: http://logicalhacking.com/publications/talk-brucker-model-driven-2008/

BibTeX
@Unpublished{ talk:brucker:model-driven:2008,
  date       = {2008-01-29},
  title      = {Model-driven Security with Support for Formal Analysis
                Methods},
  language   = {USenglish},
  address    = {Karlsruhe, Germany},
  author     = {Achim D. Brucker},
  eventtitle = {Karlsruher Fachkreis IT Sicherheit},
  areas      = {software, security},
  note       = {Author copy: \url{http://logicalhacking.com/publications/talk-brucker-model-driven-2008/}},
}