A compiler for analyzing cryptographic protocols using noninterference
about
A compiler for analyzing cryptographic protocols using noninterference
description
2000 nî lūn-bûn
@nan
2000年の論文
@ja
2000年学术文章
@wuu
2000年学术文章
@zh
2000年学术文章
@zh-cn
2000年学术文章
@zh-hans
2000年学术文章
@zh-my
2000年学术文章
@zh-sg
2000年學術文章
@yue
2000年學術文章
@zh-hant
name
A compiler for analyzing cryptographic protocols using noninterference
@en
A compiler for analyzing cryptographic protocols using noninterference
@nl
type
label
A compiler for analyzing cryptographic protocols using noninterference
@en
A compiler for analyzing cryptographic protocols using noninterference
@nl
prefLabel
A compiler for analyzing cryptographic protocols using noninterference
@en
A compiler for analyzing cryptographic protocols using noninterference
@nl
P356
P1476
A compiler for analyzing cryptographic protocols using noninterference
@en
P2093
Antonio Durante
Roberto Gorrieri
P304
P356
10.1145/363516.363532
P577
2000-10-01T00:00:00Z