Fatemeh NAZERIAN, Homayun MOTAMENI, Hossein NEMATZADEH

Secure access control in multidomain environments and formal analysis of model specifications

Turkish Journal of Electrical Engineering and Computer Science

2018-Cilt: 26 - Sayı: 5

2525-2540

multidomain, conflict, Alloy, formal language, role-based access control

103 93