Bookmark Saya

Semantic Scholar Open Access 1996 1176 sitasi

A sound type system for secure flow analysis

D. Volpano C. Irvine Geoffrey Smith
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (3)

D

D. Volpano

C

C. Irvine

G

Geoffrey Smith

Format Sitasi

APA MLA BibTeX
Volpano, D., Irvine, C., Smith, G. (1996). A sound type system for secure flow analysis. https://doi.org/10.3233/JCS-1996-42-304

Akses Cepat

Lihat di Sumber doi.org/10.3233/JCS-1996-42-304
Informasi Jurnal
Tahun Terbit
1996
Bahasa
en
Total Sitasi
1176×
Sumber Database
Semantic Scholar
DOI
10.3233/JCS-1996-42-304
Akses
Open Access ✓