An Event-B Formal Model for Access Control and Resource Management of Serverless Apps.
Mehmet Said Nur YagmahanAbdolbaghi RezazadehMichael J. ButlerPublished in: ABZ (2024)
Keyphrases
- formal model
- resource management
- access control
- management system
- dynamic access control
- resource allocation
- data security
- security policies
- access control models
- grid computing
- quality of service
- security mechanisms
- role based access control
- intelligent agents
- security requirements
- access control policies
- real time
- database systems
- mobile applications
- database security
- multi agent
- intelligent systems