Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme

Rüdiger Grimm, Melanie Volkamer. Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme. In Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler, editors, INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München. Volume 133 of LNI, pages 429-436, GI, 2008.

@inproceedings{GrimmV07,
  title = {Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme},
  author = {Rüdiger Grimm and Melanie Volkamer},
  year = {2008},
  researchr = {https://researchr.org/publication/GrimmV07},
  cites = {0},
  citedby = {0},
  pages = {429-436},
  booktitle = {INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München},
  editor = {Heinz-Gerd Hegering and Axel Lehmann and Hans Jürgen Ohlbach and Christian Scheideler},
  volume = {133},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-227-7},
}