Software engineering for secure systems

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