Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

KASTEL Industry 4.0 Demonstrator: Provably Forgetting Information in PLC software

Verschiedenes
Autor(en):Alexander Weigl
Veröffentlichung:Presentation in the KASTEL Seminar, Karlsruhe, Germany, October 10
Jahr:2019
DOI:10.5445/IR/1000098887
Stichworte: Information flow control reactive system security

BibTeX

@misc{Weigl2019_1000098887,
    author       = {Alexander Weigl},
    year         = {2019},
    month        = oct,
    title        = {KASTEL Industry 4.0 Demonstrator: Provably Forgetting Information in PLC software},
    howpublished = {Presentation in the KASTEL Seminar, Karlsruhe, Germany, October 10},
    keywords     = {Information flow control,reactive system,security},
    doi          = {10.5445/IR/1000098887},
    language     = {english}
}