Validating firewalls using flow logics

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

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen

Publication date: 15 July 2002

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

zbMATH Keywords

static analysis; control-flow analysis; firewalls; mobile ambients; flow logic; hardest attackers

Mathematics Subject Classification ID

68M10: Network design and communication in computer systems

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

Related Items

Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation, A Formal Analysis of Complex Type Flaw Attacks on Security Protocols, Hybrid logical analyses of the ambient calculus, From flow logic to static type systems for coordination languages, 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 control flow analysis for Beta-binders with and without static compartments, A typed encoding of boxed into safe ambients, A Static Analysis for Beta-Binders, MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item