Ausgabe 4/2018
Special Issue: Formal Methods for Security Engineering 2017
Inhalt (4 Artikel)
Original Paper
Detecting and preventing replay attacks in industrial automation networks operated with profinet IO
Steffen Pfrang, David Meier
Original Paper
Verifying data secure flow in AUTOSAR models
Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
Open Access
Original Paper
SEQUIN: a grammar inference framework for analyzing malicious system behavior
Robert Luh, Gregor Schramm, Markus Wagner, Helge Janicke, Sebastian Schrittwieser