Validating Firewalls in Mobile Ambients

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, J. G. Jensen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall 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 firewalls that are not guaranteed to be protective. This is based on a control flow analysis for recording what processes may turn up inside what other processes; in particular, we develop a syntax-directed system for specifying the acceptability of an analysis, we prove that all acceptable analyses are semantically sound, and we demonstrate that each process admits a least analysis.
    Original languageEnglish
    Title of host publicationProc. CONCUR'99
    PublisherSpringer Verlag
    Publication date1999
    Pages463-477
    Publication statusPublished - 1999
    EventProc. CONCUR'99 -
    Duration: 1 Jan 1999 → …

    Conference

    ConferenceProc. CONCUR'99
    Period01/01/1999 → …

    Fingerprint Dive into the research topics of 'Validating Firewalls in Mobile Ambients'. Together they form a unique fingerprint.

    Cite this