A framework for formal analysis of two classes of public key protocols


Christian F. Heide
Bok Engelsk 1993

Detaljer

Bibliotek som har denne