Antony Edwards

Runtime verification of authorization hook placement for the linux security modules framework

Trent Jaeger, Antony Edwards, Xiaolan Zhang, 2002, CCS '02.

Using CQUAL for Static Analysis of Authorization Hook Placement

Trent Jaeger, Antony Edwards, Xiaolan Zhang, 2002, USENIX Security Symposium.

Maintaining the Correctness of the Linux Security Modules Framework

Trent Jaeger, Antony Edwards, Xiaolan Zhang, 2010 .

Gaining and maintaining confidence in operating systems security

Trent Jaeger, Antony Edwards, Xiaolan Zhang, 2002, EW 10.

A preliminary categorization of what mathematics undergraduate students include on exam 'crib sheets'

Antony Edwards, Birgit Loch, 2015 .

Components + security = OS extensibility

Gernot Heiser, Antony Edwards, G. Heiser, 2001, Proceedings 6th Australasian Computer Systems Architecture Conference. ACSAC 2001.

A component architecture for system extensibility

Antony Edwards, 2000 .

Secure OS extensibility needn't cost an arm and a leg

Gernot Heiser, Antony Edwards, 2001, Proceedings Eighth Workshop on Hot Topics in Operating Systems.

Policy management using access control spaces

Trent Jaeger, Antony Edwards, Xiaolan Zhang, 2003, TSEC.

Consistency analysis of authorization hook placement in the Linux security modules framework

Trent Jaeger, Antony Edwards, Xiaolan Zhang, 2004, TSEC.

Managing access control policies using access control spaces

Trent Jaeger, Antony Edwards, Xiaolan Zhang, 2002, SACMAT '02.