scientific article
From MaRDI portal
Publication:2766538
zbMath0988.68543MaRDI QIDQ2766538
Francesca Levi, Chiara Bodei, Pierpaolo Degano
Publication date: 8 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Nesting analysis of mobile ambients ⋮ On abstract interpretation of mobile ambients ⋮ The synchronized ambient calculus ⋮ Information flow security in boundary ambients ⋮ From flow logic to static type systems for coordination languages ⋮ A typed encoding of boxed into safe ambients ⋮ Types for the ambient calculus ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Pierpaolo Degano ⋮ Dynamic management of capabilities in a network aware coordination language ⋮ A Type Inference Algorithm for Secure Ambients ⋮ A Fully Abstract Model for Mobile Ambients ⋮ Techniques for Security Checking ⋮ Security boundaries in mobile ambients
This page was built for publication:
