On the security of public key protocols
Tóm tắt
Từ khóa
Tài liệu tham khảo
popek, 1978, Foundations of Secure Computation
hopcroft, 1969, Formal Languages and Their Relation to Automata
merkle, 1980, Protocols for public key cryptography
popek, 1978, Foundations of Secure Computation
hopcroft, 1969, Formal Languages and Their Relation to Automata
merkle, 1980, Protocols for public key cryptography