Stepwise Development of Secure Systems

Thomas Santen. Stepwise Development of Secure Systems. In Janusz Górski, editor, Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings. Volume 4166 of Lecture Notes in Computer Science, pages 142-155, Springer, 2006. [doi]

Abstract

Abstract is missing.