A Survey of Practical Formal Methods for Security

In today’s world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to build such systems with strong guarantees of resiliency agai...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal aspects of computing 2022-07, Vol.34 (1), p.1-39
Hauptverfasser:	Kulik, Tomas, Dongol, Brijesh, Larsen, Peter Gorm, Macedo, Hugo Daniel, Schneider, Steve, Tran-Jørgensen, Peter W. V., Woodcock, James
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!