Items where Author is "Brügger, L."

Conference or Workshop Item

Brücker, A.D. and Brügger, L. and Kearney, Paul and Wolff, B. (2011) An Approach to Modular and Testable Security Models of Real-world Health-Care Applications. In: ACM Symposium on Access control Models and Technologies, 21-23 June, Indianapolis.

Brücker, A.D. and Brügger, L. and Kearney, Paul and Wolff, B. (2010) Verified firewall policy transformations for test case generation. In: Third Conference on Software Testing, Verification and Validation, Paris.