Building Correct SDN Components from a Global Event-B Formal Model.

J. Christian Attiogbé

Published in: FACS (2018)

Keyphrases

formal model
event detection
globally consistent
global information
formal models
security properties
case based reasoning
predicate calculus
security patterns
news stories
event driven
event recognition