Enforcing High-Level Security Properties for Applets

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