Etienne J. Khayat

According to our database, Etienne J. Khayat authored at least 4 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Role-based access control (RBAC) : formal modelling and risk-based administration.

Etienne J. Khayat

PhD thesis, 2006

Formal Z Specifications of Several Flat Role-Based Access Control Models.

Ali E. Abdallah, Etienne J. Khayat

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2004

Risk Based Security Analysis of Permissions in RBAC.

Nimal Nissanke, Etienne J. Khayat

Proceedings of the Security In Information Systems, 2004

A Formal Model for Parameterized Role-Based Access Control.

Ali E. Abdallah, Etienne J. Khayat

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004