Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen  Home/Search
Context Related
Links: ACM DBLP | daimi.au.dk/~fn/Papers/NNHJ99fire.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: 163.com/~mobileambient/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A rewall is said to be protective whenever it denies entry to attackers not possessing the required passwords. We devise a polynomial time algorithm for rejecting proposed rewalls that are not guaranteed to be protective. This is based on a control ow analysis for recording what processes may turn up inside what other processes; in particular, we develop a syntaxdirected... (Update)
Cited by: More
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
Controlling Data Movement in Global Computing Applications - Daniele Gorla Rosario (2004) (Correct)
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (Correct)
Similar documents (at the sentence level):
10.4%: Validating Firewalls using Flow Logics - Nielson, Nielson, Hansen (2002) (Correct)
Active bibliography (related documents): More All
0.5: A Kleene Analysis of Mobile Ambients - Nielson, Nielson, Sagiv (2000) (Correct)
0.5: Control Flow based Security Properties - Gupta (2000) (Correct)
0.5: Shape Analysis for Mobile Ambients - Nielson, Nielson (2000) (Correct)
Similar documents based on text: More All
0.6: Annotated Type Systems for Program Analysis - Solberg (1995) (Correct)
0.5: Type and Behaviour Reconstruction for Higher-Order.. - Amtoft, Nielson, Nielson (1995) (Correct)
0.5: Flow Logics for Mobile Ambients - Hansen, Jensen (1999) (Correct)
Related documents from co-citation: More All
18: Mobile ambients - Cardelli, Gordon - 1998
16: Types for mobile ambients - Cardelli, Gordon - 1999
16: Abstract interpretation of mobile ambients (context) - Hansen, Jensen et al. - 1999
BibTeX entry: (Update)
F. Nielson, H. R. Nielson, R. R. Hansen, and J. G. Jensen. Validating firewalls in mobile ambients. In Proc. Concur'99, LNCS 1664, pages 463--477, 1999. 18 http://citeseer.ist.psu.edu/nielson99validating.html More
@inproceedings{ nielson99validating,
author = "Flemming Nielson and Hanne Riis Nielson and Rene Rydhof Hansen and Jacob Grydholt Jensen",
title = "Validating Firewalls in Mobile Ambients",
booktitle = "International Conference on Concurrency Theory",
pages = "463-477",
year = "1999",
url = "citeseer.ist.psu.edu/nielson99validating.html" }
Citations (may not include all citations):18 applications and future directions (context) - Aiken, constraints - 1994
8 Gordon: Mobile Ambients (context) - Cardelli - 1998
8 Gordon: Types for Mobile Ambients (context) - Cardelli - 1999
4 Hankin: Principles of Program Analysis (context) - Nielson, Nielson - 1999
2 Thorn: Security and Dynamic Class Loading in Java: a formali.. (context) - Jensen, LeM - 1997
1 Nielson: Control Flow Analysis for the - calculus (context) - Bodei, Degano et al. - 1998
1 Nielson: Static analysis of processes for no readup and no w.. (context) - Bodei, Degano et al. - 1999
1 Jensen: Flow Logics for Mobile Ambients (context) - Hansen - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://go.163.com/~mobileambient/): More
An Implementation of Ambients in JoCaml - Fournet, Schmitt (1999) (Correct)
Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (2000) (Correct)
Security Analysis for Mobile Ambients - Francesca Levi Chiara (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC