wikimedia
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
363516.363532
363516.363532
http://dx.doi.org/10.1145/363516.363532
A compiler for analyzing cryptographic protocols using noninterference
P356
Q62045743-E15F9963-DD3C-43DF-9E50-0F41F9DBB855
P356
363516.363532
http://dx.doi.org/10.1145/363516.363532