Número de Cutter-SanbornP332mEntrada «Pauls» → 332 · marca de obra “m”

Mechanized proofs of security protocols

Needham-Schroeder with public keys

Autor	Lawrence C. Paulson
Editorial	University of Cambridge, Computer Laboratory
Idioma	inglés
Páginas	20
Serie	Technical report- University of Cambridge Computer Laboratory -- no.413
Número de Cutter	`P332m`

Mechanized proofs of security protocols | Cutter Number