Lukas Brügger

According to our database, Lukas Brügger authored at least 9 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Formal Network Models and Their Application to Firewall Policies.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Arch. Formal Proofs, 2017

2015

Formal firewall conformance testing: an application of test and proof techniques.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Softw. Test. Verification Reliab., 2015

2014

The Unified Policy Framework (UPF).

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Arch. Formal Proofs, 2014

2013

hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

A framework for modelling and testing of security policies.

Lukas Brügger

PhD thesis, 2012

2011

An approach to modular and testable security models of real-world health-care applications.

Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

2010

Verified Firewall Policy Transformations for Test Case Generation.

Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff

Proceedings of the Third International Conference on Software Testing, 2010

2008

Verifying Test-Hypotheses: An Experiment in Test and Proof.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Model-Based Firewall Conformance Testing.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Proceedings of the Testing of Software and Communicating Systems, 2008