Secure access control in multidomain environments and formal analysis of model specifications. - Fatemeh Nazerian; Homayun Motameni; Hossein Nematzadeh (Turkish J. Electr. Eng. Comput. Sci., 2018)

Emergency role-based access control (E-RBAC) and analysis of model specifications with alloy. - Fatemeh Nazerian; Homayun Motameni; Hossein Nematzadeh (J. Inf. Secur. Appl., 2019)