Tahun Terbit Jurnal

Judul Artikel

A Compiler for Analyzing Cryptograohic Protocols Using Noninterference, page 488-528

Pengarang Artikel

Antonio Durante, [et all]

Volume Jurnal

9(2000): 4

ISSN/ISBN

1049-331X

Penerbit Jurnal

New York: The Association for Computing Machinery

Edisi Jurnal

Nama Jurnal

ACM TRANS. ON SOFTWARE ENGINEERING AND METHODOLOGY