A Linear Time Algorithm for Deciding Security

Anita K. Jones, Richard J. Lipton, Lawrence Snyder

Browse the full FOCS paper archive.