Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

KASTEL Industry 4.0 Demonstrator: Provably Forgetting Information in PLC software

Miscellaneous
Author(s):Alexander Weigl
Publication:Presentation in the KASTEL Seminar, Karlsruhe, Germany, October 10
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}
}