Reasoning About Firewall Policies Through Refinement and Composition

Journal of Computer Security - Netherlands
doi 10.3233/jcs-17971
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

A Modal Logic for Reasoning About Economic Policies

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Spotting Intrusion Scenarios From Firewall Logs Through a Case-Based Reasoning Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Firewall Configuration Management Using XACML Policies

2008English

Safe and Efficient Strategies for Updating Firewall Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Logical Framework for Reasoning About Delegation Policies in Workflow Management Systems

International Journal of Information and Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2011English

Reasoning About Skills and Competencies

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Collaborative Enforcement of Firewall Policies in Virtual Private Networks

2008English

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Learning and Reasoning About Interruption

2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy