• 690 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
68 Downloads (Pure)

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
3 Downloads (Pure)

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