Security model development environment.

Jody Heaney, Marc Adkins, Gary Dolsen, John Page

Browse the full ACSAC paper archive.