Simplifying Firewall Setups by Using Offline Validation

Windmüller, Stephan

doi:10.3233/jid-2013-0011

Cited by 3 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Adão et al [19] present a tool for converting abstract firewall models into concrete configurations for the Netfilter networking framework in Linux. Windmüller [7] uses a configuration that combines a model checker, a graphical modeling environment, and external tools to simplify the process of testing and validation of firewall setups for end users. Industry efforts such as Cisco's CLI [20] have focused on specific entities such as Routers.…”

Section: Related Workmentioning

confidence: 99%

“…We explore the use of a model based approach for detection of configuration errors in the planning and design phase. The verification and validation of network configurations has been studied extensively [4,5,6,7,8,9]. However, previous work either does not provide a methodology for identifying and specifying rules, or describe how the corresponding rule violation error messages are generated to help environment designers.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Model Based Verification of Cyber Range Event Environments

Damodaran

Tidmarsh

2016

Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems 2016 (MSCIAAS 2016) and Space Simulation

View full text Add to dashboard Cite

We apply model based verification to cyber range event environment configurations, allowing for the early detection of errors in event environment configurations, and a reduction in the time and resources used during deployment. We categorize misconfiguration errors detected using the Common Cyber Environment Representation (CCER) ontology. We also provide an overview of a methodology to specify verification rules and the corresponding error messages. These rules have successfully detected errors in the designs of several cyber range event environments, thereby reducing cost and time to deployment.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Model Based Verification of Cyber Range Event Environments

Damodaran

Tidmarsh

2016

Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems 2016 (MSCIAAS 2016) and Space Simulation

View full text Add to dashboard Cite

show abstract

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

Margaria

Boßelmann

Kujath

2013

Journal of Integrated Design and Process Science

View full text Add to dashboard Cite

Process modeling has become an established technique to document, analyse and automate workflows. Workflows that model the procedures followed by professionals require the immediate contribution of these professionals, who usually lack broad knowledge of formal models as well as software engineering skills. Simplicity of the selected modeling approach throughout each step of the design phase is therefore a key factor for the success of a workflow management project. In this paper we show a process modelling framework that combines simplicity and intuitiveness in the modeling phase with immediate evaluation of the models via execution. This combination allows practitioners and professionals to play a key role in the rapid development of IT applications and systems that support role-based workflows. We discuss the practicability and benefits of this approach on an exemplary case study from the healthcare domain: analysis and optimization of outpatient clinic processes of a leading German hospital.

show abstract

Simplicity in IT: a Chance for a New Kind of Design and Process Science

Margaria

Floyd

2013

Journal of Integrated Design and Process Science

View full text Add to dashboard Cite

The philosophy of simplicity as a key value, underlying and driving design and decisions, is strategically important yet poorly understood and rarely systematically applied in IT. Instead, design principles attempt to focus predominantly on increased functionality within thinly disguised complexity, often at the expense of life cycle costs and total cost of ownership issues (e.g., training, system malfunctions, system upgrades). Designers and researchers alike must be challenged in their current thinking in order to make salient these trade-offs and impacts. This special issue presents five points of view of how simplicity focused work can provide intrinsic and long lasting gains in improving the philosophy, methods, and tools behind the practice of design and processes in IT systems. With the increased use of IT in socially critical areas as healthcare, transportation, banking, and international telecommunication infrastructure, society can no longer afford systems that do not perform as specified, causing costs and grief, and are designed in such a fashion that system modifications turn out to be administratively and economically infeasible. We examine here aspects of simplicity in the domains of design, deployment and provision, and evolution along the IT lifecycle.

show abstract

Simplifying Firewall Setups by Using Offline Validation

Cited by 3 publications

References 15 publications

Model Based Verification of Cyber Range Event Environments

Model Based Verification of Cyber Range Event Environments

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

Simplicity in IT: a Chance for a New Kind of Design and Process Science

Contact Info

Product

Resources

About