Search filters

Information Flow Security in Mobile Ambients1 1Partially supported by MURST Projects “Interpretazione Astratta, Type Systems e Analisi Control-Flow”, and “Certificazione automatica di programmi mediante interpretazione astratta”

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description scientific article published in August 2001
Author/s

author: Agostino Cortesi  Riccardo Focardi 

Publication date August 2001
Language
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item