Vladislav Dubrovenski

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Dynamic Access Control

Signature Verification

Top Venues

Publications

Vladislav Dubrovenski, Md Nazmul Karim, Erzhuo Chen, Dianxiang Xu
Dynamic Access Control with Administrative Obligations: A Case Study. QRS Companion (2023)
Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu
Coverage-Based Testing of Obligations in NGAC Systems. SACMAT (2023)
Vladislav Dubrovenski, Erzhuo Chen, Dianxiang Xu
SMT-Based Verification of NGAC Policies. COMPSAC (2023)
Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu
Mutation Analysis of NGAC Policies. SACMAT (2021)