Research Interests
- Security monitoring, policies, languages, models and enforcement
- Software security and security testing
- Access control and privacy protection
- Model driven software development and model driven security
Publications
-
Michael Felderer and Basel Katt:
A process for mastering security evolution in the development lifecycle.
In International Journal on Software Tools for Technology Transfer, Volume 17, 2015.
-
Philipp Zech, Michael Felderer, Basel Katt and Ruth Breu:
Security Test Generation by Answer Set Programming.
In the 8th International Conference on Software Security and Reliability, SERE 2014. IEEE 2014, ISBN 978-1-4799-4296-1.
-
Michael Felderer, Basel Katt, Philipp Kalb, Jan Jürjens, Martin Ochoa, Federica Paci, Le Minh Sang Tran, Thein Than Tun, Koen Yskout, Riccardo Scandariato, Frank Piessens, Dries Vanoverberghe, Elizabeta Fourneret, Matthias Gander, Bjornar Solhaug and Ruth Breu:
Evolution of Security Engineering Artifacts: A State of the Art Survey.
In International Journal of Secure Software Engineering, IGI Global, Volume 5, Issue 3, 2014.
-
Thomas Trojer, Basel Katt, Tülay Özata, Ruth Breu, Patrick Magnesius and Thomas Schabetsberger:
Factors of Access Control Management in Electronic Healthcare: The Patients' Perspective.
In proceedings of the 2014 47th Hawaii International Conference on System Sciences (HICSS14), 2014.
-
Matthias Gander, Basel Katt, Michael Felderer and Ruth Breu:
Towards a Model- and Learning-Based Framework for Security Anomaly Detection.
In Formal Methods for Components and Objects, Lecture Notes in Computer Science Volume 7542, pp 150-168 , 2013.
-
Basel Katt, Matthias Gander, Ruth Breu and Michael Felderer:
Enhancing Model Driven Security through Pattern Refinement Techniques.
In Formal Methods for Components and Objects, Lecture Notes in Computer Science Volume 7542, pp 169-183 , 2013.
-
Matthias Gander, Michael Felderer, Basel Katt, Adrian Tolbaru, Ruth Breu and Alessandro Moschitti:
Anomaly Detection in the Cloud: Detecting Security Incidents via Machine Learning.
In Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Communications in Computer and Information Science Volume 379, pp 103-116, 2013.
-
Thomas Trojer, Basel Katt, Thomas Schabetsberger, Ruth Breu, and Richard Mair:
Considering privacy and effectiveness of authorization policies for shared electronic health records.
In proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (IHI 12), pp 553-562, ACM, New York, USA, 2012.
-
Thomas Trojer, Basel Katt, Thomas Schabetsberger, Ruth Breu, and Richard Mair:
Scenario-based Templates supporting Usable Privacy Policy Authoring.
In Amsterdam Privacy Conference 2012 (APC 2012), University of Amsterdam. SSRN 2012.
-
Thomas Trojer, Basel Katt, Thomas Schabetsberger, Ruth Breu, and Richard Mair:
Managing Privacy and Effectiveness of Patient-Administered Authorization Policies.
In the International Journal of Computational Models and Algorithms in Medicine (IJCMAM), Volume 3, Issue 2, pp 43-62, 2012,
-
Matthias Gander, Basel Katt, Ruth Breu and Michael Felderer:
Monitoring Anomalies in IT-Landscapes Using Clustering Techniques and Complex Event Processing.
In Leveraging Applications of Formal Methods, Verification, and Validation, Springer Berlin Heidelberg, pp 162-180, 2012.
-
Thomas Trojer, Basel Katt, Thomas Schabetsberger, Richard Mair and Ruth Breu:
The Process of Policy Authoring of Patient-Controlled Privacy Preferences.
In Electronic Healthcare. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Volume 91, pp 97-104, 2012.
-
Thomas Trojer, Basel Katt, Florian Wozack and Thomas Schabetsberger:
An Authoring Framework for Security Policies: A Use-Case within the Healthcare Domain.
In Electronic Healthcare. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Volume 69, pp 1-9, 2012.
-
Basel Katt, Thomas Trojer, Ruth Breu, Thomas Schabetsberger and Richard Mair:
Meeting EHR Security Requirements: SeAAS Approach.
In proceedings of perspeGKtive'10, IOS Press. pp 103-110, 2010.
-
Patrick Rempel, Basel Katt and Ruth Breu:
Supporting Role Based Provisioning with Rules Using OWL and F-Logic.
In proceedings of the On the Move to Meaningful Internet Systems (OTM 2010). Lecture Notes in Computer Science Volume 6426, pp 600-618, 2010.
-
Basel Katt, Michael Hafner and Xinwen Zhang:
A Usage Control Policy Specification with Petri Nets.
In proceedings of the 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing ( CollaborateCom 2009), pp 1-8, IEEE, 2009.
-
Basel Katt, Michael Hafner and Xinwen Zhang:
Building a Stateful Reference Monitor with Coloured Petri Nets.
In proceedings of the 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing ( CollaborateCom 2009), pp 1-10, IEEE, 2009.
-
Basel Katt, Michael Hafner and Xinwen Zhang:
Towards a Usage Control Policy Specification with Petri Nets.
In proceedings of the On the Move to Meaningful Internet Systems: OTM 2009. Lecture Notes in Computer Science Volume 5871, pp 905-912, 2009.
-
Thomas Schabetsberger, Richard Mair, Florian Wozak, Basel Katt, Frank Innerhofer-Oberperfler and Markus Mitterer:
health@net - A Case Study from Healthcare.
In Security Engineering for Service-Oriented Architectures, Springer Berlin Heidelberg, pp 189-222, 2009.
-
Thomas Schabetsberger, Florian Wozak, Basel Katt, Richard Mair, Bernhard Hirsch and Alexander Hörbst:
Implementation of a Secure and Interoperable Generic e-Health Infrastructure for Shared Electronic Health Records based on IHE Integration Profiles.
In Studies in health technology and informatics, 160, pp 889-893, 2009.
-
Basel Katt, Ruth Breu, Michael Hafner, Thomas Schabetsberger, Richard Mair and Florian Wozak:
Privacy and Access Control for IHE-Based Systems.
In Electronic Healthcare. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Volume 01, pp 145-153, 2009.
-
Basel Katt, Xinwen Zhang, Ruth Breu, Michael Hafner and Jean-Pierre Seifert:
A General Obligation Model and Continuity-Enhanced Policy Enforcement Engine for Usage Control.
In proceedings of the 13th ACM Symposium on Access Control Models and Technologies (SACMAT08), ACM, pp 123-132, 2008.
-
Basel Katt and Michael Hafner:
Model-Driven Policy Framework for Usage Control based Privacy.
In the second International workshop on Model-based Design Of Trustworthy Health Information Systems (MOTHIS), Toulouse, France, 2008.
-
Ruth Breu, Alexander Lechner, Mathias Willburger and Basel Katt:
Workflow Testing.
In the 3rd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Chalkidiki, Greece, 2008.
Teaching
Winter Semester 15/16
Winter Semester 14/15
Summer Semester 14
Winter Semester 13/14
Summer Semester 13
Winter Semester 12/13
Summer Semester 12
Winter Semester 09/10
Winter Semester 08/09
Summer Semester 08