A unified formal model for service oriented architecture to enforce security contracts.
Diana AllamPublished in: AOSD (Companion) (2012)
Keyphrases
- formal model
- service oriented architecture
- security properties
- industrial automation
- security patterns
- service oriented
- web services
- loosely coupled
- business process
- service discovery
- model driven
- lightweight
- business processes
- service composition
- loose coupling
- semantic web services
- formal models
- intrusion detection
- predicate calculus
- model driven development
- process automation
- security requirements
- artifact centric
- control system
- multi agent systems
- functional requirements
- security issues
- security policies
- business process modeling
- security protocols
- digital campus