An Aspect-Oriented Approach to Enforce Security Properties in Business Processes.
Inaya YahyaSameh Hbaieb TurkiAnis CharfiSlim KallelRafik BouazizPublished in: ICSOC Workshops (2013)
Keyphrases
- business processes
- security properties
- business process
- formal model
- security requirements
- security analysis
- security protocols
- web services
- business process models
- process model
- cryptographic protocols
- business rules
- workflow management systems
- formal methods
- business process management
- business environment
- business objectives
- artificial intelligence
- business process modeling
- business partners
- elliptic curve
- case study
- data warehouse
- service oriented architecture
- smart card