Login / Signup
Mehmet Said Nur Yagmahan
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Access Control
Formal Model
Multi Agent
Database Security
Top Venues
ABZ
</>
Publications
</>
Mehmet Said Nur Yagmahan
,
Abdolbaghi Rezazadeh
,
Michael J. Butler
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps.
ABZ
(2024)