https://1library.net/document/y907g0wy-secure-kerberos-key-exchange-smart-cards.html