Enforcing High-Level Security Properties for Applets

AuthID
P-00Y-NJR
5
Author(s)
Pavlova, M
·
Barthe, G
·
Burdy, L
·
Huisman, M
·
Lanet, JL
Tipo de Documento
Proceedings Paper
Year published
2004
Publicado
in CARDIS
Páginas: 1-16
Indexing
Publication Identifiers
DBLP: conf/cardis/PavlovaBBHL04
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.