Using Argumentation Logic for Firewall Policy Specification and Analysis

Lecture Notes in Computer Science - Germany
doi 10.1007/11907466_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Meta-Argumentation, an Approach to Logic and Argumentation Theory

Informal Logic
Philosophy
2014English

Firewall Policy Queries

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2009English

Equivalence in Logic-Based Argumentation

Journal of Applied Non-Classical Logics
PhilosophyLogic
2014English

Specification and Prototyping of Structured Multimedia Documents Using Interval Temporal Logic

Advances in Temporal Logic
2000English

An Asymmetric Protocol for Argumentation Games in Defeasible Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Logic, Reasoning, Argumentation: Insights From the Wild

Logic and Logical Philosophy
Philosophy
2017English

An Optimizing IS-LM Specification for Monetary Policy and Business Cycle Analysis

1997English

Circumscription in Data Logic for Data Type Specification

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1994English

Verified Iptables Firewall Analysis and Verification

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy