Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.

A. Ramirez, J. Schmaltz, F. Verbeek, B. Langenstein, and H. Blasum. SAFECOMP, volume 8666 of Lecture Notes in Computer Science, page 246-261. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Holger Steeb University of Stuttgart

Dr. Holger Jakob University of Stuttgart

Holger Sauter University of Stuttgart

Dr. -Ing. Holger Röseler University of Stuttgart

Dr. Holger Dietrich University of Stuttgart

Other publications of authors with the same name

Lessons Learned From Microkernel Verification -- Specification is the New BottleneckC. Baumann, B. Beckert, H. Blasum, and T. Bormer. SSV, volume 102 of EPTCS, page 18-32. (2012)Formal Specification of a Generic Separation Kernel.F. Verbeek, S. Tverdyshev, O. Havle, H. Blasum, B. Langenstein, W. Stephan, Y. Nemouchi, A. Feliachi, B. Wolff, and J. Schmaltz. Archive of Formal Proofs, (2014)Ease Standard Compliance by Technical Means via MILS.S. Nordhoff, and H. Blasum. MILS, Zenodo, (2017)Proving Memory Separation in a Microkernel by Code Level Verification.C. Baumann, T. Bormer, H. Blasum, and S. Tverdyshev. ISORC Workshops, page 25-32. IEEE Computer Society, (2011)Formal Verification of a Microkernel Used in Dependable Software Systems.C. Baumann, B. Beckert, H. Blasum, and T. Bormer. SAFECOMP, volume 5775 of Lecture Notes in Computer Science, page 187-200. Springer, (2009)Formal API Specification of the PikeOS Separation Kernel.F. Verbeek, O. Havle, J. Schmaltz, S. Tverdyshev, H. Blasum, B. Langenstein, W. Stephan, B. Wolff, and Y. Nemouchi. NFM, volume 9058 of Lecture Notes in Computer Science, page 375-389. Springer, (2015)Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms.H. Blasum. MILS@HiPEAC, Zenodo, (2015)MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures.K. Mueller, M. Paulitsch, S. Tverdyshev, and H. Blasum. DSN Workshops, page 1-6. IEEE Computer Society, (2012)Security Architecture and Specification Framework for Safe and Secure Industrial Automation.S. Tverdyshev, H. Blasum, E. Rudina, D. Kulagin, P. Dyakin, and S. Moiseev. CRITIS, volume 9578 of Lecture Notes in Computer Science, page 3-14. Springer, (2015)On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.A. Ramirez, J. Schmaltz, F. Verbeek, B. Langenstein, and H. Blasum. SAFECOMP, volume 8666 of Lecture Notes in Computer Science, page 246-261. Springer, (2014)