Declassification with Explicit Reference Points

  title={Declassification with Explicit Reference Points},
  author={Alexander Lux and Heiko Mantel},
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for many applications. For instance, the output of a knowledge-based authentication mechanism needs to reveal whether an input matches the secret password. The research problem is to allow such exceptions without giving up too much. Though a number of solutions has been developed, the problem is not yet satisfactorily… CONTINUE READING