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]

@inproceedings{Santen06:0,
  title = {Stepwise Development of Secure Systems},
  author = {Thomas Santen},
  year = {2006},
  doi = {10.1007/11875567_11},
  url = {http://dx.doi.org/10.1007/11875567_11},
  researchr = {https://researchr.org/publication/Santen06%3A0},
  cites = {0},
  citedby = {0},
  pages = {142-155},
  booktitle = {Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  editor = {Janusz Górski},
  volume = {4166},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-45762-3},
}