• 677 Citations
19972019
If you made any changes in Pure these will be visible here soon.

Research Output 1997 2019

Filter
Poster
2016

Combining data loss prevention and detection

Costante, E., Fauri, D., Etalle, S., den Hartog, J. I. & Zannone, N., 2016

Research output: Contribution to conferencePosterAcademic

2014

Analyzing access control policies with SMT

Turkmen, F., Hartog, den, J. I. & Zannone, N., 2014, p. 1508-1510

Research output: Contribution to conferencePosterAcademic

Open Access
File
Access control
Markup languages
Specifications
2013

POSTER-TRIPLEX : verifying data minimisation in communication systems

Veeningen, M. G., Bruso, M., Hartog, den, J. I. & Zannone, N., 2013, p. 1415-1418

Research output: Contribution to conferencePosterAcademic

Communication systems
Communication