• 685 Citaten
19972019
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 1997 2019

Filter
Tijdschriftartikel
2017
13 Citaties (Scopus)

A white-box anomaly-based framework for database leakage detection

Costante, E., den Hartog, J., Petkovic, M., Etalle, S. & Pechenizkiy, M., 2017, In : Journal of Information Security and Applications. 32, blz. 27-46

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Agglomeration
Neural networks
Feedback
Industry
11 Citaties (Scopus)

Formal analysis of XACML policies using SMT

Turkmen, F., den Hartog, J., Ranise, S. & Zannone, N., 1 mei 2017, In : Computers and Security. 66, blz. 185-203 19 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Access control
Markup languages
Query languages
XML
Specifications
2015
13 Citaties (Scopus)

SAFAX: an extensible authorization service for cloud environments

Kaluvuri, S. P., Egner, A. I., Den Hartog, J. I. & Zannone, N., 2015, In : Frontiers in ICT. 2, 15 blz., 9

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
Access control
4 Citaties (Scopus)

Understanding perceived trust to reduce regret

Costante, E., Hartog, den, J. I. & Petkovic, M., 2015, In : Computational Intelligence. 31, 2, blz. 327-347 21 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Regret
Privacy
Health
Impact Factor
Security Model
2010
17 Citaties (Scopus)

A flexible architecture for privacy-aware trust management

Böhm, K., Etalle, S., Hartog, den, J. I., Hütter, C., Trabelsi, S., Trivellato, D. & Zannone, N., 2010, In : Journal of Theoretical and Applied Electronic Commerce Research. 5, 2, blz. 77-96

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
Privacy
Trust management
Management system
Factors
Authorization
2008
3 Citaties (Scopus)

Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

Hartog, den, J. I., 2008, In : Science of Computer Programming. 74, 1-2, blz. 52-63

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Computer science
Formal verification
2007
48 Citaties (Scopus)

Audit-based compliance control

Cederquist, J. G., Corin, R. J., Dekker, M. A. C., Etalle, S., Hartog, den, J. I. & Lenzini, G., 2007, In : International Journal of Information Security. 6, 2-3, blz. 133-151

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Compliance control
Access control
Compliance
2002
27 Citaties (Scopus)

Verifying probabilistic programs using a Hoare-like logic

Hartog, den, J. I. & Vink, de, E. P., 2002, In : International Journal of Foundations of Computer Science. 13, 3, blz. 315-340

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1999
1 Citaat (Scopus)

Full abstractness of a metric semantics for action refinement

Hartog, den, J. I., Vink, de, E. P. & Bakker, de, J. W., 1999, In : Fundamenta Informaticae. 40, 4, blz. 335-382

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review