Research Output 2007 2019

Filter
Editorial
2011

Preface of special issue on "Computer security : foundations and automated reasoning"

Bauer, L., Etalle, S., Hartog, den, J. I. & Viganò, L., 2011, In : Journal of Automated Reasoning. 46, 3-4, p. 223-224 2 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Security of data
2010

Secure Data Management : 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010: Preface

Jonker, W. & Petkovíc, M., 13 Dec 2010, In : Lecture Notes in Computer Science. 6358

Research output: Contribution to journalEditorialAcademicpeer-review