Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Julius Michaelis
Verified Iptables Firewall Analysis and Verification
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
Verified Lightweight Bytecode Verification
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
An Automatic Verification Tool for Firewall Configurations
Using Argumentation Logic for Firewall Policy Specification and Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Analysis of Firewall and Network Intrusion Detection System Configurations
The Great Firewall of China: A Critical Analysis
Diverse Firewall Design
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Firewall Policy Queries
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Proactive Security Mechanism and Design for Firewall
Journal of Information Security
Reasoning About Firewall Policies Through Refinement and Composition
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
