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

Research Output 1997 2019

Filter
Report
2014

Analysis of XACML policies with SMT

Turkmen, F., Hartog, den, J. I., Ranise, S. & Zannone, N., 2014, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 1408)

Research output: Book/ReportReportAcademic

Open Access
File
Surface mount technology
Access control
XML
Markup languages
Specifications
2007

A comparison of Java Cards : state-of-affairs 2006

Mostowski, W., Pan, J., Akkiraju, S., Vink, de, E. P., Poll, E. & Hartog, den, J. I., 2007, Eindhoven: Technische Universiteit Eindhoven. 64 p. (Computer science reports; vol. 0706)

Research output: Book/ReportReportAcademic

Open Access
File
Cryptography
Data storage equipment
Testing
Compliance

Audit-based compliance control (AC2) for EHR systems

Dekker, M. A. C., Hartog, den, J. I. & Etalle, S., 2007, Enschede: Universiteit Twente. 15 p. (CTIT Technical Report; vol. TR-CTIT-07-46)

Research output: Book/ReportReportAcademic

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

Hartog, den, J. I., 2007, Enschede: Universiteit Twente. (CTIT Technical Report; vol. TR-CTIT-07-53)

Research output: Book/ReportReportAcademic

2006

Privacy in an ambient world

Dekker, M. A. C., Etalle, S. & Hartog, den, J. I., 2006, Enschede: Universiteit Twente. 15 p. (CTIT Technical Report; vol. TR-CTIT-06-16)

Research output: Book/ReportReportAcademic

The audit logic : policy compliance in distributed systems

Cederquist, J. G., Corin, R. J., Dekker, M. A. C., Etalle, S., Hartog, den, J. I. & Lenzini, G., 2006, Enschede: Universiteit Twente. 14 p. (CTIT Technical Report; vol. TR-CTIT-06-33)

Research output: Book/ReportReportAcademic

2005
43 Citations (Scopus)

An audit logic for accountability

Cederquist, J. G., Corin, R. J., Dekker, M. A. C. & Hartog, den, J. I., 2005, Enschede: Universiteit Twente. 24 p. (CTIT Technical Report; vol. TR-CTIT-05-11)

Research output: Book/ReportReportAcademic

A probabilistic Hoare-style logic for game-based cryptographic proofs

Corin, R. J. & Hartog, den, J. I., 2005, IACR. 18 p. (Cryptology ePrint Archive; vol. 2005/467)

Research output: Book/ReportReportAcademic

Functional principles of registry-based service discovery

Sundramoorthy, V., Tan, C., Hartel, P. H., Hartog, den, J. I. & Scholten, J., 2005, Enschede: Universiteit Twente. 8 p. (CTIT Technical Report; vol. TR-CTIT-05-18)

Research output: Book/ReportReportAcademic

Network protocols
Network layers
Formal verification

Nonmonotonic trust management for P2P applications

Czenko, M., Tran, H., Doumen, J. M., Etalle, S., Hartel, P. H. & Hartog, den, J. I., 2005, Enschede: Universiteit Twente. 12 p. (CTIT Technical Report; vol. TR-CTIT-05-22)

Research output: Book/ReportReportAcademic

2004

A logic for auditing accountability in decentralized systems

Corin, R. J., Etalle, S., Hartog, den, J. I., Lenzini, G. & Staicu, I. S., 2004, Enschede: Universiteit Twente. 17 p. (CTIT Technical Report; vol. TR-CTIT-04-27)

Research output: Book/ReportReportAcademic

Link-layer jamming attacks on S-MAC

Law, Y. W., Hartel, P. H., Hartog, den, J. I. & Havinga, P. J. M., 2004, Enschede: Universiteit Twente. 8 p. (CTIT Technical Report; vol. TR-CTIT-04-52)

Research output: Book/ReportReportAcademic

Power analysis on smartcard algorithms using simulation

Hollestelle, G., Burgers, W. F. P. W. & Hartog, den, J. I., 2004, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0422)

Research output: Book/ReportReportAcademic

Open Access
File

Virtual analysis and reduction of side-channel vulnerabilities of smartcards

Hartog, den, J. I. & Vink, de, E. P., 2004, Enschede: Universiteit Twente. 14 p. (CTIT Technical Report; vol. TR-CTIT-04-34)

Research output: Book/ReportReportAcademic

1998

Comparative semantics for a process language with probabilistic choice and non-determinism

Hartog, den, J. I., 1998, Amsterdam: Vrije Universiteit Amsterdam. 50 p. (Vrije Universiteit Amsterdam. IR, Subfaculteit Wiskunde en Informatica : rapport; vol. 445)

Research output: Book/ReportReportAcademic

Open Access
File
Nondeterminism
Model
Multiset
Language
Semantics