A Modeling and Formal Approach for the Precise Specification of Security Patterns.

Brahim Hamid Christian Percebois

Published in: ESSoS (2014)

Keyphrases

security patterns
formal model
formal specification
reactive systems
formal methods
formal language
real world
data mining
user interface
intrusion detection