Formal Methods for Security Engineering 2017

Articles (4 in this collection)

1. Special issue on formal methods for security engineering

   Authors

   • Antonella Santone

   • Content type: Editorial
   • Published: 11 September 2018

   • Pages: 251 - 251

2. SEQUIN: a grammar inference framework for analyzing malicious system behavior

   Authors (first, second and last of 5)

   • Robert Luh
   • Gregor Schramm
   • Sebastian Schrittwieser

   • Content type: Original Paper
   • Open Access
   • Published: 26 March 2018

   • Pages: 291 - 311

   

3. Verifying data secure flow in AUTOSAR models

   Authors (first, second and last of 4)

   • Cinzia Bernardeschi
   • Marco Di Natale
   • Maurizio Palmieri

   • Content type: Original Paper
   • Published: 06 March 2018

   • Pages: 269 - 289

   

4. Detecting and preventing replay attacks in industrial automation networks operated with profinet IO

   Authors

   • Steffen Pfrang
   • David Meier

   • Content type: Original Paper
   • Published: 24 February 2018

   • Pages: 253 - 268