Search Result

Found 2396 Document(s) match with the query 20407791
Operational semantics and verification of security protocols
Author : Cremers, Cas, author
Call Number : e20407791
Collection Type : eBooks
Location : Universitas Indonesia Library
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
Author : Agung Widodo, author
Call Number : T-pdf
Collection Type : UI - Tesis Membership
Location : Universitas Indonesia Library
Computer communications security: principles, standard protocols and techniques
Author : Ford, Warwick, author
Call Number : 005.8 FOR c
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Semantics
Author : Saeed, John I., author
Call Number : 401.43 SAE s
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Semantics
Author : Palmer, F.R., author
Call Number : 412 PAL s
Collection Type : Buku Teks
Location : Universitas Indonesia Library
Semantics
Author : Gregory, Howard, author
Call Number : 401.43 GRE s
Collection Type : Buku Teks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>