4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Masoud Koleini, Eike Ritter, Mark Ryan
We develop a modeling technique based on interpreted systems in order to verify temporal-epistemic properties over access control policies. This approach enables us to detect infor…