\begin{thebibliography}{10}

\bibitem{fmoods02}
Chiara Braghin, Agostino Cortesi, and Riccardo Focardi.
\newblock {C}ontrol {F}low {A}nalysis of {M}obile {A}mbients with {S}ecurity
  {B}oundaries.
\newblock In Bart Jacobs and Arend Rensink, editors, {\em Proc. of Fifth IFIP
  International Conference on Formal Methods for Open Object-Based Distributed
  Systems ({FMOODS'02})}, pages 197--212. {K}luwer {A}cademic {P}ublisher,
  2002.

\bibitem{concoord01}
Agostino Cortesi and Riccardo Focardi.
\newblock {I}nformation {F}low {S}ecurity in {M}obile {A}mbients.
\newblock In {\em Proc. of International Workshop on Concurrency and
  Coordination {(ConCoord'01)}}, volume~54 of {\em Electronic Notes on
  Theoretical Computer Science, {ENTCS}}. Elsevier, July~6--8~ 2001.

\bibitem{Cardelli:97:MA}
Luca Cardelli and Andrew~D. Gordon.
\newblock {M}obile {A}mbients.
\newblock In M.~Nivat, editor, {\em Proceedings of Foundations of Software
  Science and Computation Structures (FoSSaCS)}, volume 1378 of {\em LNCS},
  pages 140--155. Springer-Verlag, Berlin, Germany, March 1998.

\bibitem{BDNN99pi}
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne~Riis Nielson.
\newblock {S}tatic {A}nalysis of {P}rocesses for {N}o {R}ead-{U}p and {N}o
  {W}rite-{D}own.
\newblock In {\em Proc.~FoSSaCS'99}, number 1578 in Lecture Notes in Computer
  Science, pages 120--134. Springer-Verlag, 1999.

\bibitem{focardi00information}
Riccardo Focardi, Roberto Gorrieri, and Fabio Martinelli.
\newblock {I}nformation {F}low {A}nalysis in a {D}iscrete-{T}ime {P}rocess
  {A}lgebra.
\newblock In {\em Proc. of The 13th Computer Security Foundations Workshop
  ({CSFW})}, pages 170--184. IEEE Computer Society Press, 2000.

\bibitem{FG95}
Riccardo Focardi and Roberto Gorrieri.
\newblock {A} {C}lassification of {S}ecurity {P}roperties for {P}rocess
  {A}lgebras.
\newblock {\em Journal of Computer Security}, 3(1):5--33, 1995.

\bibitem{FG97}
Riccardo Focardi and Roberto Gorrieri.
\newblock {T}he {C}ompositional {S}ecurity {C}hecker: {A} {T}ool for the
  {V}erification of {I}nformation {F}low {S}ecurity {P}roperties.
\newblock {\em IEEE Transactions on Software Engineering}, 23(9):550--571, sep
  1997.

\bibitem{hennessy00resource}
Matthew Hennessy and James Riely.
\newblock {I}nformation {F}low vs. {R}esource {A}ccess in the {A}synchronous
  {P}i-{C}alculus.
\newblock In U.~Montanari, J.~Rolim, and E.~Welzl, editors, {\em Proc. of the
  International Colloquium on Automata, Languages and Programming}, volume 1853
  of {\em Lecture Notes in Computer Science}, pages 415--427, Geneva, August
  2000. Springer-Verlag.

\bibitem{smith98secure}
Geoffrey Smith and Dennis Volpano.
\newblock {S}ecure {I}nformation {F}low in a {M}ulti-{T}hreaded {I}mperative
  {L}anguage.
\newblock In {\em Conference Record of {POPL} 98: The 25TH {ACM}
  {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San
  Diego, California}, pages 355--364, New York, NY, 1998.

\bibitem{BugCasCra:TACS:01}
Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa.
\newblock {B}oxed {A}mbients.
\newblock In {\em Proc. of the 4th Int. Conference on Theoretical Aspects of
  Computer Science ({TACS'01})}, volume 2215 of {\em LNCS}, pages 38--63.
  Springer-Verlag, 2001.

\bibitem{levi00controlling}
Francesca Levi and Davide Sangiorgi.
\newblock {C}ontrolling {I}nterference in {A}mbients.
\newblock In {\em Proc. 28th ACM Symposium on Principles of Programming
  Languages {(POPL'01)}}, pages 352--364, 2000.

\bibitem{HJNN99ai}
R.~R. Hansen, J.~G. Jensen, F.~Nielson, and H.~Riis Nielson.
\newblock {A}bstract {I}nterpretation of {M}obile {A}mbients.
\newblock In A.Cortesi and G.File', editors, {\em Proc. of Static Analysis
  Symposium ({SAS}'99)}, number 1694 in Lecture Notes in Computer Science,
  pages 134--148. Springer-Verlag, 1999.

\bibitem{nielsonAbstr}
F.~Nielson, R.~R. Hansen, and H.~Riis Nielson.
\newblock {A}bstract {I}nterpretation of {M}obile {A}mbients.
\newblock {\em Science of Computer Programming}, Special Issue on Static
  Analysis edited by A.Cortesi and G.File', to appear.

\bibitem{BDNN98pi}
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne~Riis Nielson.
\newblock {C}ontrol {F}low {A}nalysis for the $\pi$-calculus.
\newblock In {\em Proc.~CONCUR'98}, number 1466 in Lecture Notes in Computer
  Science, pages 84--98. Springer-Verlag, 1998.

\bibitem{cardelli.ghelli.ea:ambient-groups}
Luca Cardelli, Giorgio Ghelli, and Andrew~D. Gordon.
\newblock {A}mbient {G}roups and {M}obility {T}ypes.
\newblock In J.~{van Leeuwen}, O.~Watanabe, M.~Hagiya, P.~D. Mosses, and
  T.~Ito, editors, {\em Theoretical Computer Science: Exploring New Frontiers
  of Theoretical Informatics, Proceedings of the International {IFIP}
  Conference {TCS} 2000 (Sendai, Japan)}, volume 1872 of {\em LNCS}, pages
  333--347. IFIP, Springer, August 2000.

\bibitem{Dezani-Salvo:00}
Mariangiola Dezani-Ciancaglini and I.Salvo.
\newblock {S}ecurity {T}ypes for {M}obile {S}afe {A}mbients.
\newblock In Jifeng He and Masahiko Sato, editors, {\em Proc. of Advances in
  Computing Science - {ASIAN}'00 (6th Asian Computing Science Conference,
  Penang, Malaysia)}, volume 1961 of {\em LNCS}, pages 215--236. Springer,
  December 2000.

\bibitem{degano.levi.ea:safe-ambients}
Pierpaolo Degano, Francesca Levi, and Chiara Bodei.
\newblock {S}afe {A}mbients: {C}ontrol {F}low {A}nalysis and {S}ecurity.
\newblock In Jifeng He and Masahiko Sato, editors, {\em Proc. of Advances in
  Computing Science - {ASIAN}'00 (6th Asian Computing Science Conference,
  Penang, Malaysia)}, volume 1961 of {\em LNCS}, pages 199--214. Springer,
  December 2000.

\bibitem{BugCas:POPL:01}
Michele Bugliesi and Giuseppe Castagna.
\newblock {S}ecure {S}afe {A}mbients.
\newblock In {\em Proc. 28th ACM Symposium on Principles of Programming
  Languages {(POPL'01)}}, pages 222--235. ACM Press, 2001.

\bibitem{BugCas:CompLang:02}
Michele Bugliesi and Giuseppe Castagna.
\newblock {B}ehavioural {T}yping of {S}afe {A}mbients.
\newblock {\em Journal of Computer Security}, this issue.

\bibitem{levi.bodei:sec-analysis}
Francesca Levi and Chiara Bodei.
\newblock {S}ecurity {A}nalysis for {M}obile {A}mbients.
\newblock In {\em Electronic Proc. of IFIP WG 1.7 Workshop on Issues on the
  Theory of Security (WITS'00), Geneve}, 2000.

\end{thebibliography}
