A Linear Time Algorithm for Deciding Security Anita K. Jones Richard J. Lipton Lawrence Snyder 33-41 conf/focs/FOCS17 1976 FOCS db/conf/focs/focs76.html#JonesLS76