Attribute-Based Security Verification of Business Process Models.
Nikolaos ArgyropoulosHaralambos MouratidisAndrew FishPublished in: CBI (1) (2017)
Keyphrases
- business process models
- java card
- business process
- high security
- control flow
- business processes
- integrity verification
- cryptographic protocols
- access control
- process model
- information security
- security issues
- business rules
- intrusion detection
- security requirements
- security policies
- network security
- smart card
- model checking
- database
- cyber security
- formal verification
- model checker
- service oriented
- user interface