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

Onderzoeksoutput 1997 2019

Filter
Rapport
2014

Analysis of XACML policies with SMT

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (Computer science reports; vol. 0706)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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 blz. (CTIT Technical Report; vol. TR-CTIT-07-46)

Onderzoeksoutput: Boek/rapportRapportAcademic

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)

Onderzoeksoutput: Boek/rapportRapportAcademic

2006

Privacy in an ambient world

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz. (CTIT Technical Report; vol. TR-CTIT-06-33)

Onderzoeksoutput: Boek/rapportRapportAcademic

2005
43 Citaties (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 blz. (CTIT Technical Report; vol. TR-CTIT-05-11)

Onderzoeksoutput: Boek/rapportRapportAcademic

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

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

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz. (CTIT Technical Report; vol. TR-CTIT-05-18)

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz. (CTIT Technical Report; vol. TR-CTIT-05-22)

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz. (CTIT Technical Report; vol. TR-CTIT-04-27)

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz. (CTIT Technical Report; vol. TR-CTIT-04-52)

Onderzoeksoutput: Boek/rapportRapportAcademic

Power analysis on smartcard algorithms using simulation

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Virtual analysis and reduction of side-channel vulnerabilities of smartcards

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

Onderzoeksoutput: Boek/rapportRapportAcademic

1998

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

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Nondeterminism
Model
Multiset
Language
Semantics