Components + Security = OS Extensibility. - Antony Edwards; Gernot Heiser (ACSAC, 2001)

Secure OS Extensibility Needn't Cost an Arm and a Leg. - Antony Edwards; Gernot Heiser (HotOS, 2001)

Runtime verification of authorization hook placement for the linux security modules framework. - Antony Edwards; Trent Jaeger; Xiaolan Zhang 001 (CCS, 2002)

Managing access control policies using access control spaces. - Trent Jaeger; Antony Edwards; Xiaolan Zhang 001 (SACMAT, 2002)

Gaining and maintaining confidence in operating systems security. - Trent Jaeger; Antony Edwards; Xiaolan Zhang 001 (ACM SIGOPS European Workshop, 2002)

Using CQUAL for Static Analysis of Authorization Hook Placement. - Xiaolan Zhang 001; Antony Edwards; Trent Jaeger (USENIX Security Symposium, 2002)

Policy management using access control spaces. - Trent Jaeger; Xiaolan Zhang 001; Antony Edwards (ACM Trans. Inf. Syst. Secur., 2003)

Consistency analysis of authorization hook placement in the Linux security modules framework. - Trent Jaeger; Antony Edwards; Xiaolan Zhang 001 (ACM Trans. Inf. Syst. Secur., 2004)