Formal specification and analysis of cryptographic protocols Appendix G


Einar Snekkenes
Bok Engelsk 1995
Les boka på nett
Digital utgave: Søke-URL
Utgitt
Kjeller : Norwegian Defence Research Establishment , 1995
Omfang
863 sp.
Emner
Dewey

Bibliotek som har denne