Research Output 2007 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