Winfried E. Kühnhauser

32 papers B 4C 2Misc 2Journal 10Unranked 13
YearRankTypeTitle / Venue / Authors
2020 — conf
Exploiting Hot Spots in Heuristic Safety Analysis of Dynamic Access Control Models.
ICETE (2)
Marius Schlegel, Winfried E. Kühnhauser
2019 B conf
Automated Cyber Threat Sensing and Responding: Integrating Threat Intelligence into Security-Policy-Controlled Systems.
ARES
Peter Amthor, Daniel Fischer, Winfried E. Kühnhauser, Dirk Stelzer
2019 — conf
Static Termination Analysis for Event-driven Distributed Algorithms.
DEBS
Felix Wiemuth, Peter Amthor, Winfried E. Kühnhauser
2015 — conf
Mapping CAN-to-ethernet communication channels within virtualized embedded environments.
SIES
Dominik Reinhardt, Maximilian Güntner, Markus Kucera, Thomas Waas, Winfried E. Kühnhauser
2015 B conf
Security Policy Synthesis in Mobile Systems.
SERVICES
Peter Amthor, Winfried E. Kühnhauser
2014 J jnl
WorSE: A Workbench for Model-based Security Engineering.
Comput. Secur.
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck
2013 C conf
Heuristic safety analysis of access control models.
SACMAT
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck
2011 B conf
Model-based safety analysis of SELinux security policies.
NSS
Peter Amthor, Winfried E. Kühnhauser, Anja Pölck
2011 Misc conf
Towards Access Control Model Engineering.
ICISS
Winfried E. Kühnhauser, Anja Pölck
2010 C conf
Efficient Algorithmic Safety Analysis of HRU Security Models.
SECRYPT
Anja Fischer, Winfried E. Kühnhauser
2009 — conf
Software Architectural Design Meets Security Engineering.
ECBS
Stephan Bode, Anja Fischer, Winfried E. Kühnhauser, Matthias Riebisch
2006 Misc conf
A Time Model for Distributed Multimedia Applications.
ICDCN
Winfried E. Kühnhauser, Martin Süßkraut
2005 J jnl
Towards a structure-aware failure semantics for streaming media communication models.
J. Parallel Distributed Comput.
Martin Hoffmann, Winfried E. Kühnhauser
2004 J jnl
Root Kits: an operating systems viewpoint.
ACM SIGOPS Oper. Syst. Rev.
Winfried E. Kühnhauser
2003 J jnl
Root Kits.
Datenschutz und Datensicherheit
Winfried E. Kühnhauser
1999 J jnl
A Comment on S. Kang's and H. Lee's paper on "Analysis and Solution of Non-Preemptive Policies for Scheduling Readers and Writers".
ACM SIGOPS Oper. Syst. Rev.
Winfried E. Kühnhauser
1999 J jnl
Embedding Security Policies into a Distributed Compuiting Environment.
ACM SIGOPS Oper. Syst. Rev.
Udo Halfmann, Winfried E. Kühnhauser
1999 J jnl
Policy Groups.
Comput. Secur.
Winfried E. Kühnhauser
1998 J jnl
A Classification of Interdomain Actions.
ACM SIGOPS Oper. Syst. Rev.
Winfried E. Kühnhauser
1997 J jnl
CWASAR: a European Infrastructure for Secure Electronic Commerce.
J. Comput. Secur.
Ciarán Bryce, Winfried E. Kühnhauser, Rémy Amouroux, Mauricio López, Harry Rudnik
1995 B conf
A Paradigm for User-Defined Security Policies.
SRDS
Winfried E. Kühnhauser
1994 — conf
Adaptability using Reflection.
HICSS (2)
Susann Sonntag, Hermann Härtig, Oliver C. Kowalski, Winfried E. Kühnhauser, Wolfgang Lux
1993 J jnl
The BirliX Security Architecture.
J. Comput. Secur.
Hermann Härtig, Oliver C. Kowalski, Winfried E. Kühnhauser
1992 — conf
Models and paradigms for distributed systems structuring: the BirliX approach.
ACM SIGOPS European Workshop
Hermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Oliver C. Kowalski, Hermann Streich, A. Bäcker
1992 — conf
Performance of the BirLiX Operating System.
USENIX Workshop on Microkernels and Other Kernel Architectures
Peter Schüller, Hermann Härtig, Winfried E. Kühnhauser, Hermann Streich
1991 — conf
Issues in Security and Fault Tolerance.
Operating Systems of the 90s and Beyond
Hermann Härtig, Winfried E. Kühnhauser, Jochen Liedtke
1991 — —
Namensräume in verteilten Systemen.
Winfried E. Kühnhauser
1990 — conf
Mechanisms for Persistence and Security in BirliX.
Security and Persistence
Winfried E. Kühnhauser, Hermann Härtig, Oliver C. Kowalski, Wolfgang Lux
1990 — conf
The Architecture of the BIRLIX Operating System.
ARCS
Hermann Härtig, Winfried E. Kühnhauser, Oliver C. Kowalski, Wolfgang Lux, W. Reck, Hermann Streich, Gerhard Goos
1989 — conf
On the Implementation of Abstract Data Types in BirliX.
Process in Distributed Operating Systems and Distributed Systems Management
Wolfgang Lux, Hermann Härtig, Winfried E. Kühnhauser
1987 — conf
Distribution and Recovery in the BirliX Operating System.
Kommunikation in Verteilten Systemen
Hermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Hermann Streich, Gerhard Goos
1986 — conf
Distribution in the BirliX Operating System.
ARCS
Hermann Härtig, Winfried E. Kühnhauser