1:12:17Towards a formal theory of computer insecurity: a language-theoretic approachDartmouthRecommended by 2 • 15 years agoClassic