Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

KASTEL Industry 4.0 Demonstrator: Provably Forgetting Information in PLC software

Miscellaneous

Author(s):Alexander Weigl
Year:2019
DOI:10.5445/IR/1000098887
Keywords: 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}
}