Model-driven Security with Support for Formal Analysis Methods
Achim D. Brucker
Schlüsselwörter:
Kategorien:
Dokumente:
Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker.
Model-driven Security with Support for Formal Analysis Methods. Karlsruher Fachkreis IT Sicherheit, Karlsruhe, Germany, 29. jan. 2008.
(BibTeX) (
)
BibTeX
@Talk{ talk:brucker:model-driven:2008,
}
| address | = | {Karlsruhe, Germany}, | |
| author | = | {Achim D. Brucker}, | |
| day | = | {29}, | |
| event | = | {Karlsruher Fachkreis IT Sicherheit}, | |
| isodate | = | {2008-01-29}, | |
| language | = | {USenglish}, | |
| lecturer | = | {Achim D. Brucker}, | |
| month | = | {jan}, | |
| title | = | {Model-driven Security with Support for Formal Analysis Methods}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/talk-brucker-model-driven-2008}, | |
| year | = | {2008}, |