Sign in

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

Brahim HamidChristian 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