@inproceedings{BiskupPreuss2017,
  author    = {Joachim Biskup and Marcel Preu{\ss}},
  title     = {Inference-Proof Updating of a Weakened View under the Modification of Input Parameters},
  booktitle = {22nd European Symposium on Research in Computer Security, {ESORICS} 2017, Part II},
  publisher = {Springer International Publishing AG},
  address   = {Cham},
  editor    = {Simon N. Foley and Dieter Gollmann and Einar Snekkenes},
  series    = {Lecture Notes in Computer Science},
  volume    = {10493},
  year      = {2017},
  pages     = {381--401},
}