Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D.J. Bernstein, Some thoughts on security after ten years of qmail 1.0, available online at http://cr.yp.to/qmail/qmailsec-20071101.pdf
Cap-talk mailing list, http://www.eros-os.org/pipermail/cap-talk/
J. Donelly, cap-talk mailing-list Beitrag, http://www.eros-os.org/pipermail/cap-talk/2008-April/010761.html
Erights.org, Homepage der sicheren Programmiersprache „E“
S. Garfinkel, Design Principles and Patterns for Computer Systems That Are Simultaneously Secure and Usable, Dissertation, Massachusetts Institute of Technology (MIT) 2005, available online at http://www.simson.net/thesis/
B. Lampson, Keynote zur Usenix Konferenz 2005, http://www.usenix.org/ events/sec05/tech/
M.S. Miller, Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, Dissertation, Johns Hopkins University, Baltimore, available online at http://www.erights.org/talks/thesis/index.html
P. van Roy, S. Haridi, Concepts, Techniques, and Models of Computer Programming, The MIT Press, 2004
J.H. Saltzer, M.D. Schroeder, The Protection of Information in Computer Systems, available online at http://www.cs.virginia.edu/∼evans/cs551/saltzer/
D. Vogt, Wurzelbehandlung. Linux Magazin 04/05 Seite 64 ff.
David Wagner, Object Capabilities for Security Google techtalk, November 30, 2007. http://www.youtube.com/watch?v=EGX2I31OhBE
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schmitz, R., Kriha, W. (2009). Grundprinzipien des Designs sicherer Systeme. In: Sichere Systeme. Xpert.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78959-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-78959-8_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78958-1
Online ISBN: 978-3-540-78959-8
eBook Packages: Computer Science and Engineering (German Language)