Validating firewalls using flow logics

DOI10.1016/S0304-3975(01)00140-2zbMath1016.68003MaRDI QIDQ1603656

Hanne Riis Nielson, René Rydhof Hansen, Flemming Nielson

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

static analysiscontrol-flow analysisfirewallsmobile ambientsflow logichardest attackers

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (12)

MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ A monotone framework for CCS ⋮ Hybrid logical analyses of the ambient calculus ⋮ From flow logic to static type systems for coordination languages ⋮ A typed encoding of boxed into safe ambients ⋮ A control flow analysis for Beta-binders with and without static compartments ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Dynamic management of capabilities in a network aware coordination language ⋮ A Formal Analysis of Complex Type Flaw Attacks on Security Protocols ⋮ A Static Analysis for Beta-Binders

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. II
• Static analysis for the \(\pi\)-calculus with applications to security
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• On the security of public key protocols
• Shape analysis for mobile ambients
• Anytime, anywhere

This page was built for publication: Validating firewalls using flow logics