O weryfikacji protokołów kryptograficznych
,
,
,
,
i
wyjaśniają, jak sprawdzić, czy dany protokół kryptograficzny jest bezpieczny