Carl Landwehr
Chercheur américain du Naval Research Laboratory, auteur de deux des synthèses les plus citées de l’histoire ancienne de la sécurité informatique.
« Formal Models for Computer Security », paru dans ACM Computing Surveys en 1981, a rassemblé en un seul texte l’état des modèles formels de sécurité, à une époque où les concepts n’étaient pas encore stabilisés. Pendant des années, il a servi d’introduction à tout le domaine.
Il a été suivi en 1994 par « A Taxonomy of Computer Program Security Flaws », rédigé avec des collègues du NRL, qui classait les vulnérabilités réelles selon leur mode d’introduction, leur moment et leur emplacement dans le système — une des premières tentatives pour faire de la chasse aux bogues quelque chose que l’on puisse compter. L’idée survit dans des catalogues comme CWE, même si plus personne ne la cite au passage. Landwehr s’est ensuite occupé du financement de la recherche en sécurité à la National Science Foundation américaine.