Software engineering for secure systems

@inproceedings{Bruschi-al:ICSE05,
  author    = {Danilo Bruschi and
               Bart De Win and
               Mattia Monga},
  title     = {Software engineering for secure systems},
  booktitle = {ICSE},
  pages     = {681},
  publisher = {{ACM}},
  year      = {2005},
}