Volume 14, Issue 4 | Journal of Computer Virology and Hacking Techniques

Search all Journal of Computer Virology and Hacking Techniques articles

Volume 14, Issue 4

November 2018

Special Issue: Formal Methods for Security Engineering 2017

Issue Editor:

Antonella Santone

4 articles in this issue

Special issue on formal methods for security engineering
Antonella Santone
Editorial 11 September 2018 Pages: 251 - 251
Part of 1 collection:

Formal Methods for Security Engineering 2017
Detecting and preventing replay attacks in industrial automation networks operated with profinet IO
Steffen Pfrang
David Meier
Original Paper 24 February 2018 Pages: 253 - 268
Part of 1 collection:

Formal Methods for Security Engineering 2017
Verifying data secure flow in AUTOSAR models
Cinzia Bernardeschi
Marco Di Natale
Maurizio Palmieri
Original Paper 06 March 2018 Pages: 269 - 289
Part of 1 collection:

Formal Methods for Security Engineering 2017
SEQUIN: a grammar inference framework for analyzing malicious system behavior
Robert Luh
Gregor Schramm
Sebastian Schrittwieser
Original Paper Open access 26 March 2018 Pages: 291 - 311
Part of 1 collection:

Formal Methods for Security Engineering 2017