Formal Verification of Security Pattern Composition: Application to SCADA.

Fadi Obeid Philippe Dhaussy

Published in: Comput. Informatics (2019)

Keyphrases

formal verification
key management
model checking
network security
network connection
knowledge representation
formal methods