Winfried E. Kühnhauser

According to our database, Winfried E. Kühnhauser authored at least 32 papers between 1986 and 2020.

Collaborative distances:

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

2020

Exploiting Hot Spots in Heuristic Safety Analysis of Dynamic Access Control Models.

Marius Schlegel, Winfried E. Kühnhauser

Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

2019

Static Termination Analysis for Event-driven Distributed Algorithms.

Felix Wiemuth, Peter Amthor, Winfried E. Kühnhauser

Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019

Automated Cyber Threat Sensing and Responding: Integrating Threat Intelligence into Security-Policy-Controlled Systems.

Peter Amthor, Daniel Fischer, Winfried E. Kühnhauser, Dirk Stelzer

Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019

2015

Mapping CAN-to-ethernet communication channels within virtualized embedded environments.

Dominik Reinhardt, Maximilian Güntner, Markus Kucera, Thomas Waas, Winfried E. Kühnhauser

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Security Policy Synthesis in Mobile Systems.

Peter Amthor, Winfried E. Kühnhauser

Proceedings of the 2015 IEEE World Congress on Services, 2015

2014

WorSE: A Workbench for Model-based Security Engineering.

Peter Amthor, Winfried E. Kühnhauser, Anja Pölck

Comput. Secur., 2014

2013

Heuristic safety analysis of access control models.

Peter Amthor, Winfried E. Kühnhauser, Anja Pölck

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

2011

Model-based safety analysis of SELinux security policies.

Peter Amthor, Winfried E. Kühnhauser, Anja Pölck

Proceedings of the 5th International Conference on Network and System Security, 2011

Towards Access Control Model Engineering.

Winfried E. Kühnhauser, Anja Pölck

Proceedings of the Information Systems Security - 7th International Conference, 2011

2010

Efficient Algorithmic Safety Analysis of HRU Security Models.

Anja Fischer, Winfried E. Kühnhauser

Proceedings of the SECRYPT 2010, 2010

2009

Software Architectural Design Meets Security Engineering.

Stephan Bode, Anja Fischer, Winfried E. Kühnhauser, Matthias Riebisch

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2006

A Time Model for Distributed Multimedia Applications.

Winfried E. Kühnhauser, Martin Süßkraut

Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006

2005

Towards a structure-aware failure semantics for streaming media communication models.

Martin Hoffmann, Winfried E. Kühnhauser

J. Parallel Distributed Comput., 2005

2004

Root Kits: an operating systems viewpoint.

Winfried E. Kühnhauser

ACM SIGOPS Oper. Syst. Rev., 2004

2003

Root Kits.

Winfried E. Kühnhauser

Datenschutz und Datensicherheit, 2003

1999

A Comment on S. Kang's and H. Lee's paper on "Analysis and Solution of Non-Preemptive Policies for Scheduling Readers and Writers".

Winfried E. Kühnhauser

ACM SIGOPS Oper. Syst. Rev., 1999

Embedding Security Policies into a Distributed Compuiting Environment.

Udo Halfmann, Winfried E. Kühnhauser

ACM SIGOPS Oper. Syst. Rev., 1999

Policy Groups.

Winfried E. Kühnhauser

Comput. Secur., 1999

1998

A Classification of Interdomain Actions.

Winfried E. Kühnhauser

ACM SIGOPS Oper. Syst. Rev., 1998

1997

CWASAR: a European Infrastructure for Secure Electronic Commerce.

Ciarán Bryce, Winfried E. Kühnhauser, Rémy Amouroux, Mauricio López, Harry Rudnik

J. Comput. Secur., 1997

1995

A Paradigm for User-Defined Security Policies.

Winfried E. Kühnhauser

Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

1994

Adaptability using Reflection.

Susann Sonntag, Hermann Härtig, Oliver C. Kowalski, Winfried E. Kühnhauser, Wolfgang Lux

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993

The BirliX Security Architecture.

Hermann Härtig, Oliver C. Kowalski, Winfried E. Kühnhauser

J. Comput. Secur., 1993

1992

Models and paradigms for distributed systems structuring: the BirliX approach.

Hermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Oliver C. Kowalski, Hermann Streich, A. Bäcker

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Performance of the BirLiX Operating System.

Peter Schüller, Hermann Härtig, Winfried E. Kühnhauser, Hermann Streich

Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, 1992

1991

Namensräume in verteilten Systemen.

Winfried E. Kühnhauser

PhD thesis, 1991

Issues in Security and Fault Tolerance.

Hermann Härtig, Winfried E. Kühnhauser, Jochen Liedtke

Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1990

Mechanisms for Persistence and Security in BirliX.

Winfried E. Kühnhauser, Hermann Härtig, Oliver C. Kowalski, Wolfgang Lux

Proceedings of the Security and Persistence, 1990

The Architecture of the BIRLIX Operating System.

Hermann Härtig, Winfried E. Kühnhauser, Oliver C. Kowalski, Wolfgang Lux, W. Reck, Hermann Streich, Gerhard Goos

Proceedings of the Architektur von Rechensystemen, 1990

1989

On the Implementation of Abstract Data Types in BirliX.

Wolfgang Lux, Hermann Härtig, Winfried E. Kühnhauser

Proceedings of the Process in Distributed Operating Systems and Distributed Systems Management, 1989

1987

Distribution and Recovery in the BirliX Operating System.

Hermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Hermann Streich, Gerhard Goos

Proceedings of the Kommunikation in Verteilten Systemen, 1987

1986

Distribution in the BirliX Operating System.

Hermann Härtig, Winfried E. Kühnhauser

Proceedings of the Architektur von Rechensystemen, 1986