Towards Confidentiality-by-Construction.

Ina Schaefer, Tobias Runge, Alexander Knppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson

Browse the full ISoLA paper archive.