Among his theoretical contributions is the development of the Burrows-Abadi-Needham logic for authentication, generally known as the BAN logic.
Unter seinen theoretischen Beiträgen ist die Entwicklung der Burrows-Abadi-Needham-Logik für die Authentifizierung.