A framework for security assurance of access control enforcement code

Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel. A framework for security assurance of access control enforcement code. Computers & Security, 29(7):770-784, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: