Missing/wrong data?
Log in to edit
Information Leakage Detection in Boundary Ambients1 1Partially supported by MIUR Projects “Interpretazione Astratta, Type Systems e Analisi Control-Flow” and “Modelli formali per la sicurezza”, and the EU Contract IST-2001-32617 “Models and
scientific article published in April 2003
Author/s
Work details
Publication date
April 2003
-
-
Copyright status
Copyright status information is not available for this work. The copyright status depends on the jurisdiction, the author's date of death and the date the work was created or published.
To learn more about copyright terms in different countries, visit the countries and terms page.