Logic-Oriented Confidentiality Policies for Controlled Interaction Execution

@inproceedings{Biskup2013LogicOrientedCP,
  title={Logic-Oriented Confidentiality Policies for Controlled Interaction Execution},
  author={Joachim Biskup},
  booktitle={DNIS},
  year={2013}
}