Validating firewalls using flow logics
From MaRDI portal
Publication:1603656
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)
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 monotone framework for CCS, 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
- 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