Homayun MOTAMENI,
Fatemeh NAZERIAN,
Hossein NEMATZADEH
Secure access control in multidomain environments and formal analysis of model specifications
Secure access control in multidomain environments and formal analysis of model specifications
Turkish Journal of Electrical Engineering and Computer Sciences
2018-Cilt: 26 - Sayı: 5
2525-2540
51
68