Tipe Koleksi | Indeks Artikel Jurnal |
Nama Jurnal | ACM TRANS. ON SOFTWARE ENGINEERING AND METHODOLOGY |
Volume | [9(2000): 4] |
Judul Artikel | A Compiler for Analyzing Cryptograohic Protocols Using Noninterference, page 488-528 |
Penulis | |
Penerbit Jurnal | New York: The Association for Computing Machinery |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
TERSEDIA |