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

Fatemeh Nazerian, Homayun Motameni, Hossein Nematzadeh. Secure access control in multidomain environments and formal analysis of model specifications. Turkish J. Electr. Eng. Comput. Sci., 26(5):2525-2540, 2018. [doi]

Abstract

Abstract is missing.