According to our database1, Holger Blasum authored at least 11 papers between 2009 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2017
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015
Security Architecture and Specification Framework for Safe and Secure Industrial Automation.
Proceedings of the Critical Information Infrastructures Security, 2015
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011
Proceedings of the Computer Safety, 2009