See Allo

Cremers, Cas, author

Operational semantics and verification of security protocols

Springer-Verlag, 2012

eBooks

Agung Widodo, author

Analisis Keamanan Protokol Kriptografi Pada Aplikasi Enkripsi Desktop Menggunakan Pendekatan V erifikasi Formal: Studi Keamanan pada Aplikasi ABC = Cryptographic Protocols Security Analysis in Desktop Encryption Application Using Formal Verification Approach: Security Studies in ABC Applications

Fakultas Teknik Universitas Indonesia, 2022

UI - Tesis (Membership)

Ford, Warwick, author

Computer communications security: principles, standard protocols and techniques

Prentice-Hall, 1994

Buku Teks

Saeed, John I., author

Wiley Blackwell, 2016

Buku Teks

Palmer, F.R., author

Cambridge University Press, 1991

Buku Teks

<< 1 2 3 >>