Теория безусловно стойких протоколов аутентификации, разработанная Г. Симмонсом, аналог теории К. Шеннона систем (безусловно стойких) секретной связи. Основу теории аутентификации составляют модель схемы аутентификации, определения атак — имитация и подмена — на протоколы аутентификации, и нижние границы длин ключей в безусловно стойких протоколах аутентификации.