Security boundaries in mobile ambients

Secure information flow in a multi-threaded imperative language

Geoffrey Smith, Dennis Volpano · 1998 · 406 citations · Full text

Computing, Computer Science, Formal Methods +12

A Classification of Security Properties for Process Algebras1

Riccardo Focardi, Roberto Gorrieri · Journal of Computer Security · 1995 · 310 citations

Computing, Computer Science, Computer Security +7

Mobile ambients

Luca Cardelli, Andrew D. Gordon · Formal Methods · 2001 · 259 citations

Computing, Computer Systems, Mobile Computing +4

Controlling interference in ambients

Francesca Levi, Davide Sangiorgi · 2000 · 212 citations

Computing, Computer Science, Formal Methods +7

The Compositional Security Checker: a tool for the verification of information flow security properties

Riccardo Focardi, Roberto Gorrieri · IEEE Transactions on Software Engineering · 1997 · 195 citations

Computing, Computer Science, Computer Systems +17