An event-B formal model for access control and resource management of serverless apps

Yagmahan, Mehmet Said Nur, Rezazadeh, Abdolbaghi and Butler, Michael (2024) An event-B formal model for access control and resource management of serverless apps. In Rigorous State-Based Methods: 10th International Conference, ABZ 2024. Springer. 9 pp . (In Press)

Record type: Conference or Workshop Item (Paper)

Abstract

Cloud computing technologies helps developers build scalable distributed apps. Serverless architecture, or Function as a Service (FaaS), which separates app business into multiple functions, is one of the cloud computing concepts that has gained popularity. Those functions can be developed and deployed independently without provisioning infrastructure.

Despite the considerable advantages and increasing popularity of cloud-native apps, developers face many challenges when building their cloud-native applications. To ensure the robustness and security of cloud-native apps and protect crucial resources, the design and implementation of functions and associated access control systems play a pivotal role.

In this paper, we have employed formal methods and tools to develop a set of patterns to help cloud-native application developers design robust serverless systems. We have used Event-B and its associated toolset, Rodin, to construct these formal patterns.

Text

ABZ_2024_paper__Shorten_ (2) - Accepted Manuscript

Available under License University of Southampton Accepted Manuscript Licence.

Download (545kB)