C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Zubaria Asma
ORCID
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Formal Language
Intelligent Agents
Access Control Policies
Trust Negotiation
Top Venues
ESOCC
</>
Publications
</>
Ehtesham Zahoor
,
Zubaria Asma
,
Olivier Perrin
A Formal Approach for the Verification of AWS IAM Access Control Policies.
ESOCC
(2017)