From security patterns to implementation using petri nets
Proceedings of the fourth international workshop on Software engineering for secure systems
Hi-index | 0.00 |
Security engineering is more complex in modern enterprise systems, having to consider diverse operational properties including those of participants and resources. This paper describes extensible security patterns, a framework for engineering a system's security according to its operational properties. The framework is referred to as extensible, as its language and methodology allow for refinement of the patterns at different phases of the system's specification.