@inproceedings{Mantel02,
  title = {On the Composition of Secure Systems},
  author = {Heiko Mantel},
  year = {2002},
  url = {http://computer.org/proceedings/sp/1543/15430088abs.htm},
  tags = {composition},
  researchr = {https://researchr.org/publication/Mantel02},
  cites = {0},
  citedby = {0},
  pages = {88},
  booktitle = {IEEE Symposium on Security and Privacy},
}