Security Contracts a Property-Based Approach to Support Security Patterns.

Sylvain Guérin Joël Champeau Salvador Martínez Raúl Mazo

Published in: ICISSP (2024)

Keyphrases

security patterns
security requirements
formal model
intrusion detection
security properties
requirements engineering
supply chain
knowledge management
security policies
real world
network traffic
smart card
information security
early stage