EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Research Program: CTIT-ISTRICE: Integrated Security and Privacy in a Networked World

Home Policy Brochure Browse Search User Area Contact Help

2012

Ali, T. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2012) Forensic Face Recognition: A Survey. In: Face Recognition: Methods, Applications and Technology. Computer Science, Technology and Applications. Nova Publishers, 9. ISBN 978-1-61942-663-4

Nunes Leal Franqueira, V. and van Cleeff, A. and van Eck, P.A.T. and Wieringa, R.J. (2012) Securing the Extended Enterprise: A Method for Analyzing External Insider Threat. In: Strategic and Practical Approaches for Information Security Governance: Technologies and Applied Solutions. IGI Global, Hershey, USA, pp. 195-222. ISBN 978-1-46660-197-0

Nunes Leal Franqueira, V. and Wieringa, R.J. (2012) Role-Based Access Control in Retrospect. Computer. ISSN 0018-9162 *** ISI Impact 2,205 ***

2011

Altintas, O. and Chen, W. and Heijenk, G.J. and Dressler, F. and Ekici, E. and Kargl, F. and Shigeno, H. and Dietzel, S., ed. (2011) 2011 IEEE Vehicular Networking Conference (VNC): Demo Summaries. CTIT Workshop Proceedings Series (WP 11-04). University of Twente, Enschede. ISSN 0929-0672 ISBN 978-94-6191-079-0

Degano, P. and Etalle, S. and Guttman, J., ed. (2011) Formal Aspects of Security and Trust. Lecture Notes in Computer Science 6561. Springer Verlag, Berlin. ISBN 978-3-642-19751-2

Erlingsson, Ú. and Wieringa, R.J. and Zannone, N., ed. (2011) Engineering secure software and systems. Lecture Notes in Computer Science 6542. Springer Verlag, London. ISBN 978-3-642-19124-4

Alberts, G. and Boersma, K. and Broekhans, B. and Dijkstra, A. and Pieters, W. and Popkema, M. and Vanheste, T. (2011) Inleiding: Kennisklimaat. In: Kennisklimaat: (On)macht van de wetenschap in het klimaatdebat. Jaarboek Kennissamenleving 7. Amsterdam University Press, Amsterdam, pp. 7-11. ISSN 1871-0034 ISBN 978-90-8964-401-5

Ali, T. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2011) Towards automatic forensic face recognition. In: International Conference on Informatics Engineering and Information Science (ICIEIS 2011), 14-16 Nov 2011, Kuala Lumpur, Malaysia. pp. 47-55. Communications in Computer and Information Science 252. Springer Verlag. ISSN 1865-0929

Alyuz, N. and Gökberk, B. and Spreeuwers, L.J. and Veldhuis, R.N.J. and Akarun, L. (2011) Occlusion-robust 3D face recognition using restoration and local classifiers. In: Proceedings of the 2011 IEEE 19th Conference on Signal Processing and Communications Applications (SIU 2011), 20-22 Apr 2011, Antalya, Turkey. pp. 750-753. IEEE Signal Processing Society. ISBN 978-1-4577-0462-8

Asim, M. and Ibraimi, L. and Petkovic, M. (2011) Ciphertext-Policy Attribute-Based Broadcast Encryption Scheme. In: Proceedings of the 12th IFIP TC 6 / TC 11 International Conference on Communications and Multimedia Security (CMS 2011), 19-21 Oct 2011, Ghent, Belgium. pp. 244-246. Lecture Notes in Computer Science 7025. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-24711-8

Bösch, C.T. and Brinkman, R. and Hartel, P.H. and Jonker, W. (2011) Conjunctive Wildcard Search over Encrypted Data. In: 8th VLDB Workshop on Secure Data Management, SDM 2011, 02 Sep 2011, Seattle, WA, USA. pp. 114-127. Lecture Notes in Computer Science 6933. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-23555-9

Bolzoni, D. and Schade, C. L. and Etalle, S. (2011) A Cuckoo's Egg in the Malware Nest: On-the-fly Signature-less Malware Analysis, Detection, and Containment for Large Networks. In: Proceedings of the 25th Large Installation System Administration Conference (LISA 2011), 4-9 Dec 2011, Boston, USA. pp. 201-216. The USENIX Association. ISBN 978-931971-881-3

Boom, B.J. (2011) Gezichtsherkenning in video surveillance. Security Management, 5. pp. 31-33. ISSN 1386-0941

Boom, B.J. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2011) Virtual illumination grid for correction of uncontrolled illumination in facial images. Pattern Recognition, 44 (9). pp. 1980-1989. ISSN 0031-3203 *** ISI Impact 2,554 ***

Chen, Chun and Veldhuis, R.N.J. (2011) Binary Biometric Representation through Pairwise Adaptive Phase Quantization. EURASIP Journal on Information Security, 2011. 543106. ISSN 1687-4161

Chen, Chun and Veldhuis, R.N.J. (2011) Extracting biometric binary strings with minimal area under the FRR curve for the hamming distance classifier. Signal processing, 91 (4). pp. 906-918. ISSN 0165-1684 *** ISI Impact 1,135 ***

Chevalking, S.K.L. (2011) Reviewing and Optimizing the Security of FIGO. Master's thesis, University of Twente.

van Cleeff, A. and Dimkov, T. and Pieters, W. and Wieringa, R.J. (2011) Security Requirements with Physical Properties: A Case Study on Paper Voting. In: Proceedings of the International Conference on IT Convergence and Security (ICITCS 2011), December 14 -16, 2011, Suwon, South Korea. pp. 51-67. Lecture Notes in Electrical Engineering 120. Springer Verlag. ISSN 1876-1100 ISBN 978-94-007-2910-0

van Cleeff, A. and Pieters, W. and Wieringa, R.J. and van Tiel, F. (2011) Integrated assessment and mitigation of physical and digital security threats: Case studies on virtualization. Information Security Technical Report, 16 (3). pp. 1-8. ISSN 1363-4127

Dietzel, S. (2011) Privacy Implications of In-Network Aggregation Mechanisms for VANETs. (Invited) In: Proceedings of the 8th International Conference on Wireless On-demand Network Systems and Services, 26-28 Jan 2011, Bardonecchia, Italy. pp. 91-95. IEEE Communications Society. ISBN 978-1-61284-189-2

Dietzel, S. and Kargl, F. and Heijenk, G.J. and Schaub, F. (2011) Modeling In-Network Aggregation in VANETs. IEEE communications magazine, 49 (11). pp. 142-148. ISSN 0163-6804 *** ISI Impact 2,446 ***

Dimkov, T. and Pieters, W. (2011) Physical Penetration Testing: A Whole New Story in Penetration Testing. PenTest Magazine, 2011 (2). pp. 20-23. ISSN not assigned

Dimkov, T. and Pieters, W. and Hartel, P.H. (2011) Training Students to Steal: A Practical Assignment in Computer Security Education. In: Proceedings of the 42nd ACM Technical Symposium on Computer Science Education (SIGCSE 2011), 9-12 Mar 2011, Dallas, Texas, USA. pp. 21-26. ACM. ISBN 978-1-4503-0500-6

Dressler, F. and Kargl, F. and Ott, J. and Tonguz, O.K. and Wischof, L. (2011) Research Challenges in Intervehicular Communication: Lessons of the 2010 Dagstuhl Seminar. IEEE communications magazine, 49 (5). pp. 158-164. ISSN 0163-6804 *** ISI Impact 2,446 ***

Gomes, R. and de Oliveira Schmidt, R. (2011) Evaluating Automatic Pools Distribution Techniques for Self‐Configured Networks. In: 16th IEEE Symposium on Computers and Communications, ISCC 2011, 28 Jun - 01 Jul 2011, Kerkyra (Corfu), Greece. pp. 658-663. IEEE Communications Society. ISBN 978-1-4577-0681-3

Gong, Zheng and Nikova, S.I. and Law, Yee Wei (2011) KLEIN: A New Family of Lightweight Block Ciphers. In: 7th International Workshop on RFID, Security and Privacy (RFIDSec 2011), June 26–28, 2011, Amherst, USA. pp. 1-18. Lecture Notes in Computer Science 7055. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-25285-3

Haack, C. and Huisman, M. and Hurlin, C. (2011) Permission-Based Separation Logic for Multithreaded Java Programs. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 15. pp. 13-23. ISSN not assigned

Hadžiosmanović, D. and Bolzoni, D. and Hartel, P.H. and Etalle, S. (2011) MELISSA: Towards Automated Detection of Undesirable User Actions in Critical Infrastructures. In: Proceedings of the European Conference on Computer Network Defense, EC2ND 2011, 6-8 Sept 2011, Gothenburg, Sweden. pp. 41-48. IEEE Computer Society.

Hartel, P.H. (2011) Review of "Privacy-preserving network forensics" by Afanasyev M., Kohno T., Ma J., Murphy N., Savage S., Snoeren A., and Voelker G. Computing Reviews. CR139251. ISSN 1530-6585

Höfer, C.N. and Karagiannis, G. (2011) Cloud computing services: taxonomy and comparison. Journal of Internet Services and Applications, 2 (2). pp. 81-94. ISSN 1867-4828

Herrmann, A. and Morali, A. and Etalle, S. and Wieringa, R.J. (2011) RiskREP: Risk-Based Security Requirements Elicitation and Prioritization. In: Perspectives in Business Informatics Research, 6-8 Oct 2011, Riga, Latvia. pp. 155-162. Riga Technical University. ISBN 978-9984-30-197-6

Huisman, M. and Blondeel, H.-C. (2011) Model-checking Secure Information Flow for Multi-Threaded Programs. In: Proceedings of the Joint Workshop on Theory of Security and Applications, TOSCA 2011, 31 March - 1 April 2011, Saarbruecken, Germany. pp. 148-165. Lecture Notes in Computer Science 6993. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-27374-2

Ibraimi, L. (2011) Cryptographically Enforced Distributed Data Access Control. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-208 ISBN 978-90-365-3228-0

Ibraimi, L. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2011) Public-Key Encryption with Delegated Search. In: Proceedings of the 9th International Conference on Applied Cryptography and Network Security (ACNS), 7-10 Jun 2011, Nerja, Spain. pp. 532-549. Lecture Notes in Computer Science 6715. Springer Verlag. ISBN 978-3-642-21553-7

Jeckmans, A.J.P. and Tang, Qiang and Hartel, P.H. (2011) Privacy-Preserving Profile Matching Using the Social Graph. Technical Report TR-CTIT-11-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Jeckmans, A.J.P. and Tang, Qiang and Hartel, P.H. (2011) Privacy-Preserving Profile Matching Using the Social Graph. In: International Conference on Computational Aspects of Social Networks, CASoN 2011, 19-21 Oct 2011 , Salamanca, Spain. pp. 42-47. IEEE Computer Society. ISBN 978-1-4577-1132-9

Jeckmans, A.J.P. and Tang, Qiang and Hartel, P.H. (2011) POSTER: Privacy-Preserving Profile Similarity Computation in Online Social Networks. In: Proceedings of the 18th ACM conference on Computer and communications security (CCS), 17-21 Oct 2011 , Chicago, IL, USA. pp. 793-795. ACM. ISBN 978-1-4503-0948-6

Kargl, F. and Papadimitratos, P. (2011) ACM WiSec 2011 poster and demo session. ACM SIGMOBILE Mobile Computing and Communications Review, 15 (3). pp. 34-34. ISSN 1559-1662

Kelkboom, E.J.C. and Breebaart, J. and Kevenaar, T.A.M. and Buhan, I.R. and Veldhuis, R.N.J. (2011) Preventing the Decodability Attack Based Cross-Matching in a Fuzzy Commitment Scheme. IEEE Transactions on Information Forensics and Security, 6 (1). pp. 107-121. ISSN 1556-6013 *** ISI Impact 2,338 ***

Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Zambon, Emmanuele and Haverkort, B.R.H.M. (2011) Is Quantitative Analysis of Stuxnet Possible? In: QEST 2011: Fast Abstracts, 5-8 Sep 2011, Aachen, Germany. pp. 9-10. CTIT Workshop Proceedings WP11-03. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672

Kost, M. and Freytag, J.-C. and Kargl, F. and Kung, A. (2011) Privacy Verification Using Ontologies. In: Proceedings of the Sixth International Conference on Availability, Reliability and Security, ARES 2011, 22-26 Aug 2011, Vienna, Austria. pp. 627-632. IEEE Computer Society. ISBN 978-1-4577-0979-1

Kung, A. and Freytag, J.-C. and Kargl, F. (2011) Privacy-by-Design in ITS Applications : The Way Forward. In: Second International Workshop on Data Security and PrivAcy in wireless Networks (D-SPAN), 20 Jun 2011, Lucca, Italy. pp. 1-6. IEEE Computer Society. ISBN 978-1-4577-0351-5

Lastdrager, E. (2011) Securing Patient Information in Medical Databases. Master's thesis, University of Twente.

Law, Yee Wei and Moniava, G. and Gong, Zheng and Hartel, P.H. and Palaniswami, M. (2011) KALwEN: a new practical and interoperable key management scheme for body sensor networks. Security and Communication Networks, 4 (11). pp. 1309-1329. ISSN 1939-0114

Morali, A. (2011) IT Architecture-Based Confidentiality Risk Assessment in Networks of Organizations. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-197 ISBN 978-90-365-3165-8

Nikova, S.I. and Rijmen, V. and Schläffer, M. (2011) Secure Hardware Implementation of Nonlinear Functions in the Presence of Glitches. Journal of Cryptology, 24 (2). pp. 292-321. ISSN 0933-2790 *** ISI Impact 2,297 ***

Nunes Leal Franqueira, V. and Condori-Fernández, N. (2011) RBAC in Practice. In: Proceedings of the 17th International Working Conference on Requirements Engineering (REFSQ'2011), 28-30 March 2011, Essen, Germany. pp. 152-153. ICB-Research Report (44). Institute for Computer Science and Business Information Systems (ICB) . ISSN 1860-2770

Nunes Leal Franqueira, V. and Racheva, Z. and Tun, T. T. and Daneva, M. (2011) Towards Agile Security Risk Management in RE and Beyond. In: Proceedings of the International Workshop on Empirical Requirements Engineering (EmpiRE workshop co-located with RE'2011), 29 Aug - 02 Sep 2011, Trento, Italy. pp. 33-36. IEEE Computer Society. ISBN 978-1-4577-1075-9

Nunes Leal Franqueira, V. and Tun, T.T. and Yu, Y. and Wieringa, R.J. and Nuseibeh, B. (2011) Risk and Argument: A Risk-based Argumentation Method for Practical Security. In: Proceedings of the 19th IEEE International Requirements Engineering Conference, 29 Aug - 02 Sep 2011, Trento, Italy. pp. 239-248. IEEE Computer Society. ISBN 978-1-4577-0924-1

de Oliveira Schmidt, R. and Pras, A. (2011) Estimating Bandwidth Requirements Using Flow-Level Measurements. In: 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, 13-17 Jun 2011, Nancy, France. pp. 169-172. Lecture Notes in Computer Science 6734. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-21483-7

Pavlovic, D. (2011) Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. In: 6th International Workshop on Quantum Physics and Logic (QPL 2009), 8-9 April 2009, Oxford, UK. pp. 121-139. Electronic Notes in Theoretical Computer Science 270 (2). Elsevier. ISSN 1571-0661

Peng, Y. (2011) Face Recognition at a Distance: a study of super resolution. Master's thesis, University of Twente.

Petit, J.Y. and Feiri, M.P. and Kargl, F. (2011) Spoofed Data Detection in VANETs using Dynamic Thresholds. In: Proceedings of the IEEE Vehicular Networking Conference (VNC 2011), 14-16 Nov 2011, Amsterdam, Netherlands. pp. 25-32. IEEE Communications Society. ISBN 978-1-4673-0049-0

Petit, J.Y. and Mammeri, Z. (2011) Dynamic Consensus for Secured Vehicular Ad Hoc Networks. In: Proceedings of the 7th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, IEEE WiMob 2011, 10-12 Oct 2011, Shanghai, China. pp. 1-8. IEEE Computer Society. ISSN 2160-4886 ISBN 978-1-4577-2013-0

Pieters, W. (2011) Explanation and trust: what to tell the user in security and AI? Ethics and information technology, 13 (1). pp. 53-64. ISSN 1388-1957

Pieters, W. (2011) Cloud security in vogelvlucht. Informatiebeveiliging, 2011 (1). pp. 16-17. ISSN 1569-1063

Pieters, W. (2011) High security, human significance: Informatiebeveiliging in Twente. Informatiebeveiliging, 2011 (2). pp. 14-17. ISSN 1569-1063

Pieters, W. (2011) Representing humans in system security models: An actor-network approach. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 2 (1). pp. 75-92. ISSN 2093-5374

Pieters, W. (2011) The (social) construction of information security. The Information Society, 27 (5). pp. 326-335. ISSN 0197-2243 *** ISI Impact 1,111 ***

Pieters, W. (2011) Risicopersonalisatie en haar falen in collectieve vraagstukken. In: Kennisklimaat: (On)macht van de wetenschap in het klimaatdebat. Jaarboek Kennissamenleving 7. Amsterdam University Press, Amsterdam, pp. 197-207. ISSN 1871-0034 ISBN 978-90-8964-401-5

Pieters, W. (2011) Security and privacy in the clouds: a bird's eye view. In: Computers, Privacy and Data Protection: an Element of Choice. Springer, Dordrecht, pp. 445-457. ISBN 978-94-007-0640-8

Pieters, W. (2011) How devices transform voting. In: Innovating Government. Normative, policy and technological dimensions of modern government. Information Technology and Law Series 20. T.M.C. Asser Press, The Hague, pp. 439-452. ISSN 1570-2782 ISBN 978-90-6704-730-2

Pieters, W. and Coles-Kemp, L. (2011) Reducing normative conflicts in information security. In: Proceedings of the 2011 New security paradigms workshop, NSPW '11, 12-15 Sep 2011, Marin County, CA. pp. 11-24. ACM. ISBN 978-1-4503-1078-9

Popkema, M. and Pieters, W. and Boersma, K. and Broekhans, B. (2011) Epiloog: Het klimaat voor kennis in de kennissamenleving. In: Kennisklimaat: (On)macht van de wetenschap in het klimaatdebat. Jaarboek Kennissamenleving 7. Amsterdam University Press, Amsterdam, pp. 225-231. ISSN 1871-0034 ISBN 978-90-8964-401-5

van Rootseler, R.T.A. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2011) Application of 3D Morphable Models to faces in video images. In: 32nd WIC Symposium on Information Theory in the Benelux, 10-11 May 2011, Brussels, Belgium. pp. 34-41. Werkgemeenschap voor Informatie- en Communicatietheorie. ISBN 978-9-08172-190-5

Santemiz, P. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2011) Side-View Face Recognition. In: 32nd WIC Symposium on Information Theory in the Benelux, 10-11 May 2011, Brussels, Belgium. pp. 305-312. WIC. ISBN 9789081721905

Schmidt, R.K. and Brakemeier, A. and Leinmüller, T. and Kargl, F. and Schäfer, G. (2011) Advanced carrier sensing to resolve local channel congestion. In: Proceedings of the Eighth ACM international workshop on Vehicular inter-networking, VANET 2011, 23 Sep 2011, Las Vegas, Nevada, USA. pp. 11-20. ACM. ISBN 978-1-4503-0869-4

Sedghi, S. and Hartel, P.H. and Jonker, W. and Nikova, S.I. (2011) Privacy Enhanced Access Control by Means of Policy Blinding. In: Proceedings of the 7th International Conference on Information Security Practice and Experience, ISPEC 2011, 30 May - 1 Jun 2011, Guangzhou, China. pp. 108-122. Lecture Notes in Computer Science 6672. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-21030-3

Soleimanifard, S. and Gurov, D. and Huisman, M. (2011) ProMoVer: Modular Verification of Temporal Safety Properties. In: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), 14-18 Nov 2011, Montevideo, Uruguay. pp. 366-381. Lecture Notes in Computer Science 7041. Springer Verlag. ISBN 978-3-642-24690-6

Sperotto, A. and Pras, A. (2011) Flow-Based Intrusion Detection. In: Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, IM 2011 , 23-27 May 2011, Dublin, Ireland. pp. 958-963. IEEE Communications Society. ISBN 978-1-4244-9219-0

Spreeuwers, L.J. (2011) Fast and Accurate 3D Face Recognition Using Registration to an Intrinsic Coordinate System and Fusion of Multiple Region classifiers. International Journal of Computer Vision, 93 (3). pp. 389-414. ISSN 0920-5691 *** ISI Impact 3,508 ***

Tang, Qiang (2011) Towards Public Key Encryption Scheme Supporting Equality Test with Fine-Grained Authorization. In: Proceedings of the 16th Australian conference on information security and privacy, 11-13 Jul 2011, Melbourne, Australia. pp. 389-406. Lecture Notes in Computer Science 6812. Springer Verlag. ISBN 978-3-642-22497-3

Tang, Qiang (2011) Public Key Encryption Supporting Plaintext Equality Test and User-Specified Authorization. Technical Report TR-CTIT-11-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang and Chen, Liqun (2011) Extended KCI attack against two-party key establishment protocols. Information processing letters, 111 (15). pp. 744-747. ISSN 0020-0190 *** ISI Impact 0,764 ***

Trivellato, D. and Zannone, N. and Etalle, S. (2011) A Security Framework for Systems of Systems. In: 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY , 6-8 Jun 2011, Pisa, Italy. pp. 182-183. IEEE Computer Society. ISBN 978-1-4244-9879-6

Warmer, M. (2011) Detection of Web Based Command & Control Channels. Master's thesis, University of Twente.

Yang, Bian and Busch, C. and Groot, K. de and Xu, Haiyun and Veldhuis, R.N.J. (2011) Decision Level Fusion of Fingerprint Minutiae Based Pseudonymous Identifiers. In: International Conference on Hand-Based Biometrics, ICHB 2011 , 17-18 Nov 2011, Hong Kong, China. pp. 1-6. IEEE eXpress Conference Publishing. ISBN 978-1-4577-0491-8

Yu, Y. and Tun, T.T. and Tedeschi, A. and Nunes Leal Franqueira, V. and Nuseibeh, B. (2011) OpenArgue: Supporting Argumentation to Evolve Secure Software Systems. In: 19th IEEE International Requirements Engineering Conference, RE 2011, 29 Aug- 2 Sep 2011, Trento, Italy. pp. 351-352. IEEE Computer Society. ISBN 978-1-4577-0924-1

Zambon, Emmanuele (2011) Towards Optimal IT Availability Planning: Methods and Tools. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-188 ISBN 978-90-365-3102-3

Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. and Hartel, P.H. (2011) Model-based Qualitative Risk Assessment for Availability of IT Infrastructures. Software and Systems Modeling, 10 (4). pp. 553-580. ISSN 1619-1366 *** ISI Impact 1,533 ***

2010

Alemneh, E. (2010) Sharing Nonlinear Gates in the Presence of Glitches. Master's thesis, University of Twente.

Asim, M. and Ibraimi, L. and Petkovic, M. (2010) Ciphertext-Policy Attribute-Based Encryption and Re-Encryption. Patent WO2010IB54581 (Application).

Barbosa, R.R.R. and Sadre, R. and Pras, A. and van de Meent, R. (2010) Simpleweb/University of Twente Traffic Traces Data Repository. Technical Report TR-CTIT-10-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Barreto, P.S. and Nikov, V. and Nikova, S.I. and Rijmen, V. and Tischhouser, E. (2010) Wirlwind: a New Cryptographic Hash Function. Designs, Codes and Cryptography, 56 (2-3). pp. 141-162. ISSN 0925-1022 *** ISI Impact 0,825 ***

Bauer, L. and Etalle, S. and den Hartog, J.I. and Viganò, L. (2010) Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”. Journal of Automated Reasoning, 46 (3-4). pp. 223-224. ISSN 0168-7433 *** ISI Impact 1,926 ***

Böhm, K. and Etalle, S. and den Hartog, J.I. and Hütter, C. and Trabelsi, S. and Trivellato, D. and Zannone, N. (2010) A flexible architecture for privacy-aware trust management. Journal of Theoretical and Applied Electronic Commerce Research, 5 (2). pp. 77-96. ISSN 0718-1876

de Beule, J. and Edel, Y. and Käsper, E. and Klein, Andreas and Nikova, S.I. and Preneel, B. and Schillewaert, J. and Storme, L. (2010) Galois geometries and applications. Designs, Codes and Cryptography, 56 (2-3). pp. 85-86. ISSN 0925-1022 *** ISI Impact 0,825 ***

Beumer, G.M. and Veldhuis, R.N.J. (2010) A practical subspace approach to landmarking. Journal of Multimedia, 5 (3). pp. 276-289. ISSN 1796-2048

Beye, M. and Jeckmans, A.J.P. and Erkin, Z. and Hartel, P.H. and Lagendijk, R.I. and Tang, Qiang (2010) Literature Overview - Privacy in Online Social Networks. Technical Report TR-CTIT-10-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Boom, B.J. (2010) Face recognition's grand challenge: uncontrolled conditions under control. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-185 ISBN 978-90-365-2987-7

Boom, B.J. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2010) Subspace-Based Holistic Registration for Low-Resolution Facial Images. EURASIP Journal on Advances in Signal Processing, 2010. pp. 1-14. ISSN 1687-6172 *** ISI Impact 0,885 ***

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Tang, Qiang and Veldhuis, R.N.J. (2010) Embedding Renewable Cryptographic Keys into Continuous Noisy Data. International Journal of Information Security, 9 (3). pp. 193-208. ISSN 1615-5262 *** ISI Impact 1,681 ***

van Cleeff, A. (2010) A Risk Management Process for Consumers. Technical Report TR-CTIT-10-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Cleeff, A. (2010) A Risk Management Process for Consumers: The Next Step in Information Security. In: Proceedings of the 2010 Workshop on New Security Paradigms, NSPW 2010, 21-23 Sep 2010, Concord, MA, USA. pp. 107-114. ACM. ISBN 978-1-4503-0415-3

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2010) ANWB-enquête niet democratisch. NRC handelsblad, 40 (25-01-2010). 6. ISSN 0002-5259

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2010) Gooi eigen servers en pc’s niet weg. Best Practice Magazine, 4 (1). pp. 8-10. ISSN 0891-060X

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2010) Zorg liever voor een overzichtelijk stembiljet. NRC handelsblad, 40 (07-06-2010). pp. 6-6. ISSN 0002-5259

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2010) Benefits of Location-Based Access Control:A Literature Study. In: Proceedings of the 3rd IEEE/ACM International Conference on Cyber, Physical and Social Computing (CPSCom 2010), 18-20 Dec, 2010, Hangzhou, China. pp. 739-746. IEEE Computer Society. ISBN 978-1-4244-9779-9

Costa, A. (2010) Context - Free - Language Parser for Advanced Network Intrusion Detection. Master's thesis, University of Twente.

Dietzel, S. and Kargl, F. and Heijenk, G.J. and Schaub, F. (2010) On the Potential of Generic Modeling for VANET Data Aggregation Protocols. In: Proceedings of the 2nd IEEE Vehicular Networking Conference, 13-15 Dec 2010, Jersey City, New Jersey, USA. pp. 78-85. IEEE Communications Society. ISBN 978-1-4244-9524-5

Dietzel, S. and Schoch, E. and Kargl, F. and Könings, B. and Weber, M. (2010) Resilient Secure Aggregation for Vehicular Networks. IEEE Network, 24 (1). pp. 26-31. ISSN 0890-8044 *** ISI Impact 2,148 ***

Dimkov, T. and van Cleeff, A. and Pieters, W. and Hartel, P.H. (2010) Two methodologies for physical penetration testing using social engineering. In: Proceedings of the Annual Computer Security Applications Conference (ACSAC), 06-10 Dec 2010, Austin, Texas, USA. pp. 399-408. ACM. ISBN 978-1-4503-0133-6

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Portunes: representing attack scenarios spanning through the physical, digital and social domain. In: Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10). Revised Selected Papers, 27-28 March 2010, Paphos, Cyprus. pp. 112-129. Lecture Notes in Computer Science 6186. Springer Verlag. ISBN 978-3-642-16074-5

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Laptop theft: a case study on effectiveness of security mechanisms in open organizations. Technical Report TR-CTIT-10-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Portunes: analyzing multi-domain insider threats. Technical Report TR-CTIT-10-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Laptop theft: a case study on effectiveness of security mechanisms in open organizations. In: Proceedings of the 17th ACM Conference on Computer and Communications Security (CCS), 4-8 Oct 2010, Chicago, Illinois, US. pp. 666-668. ACM. ISBN 978-1-4503-0245-6

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Effectiveness of physical, social and digital mechanisms against laptop theft in open organizations. In: Proceedings of the 3rd IEEE/ACM International Conference on Cyber, Physical and Social Computing (CPSCom 2010), 18-20 Dec 2010, Hangzhou, China. pp. 727-732. IEEE Computer Society. ISBN 978-1-4244-9779-9

Gong, Zheng (2010) Review of "Robust defenses for cross-site request forgery" by A. Barth, C. Jackson, J. Mitchell. Computing reviews. CR137694. ISSN 1530-6585

Gong, Zheng and Long, Yu and Hong, Xuan and Chen, Kefei (2010) Practical Certificateless Aggregate Signatures From Bilinear Maps. Journal of Information Science and Engineering, 26 (6). pp. 2093-2106. ISSN 1016-2364 *** ISI Impact 0,315 ***

Gong, Zheng and Nikova, S.I. and Law, Yee Wei (2010) KLEIN: A New Family of Lightweight Block Ciphers. Technical Report TR-CTIT-10-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Gong, Zheng and Tang, Qiang and Law, Yee Wei and Chen, Hongyang (2010) KALwEN+: Practical Key Management Schemes for Gossip-Based Wireless Medical Sensor Networks. In: Proceedings of the International Conference on Information Security and Cryptology, INSCRYPT 2010, 20-24 Oct 2010, Shanghai, China. pp. 268-283. Lecture Notes in Computer Science 6584. Springer Verlag. ISBN 978-3-642-21517-9

Hadžiosmanović, D. and Bolzoni, D. and Hartel, P.H. (2010) A Log Mining Approach for Process Monitoring in SCADA. Technical Report TR-CTIT-10-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hadžiosmanović, D. and Bolzoni, D. and Hartel, P.H. (2010) MEDUSA: Mining Events to Detect Undesirable uSer Actions in SCADA. In: Proceedings of the 13th International Symposium on Recent Advances in Intrusion Detection (RAID 2010), 15-17 Sep 2010, Ottawa, Canada. pp. 500-501. Lecture Notes in Computer Science 6307. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15511-6

Hartel, P.H. (2010) Review of "P. Kumaraguru, J. Cranshaw, A. Acquisti, L. Cranor, J. Hong, M. Blair, T. Pham, School of phish: a real-world evaluation of anti-phishing training". Computing Reviews. CR137644. ISSN 1530-6585

Hartel, P.H. and Junger, M. and Wieringa, R.J. (2010) Cyber-crime Science = Crime Science + Information Security. Technical Report TR-CTIT-10-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Heerde, H.J.W. (2010) Privacy-aware data management by means of data degradation -making private data less sensitive over time. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-166 ISBN 978-90-365-3002-6

Hendrikse, A.J. and Veldhuis, R.N.J. and Spreeuwers, L.J. (2010) The effect of position sources on estimated eigenvalues in intensity modeled data. In: Thirty-first Symposium, 11-12 May 2010, Rotterdam, the Netherlands. pp. 105-112. Werkgemeenschap voor Informatie- en Communicatietheorie. ISBN 978-90-710-4823-4

Hendrikse, A.J. and Veldhuis, R.N.J. and Spreeuwers, L.J. (2010) Verification Under Increasing Dimensionality. In: 20th International Conference on Pattern Recognition (ICPR 2010), 23-26 Aug 2010, Istanbul, Turky. pp. 589-592. IEEE Computer Society. ISSN 1051-4651 ISBN 978-0-7695-4109-9

Herrmann, A. and Morali, A. (2010) RiskREP: Risk-Based Security Requirements Elicitation and Prioritization (extended version). Technical Report TR-CTIT-10-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hipp, M. and Schaub, F. and Kargl, F. and Weber, M. (2010) Interaction Weaknesses of Personal Navigation Devices. In: Proceedings of the Second International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2010, 11-12 Nov 2010, Pittsburgh, USA. pp. 129-136. ACM. ISBN 978-1-4503-0437-5

Houmb, S.H. and Nunes Leal Franqueira, V. and Engum, E. A. (2010) Quantifying Security Risk Level from CVSS Estimates of Frequency and Impact. Journal of systems and software, 83 (9). pp. 1622-1634. ISSN 0164-1212 *** ISI Impact 1,34 ***

Huisman, M. and Gurov, D. (2010) CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties. In: Formal Verification of Object-Oriented Software (FoVeOOS) 2010., 28 - 30 June 2010. pp. 107-121. Lecture Notes in Computer Science 6528. Springer Verlag. ISBN 978-3-642-18070-5

Ibraimi, L. and Asim, M. and Petkovic, M. (2010) An encryption scheme for a secure policy updating. In: SECRYPT 2010, International Conference on Security and Cryptography, 26-28 Jul 2010, Greece. pp. 399-408. SciTePress. ISBN 978-989-8425-18-8

Ibraimi, L. and Nikova, S.I. and Jonker, W. and Hartel, P.H. (2010) An Identity-Based Group Signature with Membership Revocation in the Standard Model. Technical Report TR-CTIT-10-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2010) Exploring Type-and-Identity-Based Proxy Re-Encryption Scheme to Securely Manage Personal Health Records. International Journal of Computational Models and Algorithms in Medicine (IJCMAM), 1 (2). pp. 1-21. ISSN 1947-3133

Jonker, H.L. and Pieters, W. (2010) Anonymity in voting revisited. In: Towards Trustworthy Elections: New Directions in Electronic Voting. Lecture Notes in Computer Science 6000. Springer Verlag, Berlin, pp. 216-230. ISSN 0302-9743 ISBN 978-3-642-12979-7

Kargl, F. and Schaub, F. and Dietzel, S. (2010) Mandatory Enforcement of Privacy Policies using Trusted Computing Principles. In: Proceedings of the Intelligent Information Privacy Management Symposium, AAAI Spring Symposium, Stanford University, USA. pp. 104-109. AAAI. ISBN 978-1-57735-459-8

Könings, B. and Schaub, F. and Kargl, F. and Weber, M. (2010) Territorial Privacy in Smart Environments. In: Proceedings of the Intelligent Information Privacy Management Symposium, AAAI Spring Symposium, Stanford University, USA. pp. 113-118. AAAI. ISBN 978-1-57735-459-8

Keim, D.A. and Pras, A. and Schönwälder, J. and Wong, Pak Chung and Mansmann, F. (2010) Report on the Dagstuhl Seminar on Visualization and Monitoring of Network Traffic. Journal of network and systems management, 18 (2). pp. 232-236. ISSN 1064-7570 *** ISI Impact 1,356 ***

Kelkboom, E.J.C. (2010) On the performance of helper data template protection schemes. PhD thesis, University of Twente. ISBN 978-90-365-3074-3

Kelkboom, E.J.C. and Breebaart, J. and Buhan, I.R. and Veldhuis, R.N.J. (2010) Analytical template protection performance and maximum key size given a Gaussian-modeled biometric source. In: Biometric Technology for Human Identification VII, 5-9 Apr 2010, Orlando, Florida. pp. 1-12. Proceedings of SPIE 7667. SPIE--The International Society for Optical Engineering. ISSN 0277-786X ISBN 978-0-81948-131-3

Kelkboom, E.J.C. and Garcia Molina, G. and Breebaart, J. and Veldhuis, R.N.J. and Kevenaar, T.A.M. and Jonker, W. (2010) Binary Biometrics: An Analytic Framework to Estimate the Performance Curves Under Gaussian Assumption. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 40 (3). pp. 555-571. ISSN 1083-4427 *** ISI Impact 2,033 ***

Kok, G. (2010) Cloud Computing & Confidentiality. Master's thesis, University of Twente.

Langer, L. and Jonker, H.L. and Pieters, W. (2010) Anonymity and Verifiability in Voting: Understanding (Un)Linkability. In: 12th International Conference Information and Communications Security, ICICS 2010, 15-17 Dec 2010, Barcelona, Spain. pp. 296-310. Lecture Notes in Computer Science 6476. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-17649-4

Leinmüller, T. and Schoch, E. and Kargl, F. and Maihöfer, C. (2010) Decentralized position verification in geographic ad hoc routing. Security and Communication Networks, 3 (4). pp. 289-302. ISSN 1939-0114

van Liesdonk, P. and Sedghi, S. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2010) Computationally Efficient Searchable Symmetric Encryption. In: Proceedings of the Seventh International Workshop on Secure Data Management, SDM 2010, 17 Sep 2010, Singapore. pp. 87-100. Lecture Notes in Computer Science (6358). Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15545-1

Luo, Y. and Lai, X. and Gong, Zheng (2010) Pseudorandomness analysis of the (extended) Lai–Massey scheme. Information processing letters, 111 (2). pp. 90-96. ISSN 0020-0190 *** ISI Impact 0,764 ***

Ma, Z. and Kargl, F. and Weber, M. (2010) Measuring long-term location privacy in vehicular communication systems. Computer communications, 33 (12). pp. 1414-1427. ISSN 0140-3664 *** ISI Impact 0,933 ***

Morali, A. and Wieringa, R.J. (2010) Risk-Based Confidentiality Requirements Specification for Outsourced IT Systems (Extended Version). Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Wieringa, R.J. (2010) Risk-Based Confidentiality Requirements Specification for Outsourced IT Systems. In: Proceedings of the 18th IEEE International Requirements Engineering Conference (RE 2010), 27 Sept - 1 Oct 2010, Sydney, Australia. pp. 199-208. IEEE Computer Society. ISBN 978-0-7695-4162-4

Morali, A. and Wieringa, R.J. (2010) Towards Validating Risk Indicators Based on Measurement Theory (Extended version). Technical Report TR-CTIT-10-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Wieringa, R.J. (2010) Towards Validating Risk Indicators Based on Measurement Theory. In: ISSRE 2010 Supplemental Proceedings: 1st International Workshop on Risk and Trust in Extended Enterprises, 01 Nov 2010, USA. pp. 443-447. IEEE Computer Society. ISBN 978-0-7695-4255-3

Morali, A. and Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. (2010) CRAC: Confidentiality Risk Assessment and IT-Architecture Comparison. In: Proceedings of the 6th International Conference on Network and Service Management (CNSM 2010), 25-29 Oct 2010, Niagara Falls, Canada. pp. 322-325. IEEE Computer Society. ISBN 978-1-4244-8910-7

Nasution, S. and Hartel, P.H. and Suryana, N. and Azman, N. and Shahib, S. (2010) Trust Level and Routing Selection for Mobile Agents in a Smart Home. In: Second International Conference on Computer Modeling and Simulation (ICCMS), 22-24 Jan. 2010, Sanya, China. pp. 445-450. IEEE Computer Society. ISBN 978-0-7695-3941-6

Nunes Leal Franqueira, V. and van Cleeff, A. and van Eck, P.A.T. and Wieringa, R.J. (2010) External Insider Threat: a Real Security Challenge in Enterprise Value Webs. In: Proceedings of the Fifth International Conference on Availability, Reliability and Security (ARES'2010), 15-18 February 2010, Krakow, Poland. pp. 446-453. IEEE Computer Society. ISBN 978-0-7695-3965-2

Nunes Leal Franqueira, V. and Houmb, S.H. and Daneva, M. (2010) Using Real Option Thinking to Improve Decision Making in Security Investment. In: To Appear in the Proceedings of the 5th International Symposium on Information Security (IS'2010 - On The Move Federated Conferences), 25-29 October 2010, Greece. pp. 619-638. Lecture Notes in Computer Science 6426. Springer Verlag. ISSN 0302-9743

Nunes Leal Franqueira, V. and Wieringa, R.J. (2010) Value-driven Security Agreements in Extended Enterprises. Technical Report TR-CTIT-10-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ottenhof, R.H.J. (2010) Towards automated truancy detection. Master's thesis, University of Twente.

Pavlou, G. and Pras, A. (2010) Series editorial: Network and Service Management Series. IEEE Communications Magazine, 48 (7). pp. 84-85. ISSN 0163-6804 *** ISI Impact 2,446 ***

Pavlovic, D. (2010) Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks. In: 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, 16-17 September 2010, Pisa, Italy. pp. 1-17. Lecture Notes in Computer Science 6561. Springer. ISBN 978-3-642-19751-2

Pavlovic, D. (2010) The Unreasonable Ineffectiveness of Security Engineering: An Overview. In: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, 13-18 Sep 2010, Pisa, Italy. pp. 12-18. Software Engineering and Formal Methods. IEEE Computer Society. ISBN 978-1-4244-8289-4

Pavlovic, D. and Meadows, C. (2010) Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. In: Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), 6-10 May 2010, Ottawa, Ontario, Canada . pp. 97-122. Electronic Notes in Theoretical Computer Science 265. Elsevier. ISSN 1571-0661

Pavlovic, D. and Pepper, P. and Smith, D.R. (2010) Formal Derivation of Concurrent Garbage Collectors. In: 10th International Conference on Mathematics of Program Construction, MPC 2010, June 21-23, 2010, Québec City, Canada. pp. 353-376. Springer. ISBN 978-3-642-13321-3

Pieters, W. (2010) ANKH: Information Threat Analysis with Actor-NetworK Hypergraphs. Technical Report TR-CTIT-10-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pieters, W. (2010) Explanation and trust: what to tell the user in security and AI? Technical Report TR-CTIT-10-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pieters, W. (2010) Security and privacy in the clouds: a bird's eye view. Technical Report TR-CTIT-10-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pieters, W. (2010) Reve{a,i}ling the risks: a phenomenology of information security Techné: Research in Philosophy and Technology, 14 (3). pp. 176-188. ISSN 1091-8264

Pieters, W. (2010) Verifiability of electronic voting: between confidence and trust. In: Data Protection in a Profiled World. Springer, Dordrecht, pp. 157-175. ISBN 978-90-481-8864-2

Pieters, W. (2010) Informational precaution. In: 8th Conference on Computing and Philosophy (ECAP10), 4-6 Oct 2010, Munich, Germany. pp. 320-325. Verlag Dr. Hut. ISBN 978-3-86853-546-4

Pieters, W. and Boersma, K. and Alberts, G. and Timmer, J. and Dijkstra, A. and Popkema, M. (2010) Inzicht en toezicht: controle in de kennissamenleving. In: Inzicht en toezicht: controle in de kennissamenleving. Jaarboek Kennissamenleving (6). Aksant, Amsterdam, pp. 7-17. ISSN 1871-0034 ISBN 978-90-5260-384-1

Pontes Soares Rocha, B. and Bandhakavi, S. and den Hartog, J.I. and Winsborough, W.H. and Etalle, S. (2010) Towards static flow-based declassification for legacy and untrusted programs. In: IEEE Symposium on Security and Privacy, May 16-19, 2010, Oakland, California. pp. 93-108. IEEE Computer Society. ISBN 978-0-7695-4035-1

Pras, A. and Sperotto, A. and Moreira Moura, G.C. and Drago, I. and Barbosa, R.R.R. and Sadre, R. and de Oliveira Schmidt, R. and Hofstede, R. (2010) Attacks by “Anonymous” WikiLeaks Proponents not Anonymous. Technical Report TR-CTIT-10-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Qiu, Weidong and Gong, Zheng and Liu, Bozhong and Long, Yu and Chen, Kefei (2010) Restrictive partially blind signature for resource-constrained information systems. Knowledge and Information Systems, 26 (1). pp. 87-103. ISSN 0219-1377 *** ISI Impact 2,211 ***

Roschke, S. and Ibraimi, L. and Cheng, Feng and Meinel, C. (2010) Secure Communication using Identity Based Encryption. In: Proceedings of the 11th Joint IFIP TC6 and TC 11 Conference on Communications and Multimedia Security (CMS), 31 May - 2 June 2010, Linz, Austria. pp. 256-267. Lecture Notes in Computer Science 6109. Springer Verlag. ISBN 3-642-13240-5

Saffarian, M. and Sadighi, B. (2010) Owner-Based Role-Based Access Control OB-RBAC. In: International Conference on Availability, Reliability, and Security (ARES), 15-18 Feb 2010, Krakow, Poland. pp. 236-241. IEEE Computer Society. ISBN 978-1-4244-5879-0

Schaub, F. and Kargl, F. and Ma, Z. and Weber, M. (2010) V-Tokens for Conditional Pseudonymity in VANETs. In: IEEE Wireless Communications and Networking Conference (WCNC 2010), Sydney, Australia. pp. 1-6. IEEE Computer Society. ISBN 978-1-4244-6396-1

Schmidt, R.K. and Leinmüller, T. and Schoch, E. and Kargl, F. and Schäfer, G. (2010) Exploration of Adaptive Beaconing for Efficient Intervehicle Safety Communication. IEEE Network, 24 (1). pp. 14-19. ISSN 0890-8044 *** ISI Impact 2,148 ***

Schoch, E. and Bako, B. and Dietzel, S. and Kargl, F. (2010) Dependable and Secure Geocast in Vehicular Networks. In: Proceedings of the Seventh ACM international workshop on VehiculAr InterNETworking, VANET 2010, 24 Sep 2010, Chicago, US. pp. 61-68. ACM. ISBN 978-1-4503-0145-9

Schoch, E. and Kargl, F. (2010) On the Efficiency of Secure Beaconing in VANETs. In: Proceedings of the third ACM conference on Wireless network security (ACM WiSec 2010), Hoboken, New Jersey, USA. pp. 111-116. ACM. ISBN 978-1-60558-923-7

Schwartzenberg, J. (2010) Using Machine Learning Techniques for Advanced Passive Operating System Fingerprinting. Master's thesis, University of Twente.

Sedghi, S. and van Liesdonk, P. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2010) Searching Keywords with Wildcards on Encrypted Data. Technical Report TR-CTIT-10-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sedghi, S. and van Liesdonk, P. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2010) Searching Keywords with Wildcards on Encrypted Data. In: Proceedings of the Seventh international Conference on Security and Cryptography for Networks (SCN), 13-15 September 2010, Amalfy, Italy. pp. 138-153. Lecture Notes in Computer Science 6280. Springer Verlag. ISBN 978-3-642-15316-7

Soleimanifard, S. and Gurov, D. and Huisman, M. (2010) Procedure-Modular Verification of Control Flow Safety Properties. In: 12th Workshop on Formal Techniques for Java-like Programs, FTfJP 2010, June 22, 2010, Maribor, Slovenia. 5. ACM. ISBN 978-1-4503-0540-2

Sperotto, A. (2010) Flow-based intrusion detection. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-180 ISBN 978-90-365-3089-7

Sperotto, A. and Schaffrath, G. and Sadre, R. and Morariu, C. and Pras, A. and Stiller, B. (2010) An Overview of IP Flow-Based Intrusion Detection. IEEE Communications Surveys & Tutorials, 12 (3). pp. 343-356. ISSN 1553-877X

Tang, Qiang (2010) From Ephemerizer to Timed-Ephemerizer: Achieve Assured Lifecycle Enforcement for Sensitive Data. Technical Report TR-CTIT-10-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang (2010) User-friendly matching protocol for online social networks. In: ACM Conference on Computer and Communications Security, 4-8 Oct 2010, Chicago, IL, USA. pp. 732-734. ACM. ISBN 978-1-4503-0245-6

Tang, Qiang (2010) Privacy Preserving Mapping Schemes Supporting Comparison. In: ACM Cloud Computing Security Workshop (CCSW), 9 Oct 2010, Chicago, Illinois. pp. 53-58. ACM. ISBN 978-1-4503-0089-6

Tang, Qiang and Jeckmans, A.J.P. (2010) On Non-Parallelizable Deterministic Client Puzzle Scheme with Batch Verification Modes. Technical Report TR-CTIT-10-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang and Jeckmans, A.J.P. (2010) Efficient Client Puzzle Schemes to Mitigate DoS Attacks. In: International Conference on Computational Intelligence and Security (CIS 2010), 11-14 dec 2010, Nanning, China. pp. 293-297. IEEE Computational Intelligence Society. ISBN 978-1-4244-9114-8

Tao, Q. and Veldhuis, R.N.J. (2010) Biometric Authentication System on Mobile Personal Devices. IEEE transactions on instrumentation and measurement, 59 (4). pp. 763-773. ISSN 0018-9456 *** ISI Impact 1,025 ***

van Vliet, F. (2010) Threat Detection Systems. Master's thesis, University of Twente.

van Wanrooij, W. and Pras, A. (2010) Filtering spam from bad neighborhoods. International Journal of Network Management, 20 (6). pp. 433-444. ISSN 1055-7148

Wiedersheim, B. and Kargl, F. and Ma, Z. and Papadimitratos, P. (2010) Privacy in Inter-Vehicular Networks: Why simple pseudonym change is not enough. In: The Seventh International Conference on Wireless On-demand Network Systems and Services (WONS 2010), Kranska Gora, Slovenia. pp. 176-183. IEEE Computer Society. ISBN 978-1-4244-6059-5

Xu, Haiyun (2010) Spectral Minutiae Representations for Fingerprint Recognition. PhD thesis, University of Twente. ISBN 978-90-365-3080-4

Xu, Haiyun and Veldhuis, R.N.J. (2010) Complex Spectral Minutiae Representation For Fingerprint Recognition. In: Proceedings of IEEE CVPR Workshop on Biometrics, 13-18 Jun 2010, San Francisco, CA, USA. pp. 1-8. IEEE Computer Society. ISBN 978-1-4244-7029-7

Xu, Haiyun and Veldhuis, R.N.J. (2010) Binary Representations of Fingerprint Spectral Minutiae Features. In: 20th International Conference on Pattern Recognition (ICPR 2010), 23-26 August 2010, Istanbul, Turkey. 1212-1216 . IEEE Computer Society. ISBN 978-1-4244-7542-1

Xu, Haiyun and Veldhuis, R.N.J. (2010) Binary spectral minutiae representation with multi-sample fusion for fingerprint recognition. In: Proceedings of the 12th ACM Workshop on Multimedia and Security, 9-10 Sep 2010, Rome, Italy. pp. 73-80. ACM. ISBN 978-1-4503-0286-9

Xu, Haiyun and Veldhuis, R.N.J. (2010) Spectral Minutiae Representations for Fingerprint Recognition. In: Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2010), 15-17 Oct 2010, Darmstadt, Germany. pp. 341-345. IEEE Computer Society. ISBN 978-1-4244-8378-5

Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. (2010) A²THOS: Availability Analysis and Optimisation in SLAs Technical Report TR-CTIT-10-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zannone, N. and Petkovic, M. and Etalle, S. (2010) Towards Data Protection Compliance. In: Proceedings of the 5th International Conference on Security and Cryptography (SECRYPT 2010), 26-28 July 2010, Athens, Greece. pp. 213-216. SciTePress. ISBN 978-989-8425-18-8

2009

Papadopouli, M. and Owezarski, P. and Pras, A., ed. (2009) Traffic Monitoring and Analysis: Proceedings of the First International Traffic Monitoring and Analysis Workshop (TMA2009). Lecture Notes in Computer Science 5537. Springer Verlag, Heidelberg, pp. 1-134. ISBN 978-3-642-01644-8

Preneel, B. and Dodunekov, S. and Rijmen, V. and Nikova, S.I., ed. (2009) Enhancing cryptographic primitives with techniques from error correcting codes. NATO Science for Peace and Security Series D - Information and Communication Security 23. IOS Press, Amsterdam. ISSN 1874-6268 ISBN 978-1-60750-002-5

Sadre, R. and Pras, A., ed. (2009) Scalability of Networks and Services: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009). Lecture Notes in Computer Science 5637. Springer Verlag, Heidelberg, pp. 1-211. ISSN 0302-9743 ISBN 978-3-642-02626-3

Beumer, G.M. (2009) Face recognition, a landmarks tale. PhD thesis, University of Twente. ISBN 978-90-365-2891-7

Bolzoni, D. (2009) Revisiting Anomaly-based Network Intrusion Detection Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-147 ISBN 978-90-365-2853-5

Bolzoni, D. and Etalle, S. and Hartel, P.H. (2009) Panacea: Automating Attack Classification for Anomaly-based Network Intrusion Detection Systems. Technical Report TR-CTIT-09-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bolzoni, D. and Etalle, S. and Hartel, P.H. (2009) Panacea: Automating Attack Classification for Anomaly-based Network Intrusion Detection Systems. In: Recent Advances in Intrusion Detection (RAID). pp. 1-20. Lecture Notes in Computer Science 5758. Springer Verlag. ISBN 978-3-642-04341-3

Boom, B.J. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2009) Model-Based Illumination Correction for Face Images in Uncontrolled Scenarios. In: Computer Analysis of Images and Patterns 2009, 2-4 Sep 2009, Munster. pp. 33-40. Lecture Notes in Computer Science 5702/2009. Springer Verlag. ISBN 978-3-642-03766-5

Boom, B.J. and Tao, Q. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2009) Combining Illumination Normalization Methods for Better Face Recognition. In: The 3rd IAPR/IEEE International Conference on Biometrics, 2 Jun - 5 Jun 2009, Alghero, Italy. pp. 404-413. Lecture Notes in Computer Science Advances in Biometrics (Volume 5558/2009). Springer Verlag. ISBN 978-3-642-01792-6

Buhan, I.R. and Boom, B.J. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2009) Secure pairing with biometrics. International Journal of Security and Networks, 4 (1/2). pp. 27-42. ISSN 1747-8405

Chen, Chun and Veldhuis, R.N.J. (2009) Binary Biometric Representation through Pairwise Polar Quantization. In: Advances in Biometrics. Lecture Notes in Computer Science 5558. Springer Verlag, Berlin, pp. 72-81. ISBN 978-3-642-01792-6

Chen, Chun and Veldhuis, R.N.J. and Kevenaar, T.A.M. and Akkermans, A.H.M. (2009) Biometric Quantization through Detection Rate Optimized Bit Allocation. EURASIP Journal on Advances in Signal Processing, 2009. 784834. ISSN 1687-6172 *** ISI Impact 0,885 ***

Chrząszcz, J. and Huisman, M. and Schubert, A. (2009) BML and Related Tools. In: Formal Methods for Components and Objects, 21-23 Oktober 2008, Sophia Antipolis, France. pp. 278-297. Lecture Notes in Computer Science 5751. Springer Verlag. ISBN 978-3-642-04166-2

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2009) Security Implications of Virtualization: A Literature Study. Technical Report TR-CTIT-09-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2009) Security Implications of Virtualization: A Literature Study. In: 2009 IEEE International Conference on Computational Science and Engineering (CSE09), volume 3, 29 Aug - 31 Aug, Vancouver, BC, Canada. pp. 353-358. IEEE Computer Society. ISBN 978-0-7695-3823-5

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2009) Gooi eigen servers en pc's niet weg. TIEM, Tijdschrift voor Informatie en Management, 34. pp. 8-9. ISSN 1572-5472

van Cleeff, A. and Wieringa, R.J. (2009) Rethinking De-Perimeterisation: Problem Analysis And Solutions. In: Proceedings of the IADIS International Conference Information Systems 2009, 25-27 Feb 2009, Barcelona. pp. 105-112. IADIS press. ISBN 978-972-8924-79-9

Czenko, M.R. (2009) TuLiP : reshaping trust management. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-148 ISBN 978-90-365-2854-2

Czenko, M.R. and Etalle, S. (2009) LP with Flexible Grouping and Aggregates Using Modes. In: 19th International Symposium, LOPSTR, Revised Selected Papers, 9-11 Sep 2009, Coimbra, Portugal. pp. 67-81. LNCS 6037. Springer. ISBN 978-3-642-12591-1

Damjanović, S. and van der Heijden, F. and Spreeuwers, L.J. (2009) A new likelihood function for stereo matching: how to achieve invariance to unknown texture, gains and offsets? In: VISIGRAPP 2009, International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 5-8 Feb 2009, Lisboa, Portugal. pp. 603-608. INSTICC Press. ISBN 978-989-8111-74-6

Dekker, M.A.C. (2009) Flexible Access Control for Dynamic Collaborative Environments. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-159 ISBN 978-90-365-2950-1

Dimkov, T. (2009) The key-free society. In: Living the ICT future. Centre for Telematics and Information Technology University of Twente, Enschede, pp. 28-29. ISBN 978-90-365-2963-1

Dimkov, T. and Pieters, W. and Hartel, P.H. (2009) Portunes: generating attack scenarios by finding inconsistencies between security policies in the physical, digital and social domain. Technical Report TR-CTIT-09-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dimkov, T. and Pieters, W. and Hartel, P.H. (2009) Two methodologies for physical penetration testing using social engineering. Technical Report TR-CTIT-09-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Etalle, S. and Winsborough, W.H. (2009) Maintaining control while delegating trust: Integrity constraints in trust management. ACM Transactions on Information and System Security, 13 (1). 5. ISSN 1094-9224 *** ISI Impact 0,6 ***

Georg, G. and Ray, I. and Anastasakis, K. and Bordbar, B. and Toahchoodee, M. and Houmb, S.H. (2009) An aspect-oriented methodology for designing secure applications. Information and Software Technology, 50 (5). pp. 846-864. ISSN 0950-5849 *** ISI Impact 1,821 ***

Gong, Zheng (2009) Review of "J. Park, J. Zhan, C. Lee, G. Wang, T. Kim, S. Yeo, Springer Advances in information security and its application : third international conference, ISA 2009". Computing Reviews. CR137381. ISSN 1530-6585

Gong, Zheng and Hartel, P.H. and Nikova, S.I. and Zhu, Bo (2009) TuLP: A Family of Secure and Practical Message Authentication Codes for Body Sensor Networks. Technical Report TR-CTIT-09-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Gong, Zheng and Hartel, P.H. and Nikova, S.I. and Zhu, Bo (2009) Towards Secure and Practical MACs for Body Sensor Networks. In: 10th International Conference on Cryptology in India (INDOCRYPT), 13-16 Dec 2009, New Delhi, India. pp. 182-198. Lecture Notes in Computer Science 5922. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-10627-9

Haverkort, B.R.H.M. and Remke, A.K.I. and Hartel, P.H. (2009) Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren. Bits en chips, 11 (16). pp. 23-23. ISSN 1879-6443

van Heerde, H.J.W. and Fokkinga, M.M. and Anciaux, N.L.G. (2009) A framework to balance privacy and data usability using data degradation. In: Proceedings of the International Conference on Computational Science and Engineering (CSE2009), 29-31 Aug 2009, Vancouver, Canada. pp. 146-153. IEEE Computer Society. ISBN 978-0-7695-3823-5

Hendrikse, A.J. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2009) A Bootstrap Approach to Eigenvalue Correction. In: Ninth IEEE International Conference on Data Mining, 2009. ICDM '09., 6-9 Dec. 2009, Miami Beach, FL, USA. pp. 818-823. IEEE Computer Society. ISSN 1550-4786 ISBN 978-1-4244-5242-2

Hendrikse, A.J. and Veldhuis, R.N.J. and Spreeuwers, L.J. (2009) Improved variance estimation along sample eigenvectors. In: Proceedings of the 30th Symposium on Information Theory in the Benelux, 28-29 May 2009, Eindhoven, The Netherlands. pp. 25-32. Werkgemeenschap voor Informatie- en Communicatietheorie. ISBN 978-90-386-1852-4

Hendrikse, A.J. and Veldhuis, R.N.J. and Spreeuwers, L.J. and Bazen, A.M. (2009) Analysis of eigenvalue correction applied to biometrics. In: Advances in Biometrics, 02-05 June 2009, Alghero, Italy. pp. 189-198. Lecture Notes in Computer Science 5558/2009. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-01792-6

Houmb, S.H. and Nunes Leal Franqueira, V. (2009) Estimating ToE Risk Level using CVSS. In: Proceedings of the Fourth International Conference on Availability, Reliability and Security (ARES 2009 - The International Dependability Conference), 16-19 March 2009, Fukuoka, Japan. pp. 718-725. IEEE Conference Proceedings. IEEE Computer Society. ISSN 1077-2626 ISBN 978-0-7695-3564-7

Huisman, M. (2009) On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker. In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, July 5, 2009, Genua. 8. ACM. ISBN 978-1-60558-540-6

Huisman, M. and Aldrich, J. and Barnett, M. and Giannakopoulou, D. and Leavens, G.T. and Sharagyna, N. (2009) Foreword. In: SAVCBS '09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, 25 August 2009, Amsterdam. pp. 3-3. ACM. ISBN 978-1-60558-680-9

Ibraimi, L. and Asim, M. and Petkovic, M. (2009) Secure Management of Personal Health Records by Applying Attribute-Based Encryption. Technical Report TR-CTIT-09-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Petkovic, M. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2009) Mediated Ciphertext-Policy Attribute-Based Encryption and its Application (extended version). Technical Report TR-CTIT-09-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Petkovic, M. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2009) Mediated Ciphertext-Policy Attribute-Based Encryption and Its Application. In: Information Security Applications, 25-27 August 2009, Busan, Korea. pp. 309-323. Lecture Notes in Computer Science 5932/2009. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-10837-2

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2009) Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. In: 5th Information Security Practice and Experience Conference (ISPEC), 12-15 April 2009, Xi'an, China. pp. 1-12. Lecture Notes in Computer Science 5451. Springer. ISSN 0302-9743 ISBN 978-3-642-00842-9

Jacobs, B.P.F. and Pieters, W. (2009) Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. In: Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures. Lecture Notes in Computer Science 5705. Springer Verlag, Berlin, pp. 121-144. ISSN 0302-9743 ISBN 978-3-642-03828-0

Jeckmans, A.J.P. (2009) Practical Client Puzzle from Repeated Squaring. Master's thesis, University of Twente.

Jonker, W. and Brinkman, R. and Maubach, S. (2009) Secure storage system and method for secure storing. Patent WO2007125454 (Assigned).

Kelkboom, E.J.C. and de Groot, K.T.J. and Chen, Chun and Breebaart, J. and Veldhuis, R.N.J. (2009) Pitfall of the Detection Rate Optimized Bit Allocation within template protection and a remedy. In: IEEE 3rd International Conference on Biometrics: Theory, Applications, and Systems, 2009. BTAS '09., 28-30 Sep 2009, Washington, DC, USA. pp. 1-8. IEEE Computer Society. ISBN 978-1-4244-5019-0

Kelkboom, E.J.C. and Zhou, Xuebing and Breebaart, J. and Veldhuis, R.N.J. and Busch, C. (2009) Multi-algorithm fusion with template protection. In: IEEE 3rd International Conference on Biometrics: Theory, Applications, and Systems, 2009. BTAS '09., 28-30 Sep 2009, Washington, DC, USA. pp. 1-8. IEEE Computer Society. ISBN 978-1-4244-5019-0

Lastdrager, E. and Pras, A. (2009) Consistency of Network Traffic Repositories: An Overview. In: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), 30 Jun - 02 Jul 2009, Enschede, The Netherlands. pp. 173-178. Lecture Notes in Computer Science 5637. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02626-3

Lastdrager, E. and Pras, A. (2009) Consistency analysis of network traffic repositories. In: The Internet of the Future, 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, 7-9 Sep 2009, Barcelona, Spain. pp. 217-226. Lecture Notes in Computer Science 5733. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-03699-6

Morali, A. and Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. (2009) CRAC: Confidentiality Risk Analysis and IT-Architecture Comparison of Business Networks (extended version). Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Zambon, Emmanuele and Houmb, S.H. and Sallhammar, K. and Etalle, S. (2009) Extended eTVRA vs. Security Checklist: Experiences in a Value-Web. In: 31st International Conference on Software Engineering - Companion Volume, 16-24 May 2009, Vancouver, Canada. pp. 130-140. IEEE Computer Society. ISBN 978-1-4244-3494-7

Moreira Moura, G.C. and Pras, A. (2009) Scalable Detection and Isolation of Phishing. In: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), 30 Jun - 02 Jul 2009, Enschede, The Netherlands. pp. 195-198. Lecture Notes in Computer Science 5637. Springer Verlag. ISBN 978-3-642-02626-3

Nasution, S. and Hartel, P.H. and Suryana, N. and Azman, N. and Shahib, S. (2009) Trust Level and Routing Selection for Mobile Agents in a Smart Home (Extended version). Technical Report TR-CTIT-09-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nasution, S. and Suryana, N. and Shahib, S. and Abu, N.A. and Hartel, P.H. (2009) The Application of Fuzzy Logic Controller to Compute a Trust Level for Mobile Agents in a Smart Home. In: International Technology, Education and Development Conference (INTED), 9-11 March 2009, Valencia, Spain. 702. International Association of Technology, Education and Development (IATED). ISBN 978-84-612-7578-6

Nunes Leal Franqueira, V. (2009) Finding Multi-step Attacks in Computer Networks using Heuristic Search and Mobile Ambients. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-154 ISBN 978-90-365-2923-5

Nunes Leal Franqueira, V. and van Eck, P.A.T. and Wieringa, R.J. and Lopes, R.H.C. (2009) A Mobile Ambients-based Approach for Network Attack Modelling and Simulation. In: Proceedings of the Fourth International Workshop on Dependability Aspects on Data Warehousing and Mining applications, DAWAM 2009 (in conjunction with ARES 2009, The Fourth International Conference on Availability, Reliability and Security), 16-19 Mar 2009, Fukuoka, Japan. pp. 546-553. IEEE Computer Society. ISBN 978-0-7695-3564-7

Nunes Leal Franqueira, V. and Lopes, R.H.C. and van Eck, P.A.T. (2009) Multi-step Attack Modelling and Simulation (MsAMS) Framework based on Mobile Ambients. In: Proceeding of the 24th Annual ACM Symposium on Applied Computing, SAC'2009, 08-12 March 2009, Honolulu, Hawaii, USA. pp. 66-73. ACM. ISBN 978-1-60558-166-8

Pavlou, G. and Pras, A. (2009) Topics in network and service management. IEEE Communications Magazine, 47 (7). pp. 18-19. ISSN 0163-6804 *** ISI Impact 2,446 ***

Pieters, W. (2009) De monsterlijke trekjes van beveiligingsproblemen. Informatiebeveiliging, 2009 (3). pp. 23-25. ISSN 1569-1063

Pieters, W. (2009) Combatting electoral traces: the Dutch tempest discussion and beyond. Technical Report TR-CTIT-09-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pieters, W. (2009) Converging technologies and de-perimeterisation: towards risky active insulation. In: Proceedings of SPT 2009: Converging technologies, changing societies, 7-10 Jul 2009, Enschede, The Netherlands. pp. 58-60. CEPTES, University of Twente. ISBN not assigned

Pieters, W. (2009) Reve{a,i}ling the risks: a phenomenology of information security Technical Report TR-CTIT-09-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pieters, W. (2009) Combatting electoral traces: the Dutch tempest discussion and beyond. In: E-Voting and Identity: Second International Conference, VOTE-ID 2009, 7-8 Sep 2009, Luxembourg city, Luxembourg. pp. 172-190. Lecture Notes in Computer Science 5767. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04134-1

Pieters, W. and van Cleeff, A. (2009) The Precautionary Principle in a World of Digital Dependencies. IEEE Computer, 42 (6). pp. 50-56. ISSN 0018-9162 *** ISI Impact 2,205 ***

Pieters, W. and van Cleeff, A. (2009) The precautionary principle in a world of digital dependencies. Technical Report TR-CTIT-09-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pieters, W. and van Cleeff, A. and Wieringa, R.J. (2009) Voor goede keuzes heb je tijd nodig. Trouw, 67 (19855, 5 Aug 2009). 25. ISSN not assigned

Pieters, W. and Consoli, L. (2009) Vulnerabilities and responsibilities: dealing with monsters in computer security. Journal of information, communication and ethics in society, 7 (4). pp. 243-257. ISSN 1477-996X

Pieters, W. and Popkema, M. and Broekhans, B. and Dijkstra, A. and Boersma, K. and Alberts, G. (2009) Gevoel voor kennis: emoties in de kennissamenleving. In: Gevoel voor kennis. Jaarboek Kennissamenleving 5. Aksant, Amsterdam, pp. 7-20. ISSN 1871-0034 ISBN 978-90-5260-351-3

Pieters, W. and Tang, Qiang (2009) Data is key: introducing the data-based access control paradigm. Technical Report TR-CTIT-09-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pieters, W. and Tang, Qiang (2009) Data is key: introducing the data-based access control paradigm. In: Data and Applications Security 2009, 12-15 Jul 2009, Montreal, Canada. pp. 240-251. Lecture Notes in Computer Science 5645. Springer Verlag. ISBN 978-3-642-03006-2

Pras, A. and Sadre, R. and Sperotto, A. and Fioreze, T. and Hausheer, D. and Schoenwaelder, J. (2009) Using NetFlow/IPFIX for Network Management. Journal of Network and Systems Management, 17 (4). 6. ISSN 1064-7570 *** ISI Impact 1,356 ***

Saffarian, M. and Tang, Qiang and Jonker, W. and Hartel, P.H. (2009) Dynamic User Role Assignment in Remote Access Control. Technical Report TR-CTIT-09-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sedghi, S. and van Liesdonk, P. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2009) Adaptively Secure Computationally Efficient Searchable Symmetric Encryption. Technical Report TR-CTIT-09-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sperotto, A. and Sadre, R. and de Boer, P.T. and Pras, A. (2009) Hidden Markov Model modeling of SSH brute-force attacks. In: Integrated Management of Systems, Services, Processes and People in IT, Proceedings of the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, October 27-28, 2009, Venice, Italy. pp. 164-176. Lecture Notes in Computer Science 5841/2009. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04988-0

Sperotto, A. and Sadre, R. and van Vliet, D.F. and Pras, A. (2009) A Labeled Data Set For Flow-based Intrusion Detection. In: IP Operations and Management, Proceedings of the 9th IEEE Intenational Workshop IPOM 2009, October 29-30, 2009, Venice, Italy. pp. 39-50. Lecture Notes in Computer Science 5843/2009. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04967-5

Sperotto, A. and Vliek, G. and Sadre, R. and Pras, A. (2009) Detecting Spam at the Network Level. In: Proceedings of the 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, 7-9 Sep 2009, Barcelona. pp. 208-216. Lecture Notes in Computer Science 5733. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-03699-6

Spiessens, F. and den Hartog, J.I. and Etalle, S. (2009) Know what you trust. In: Formal Aspects in Security and Trust, 5th International Workshop, Malaga, Spain. pp. 129-142. Lecture Notes in Computer Science 5491. Springer Verlag. ISBN 978-3-642-01464-2

Tang, Qiang (2009) Timed-Ephemerizer: Make Assured Data Appear and Disappear. In: Sixth European Workshop on Public Key Services, Applications and Infrastructures, 10-11 September, 2009, Pisa, Italy. pp. 195-208. Lecture Notes in Computer Science 6391. Springer Verlag. ISBN 978-3-642-16440-8

Tang, Qiang and Chen, Liqun (2009) Public-key Encryption with Registered Keyword Search. In: Sixth European Workshop on Public Key Services, Applications and Infrastructures, 10-11 September, 2009, Pisa, Italy. pp. 163-178. Lecture Notes in Computer Science 6391. Springer Verlag. ISBN 3-642-16440-4

Tang, Qiang and Hartel, P.H. and Jonker, W. (2009) Inter-domain Identity-Based Proxy Re-encryption. In: Information Security and Cryptology, 4th International Conference (Inscrypt), December 14-17, 2008, Beijing China. pp. 332-347. Lecture Notes in Computer Science 5487. Springer Verlag. ISBN 978-3-642-01439-0

Tao, Q. (2009) Face Verification for Mobile Personal Devices. PhD thesis, University of Twente. ISBN 978-90-365-2793-4

Tao, Q. and Veldhuis, R.N.J. (2009) Threshold-optimized decision-level fusion and its application to biometrics. Pattern Recognition, 42 (5). pp. 823-836. ISSN 0031-3203 *** ISI Impact 2,554 ***

Trivellato, D. and Spiessens, A.O.D. and Zannone, N. and Etalle, S. (2009) Reputation-based ontology alignment for autonomy and interoperability in distributed access control. In: Proceedings 12th IEEE International conference on Computational Science and Engineering, 29-31 Aug. 2009, Vancouver BC, Canada. pp. 252-258. IEEE. ISBN 978-0-7695-3823-5

Trivellato, D. and Spiessens, A.O.D. and Zonnone, N. and Etalle, S. (2009) POLIPO: Policies & ontologies for interoperability, portability, and autonomy. In: IEEE International Symposium on Policies for Distributed Systems and Networks, 20-22 July 2009, London, UK. pp. 110-113. IEEE. ISBN 978-0-7695-3742-9

Weng, J. and Yang, Yanjiang and Tang, Qiang and Deng, R. and Bao, F. (2009) Efficient Conditional Proxy Re-encryption with Chosen-Ciphertext Security. In: Information Security - 12th International Conference, ISC, Pisa, Italy, September 7-9, 2009, Pisa, Italy. pp. 151-166. Lecture Notes in Computer Science 5735. Springer Verlag. ISBN 978-3-642-04473-1

Xu, Haiyun and Veldhuis, R.N.J. (2009) Spectral Representations of Fingerprint Minutiae Subsets. In: 2nd International Congress on Image and Signal Processing, 2009. CISP '09., 17-19 Oct. 2009, Tianjing, China. pp. 1-5. IEEE Computer Society. ISBN 978-1-4244-4131-0

Xu, Haiyun and Veldhuis, R.N.J. (2009) Spectral minutiae representations of fingerprints enhanced by quality data. In: Biometrics: Theory, Applications, and Systems, 2009. BTAS '09. IEEE 3rd International Conference on, 28-30 Sep 2009, Washington DC, USA. pp. 1-5. IEEE Computer Society. ISBN 978-1-4244-5020-6

Xu, Haiyun and Veldhuis, R.N.J. and Bazen, A.M. and Kevenaar, T.A.M. and Akkermans, A.H.M. and Gökberk, B. (2009) Fingerprint Verification Using Spectral Minutiae Representations. IEEE Transactions on Information Forensics and Security, 4 (3). pp. 397-409. ISSN 1556-6013 *** ISI Impact 2,338 ***

Xu, Haiyun and Veldhuis, R.N.J. and Kevenaar, T.A.M. and Akkermans, A.H.M. (2009) A quality integrated spectral minutiae fingerprint recognition system. In: Proceedings of the 30th symposium on information theory in the Benelux, 28-29 May 2009, Eindhoven, the Netherlands. pp. 19-24. Werkgemeenschap voor Informatie- en Communicatietheorie. ISBN 978-90-386-1852-4

Xu, Haiyun and Veldhuis, R.N.J. and Kevenaar, T.A.M. and Akkermans, A.H.M. (2009) A Fast Minutiae-Based Fingerprint Recognition System. IEEE Systems journal, 3 (4). pp. 418-427. ISSN 1932-8184 *** ISI Impact 0,825 ***

Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. and Hartel, P.H. (2009) Architecture-based Qualitative Risk Analysis for Availability of IT Infrastructures. Technical Report TR-CTIT-09-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2008

Anciaux, N.L.G. and Bouganim, L. and van Heerde, H.J.W. and Pucheral, P. and Apers, P.M.G. (2008) InstantDB: Enforcing Timely Degradation of Sensitive Data. In: Proceedings of the 24th International Conference on Data Engineering (ICDE2008), 7-12 April 2008, Cancun, Mexico. pp. 1373-1375. IEEE Computer Society. ISBN 978-1-4244-1837-4

Anciaux, N.L.G. and Bouganim, L. and van Heerde, H.J.W. and Pucheral, P. and Apers, P.M.G. (2008) Data Degradation: Making Private Data Less Sensitive Over Time. In: Proceedings of the 17th ACM Conference on Information and Knowledge Management (CIKM2008), 26-30 Oct 2008, Napa valley, California, USA. pp. 1401-1402. ACM. ISBN 978-1-59593-991-3

Anciaux, N.L.G. and Bouganim, L. and van Heerde, H.J.W. and Pucheral, P. and Apers, P.M.G. (2008) The Life-Cycle Policy model. Research report RR-6577, Institut National de Recherche en Informatique et en Automatique, Rocquencourt, France. ISSN 0249-6399

Barosso, D. and Bartle, R. and Chazeran, C. and de Zwart, M. and Doumen, J.M. and Gorniak, S. and Kaźmierczak, M. and Kaskenmaa, M. and Benavente López, D. and Martin, A. and Naumann, I. and Reynolds, R. and Richardson, J. and Rossow, C. and Rywczyoska, A. and Thumann, M. (2008) Security and privacy in massively-multiplayer online games and social and corporate virtual worlds. ENISA Position Paper 1 ENISA (European Network and Information Security Agency), Crete. ISSN not assigned

Bolzoni, D. and Crispo, B. and Etalle, S. (2008) ATLANTIDES: Automatic Configuration for Alert Verification in Network Intrusion Detection Systems. Technical Report TR-CTIT-08-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bolzoni, D. and Etalle, S. (2008) Approaches in Anomaly-based Network Intrusion Detection Systems. In: Intrusion Detection Systems. Advances in Information Security 38. Springer Verlag, London, pp. 1-16. ISBN 978-0-387-77265-3

Bolzoni, D. and Etalle, S. (2008) Boosting Web Intrusion Detection Systems by Inferring Positive Signatures. Technical Report TR-CTIT-08-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bolzoni, D. and Etalle, S. (2008) Boosting Web Intrusion Detection Systems by Inferring Positive Signatures. In: Confederated International Conferences On the Move to Meaningful Internet Systems (OTM), November 9-14, 2008, Monterrey, Mexico. pp. 938-955. Lecture Notes in Computer Science 5332. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-88872-7

Boom, B.J. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2008) Model-based reconstruction for illumination variation in face images. In: 8th IEEE International Conference on Automatic Face and Gesture Recognition, 17 Sept - 19 Sept 2008, Amsterdam, The Netherlands. pp. 1-6. IEEE Computer Society. ISBN 978-1-4244-2154-1

Buhan, I.R. (2008) Cryptographic keys from noisy data, theory and applications. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-129 ISBN 978-9-03652-738-5

Buhan, I.R. (2008) A New Secure Pairing Protocol using Biometrics. Technical Report TR-CTIT-08-63, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. (2008) Controlling Leakage of Biometric Information using Dithering. In: 16th European Signal Processing Conference, 25-29 Aug 2008, Lausanne, Switzerland. 1569105382. EUSIPCO. EURASIP, European Association for Signal, Speech and Image Processing. ISBN 978-2-8399-0450-6

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Tang, Qiang and Veldhuis, R.N.J. (2008) Embedding Renewable Cryptographic Keys into Continuous Noisy Data. In: 10th International Conference on Information and Communications Security, 20 - 22 October, 2008, Birmingham, UK. pp. 294-310. Lecture Notes in Computer Science 5308. Springer. ISBN 978-3-540-88624-2

Chen, Chun and Veldhuis, R.N.J. (2008) Performances of the likelihood-ratio classifier based on different data modelings. In: 10th International Conference on Control, Automation, Robotics and Vision, 2008. ICARCV 2008., 17-20 Dec 2008, Hanoi, Vietnam. pp. 1347-1351. IEEE Computer Society. ISBN 978-1-4244-2287-6

Chen, Chun and Veldhuis, R.N.J. and Kevenaar, T.A.M. and Akkermans, A.H.M. (2008) Biometric binary string generation with detection rate optimized bit allocation. In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Workshop on Biometrics, 24-28 Jun 2008, Anchorage, Alaska, US. pp. 1-7. IEEE Computer Society. ISBN 978-1-4244-2340-8

van Cleeff, A. (2008) Future consumer mobile phone security: A case study using the data-centric security model. Information Security Technical Report, 13 (3). pp. 112-117. ISSN 1363-4127

van Cleeff, A. and Wieringa, R.J. (2008) De-perimeterisation as a cycle: tearing down and rebuilding security perimeters. Technical Report TR-CTIT-08-65, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Czenko, M.R. and Doumen, J.M. and Etalle, S. (2008) Trust Management in P2P systems using Standard TuLiP. Technical Report TR-CTIT-08-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Czenko, M.R. and Doumen, J.M. and Etalle, S. (2008) Trust Management in P2P Systems Using Standard TuLiP. In: Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway. pp. 1-16. IFIP International Federation for Information Processing 263/2008. Springer. ISSN 1571-5736 ISBN 978-0-387-09427-4

Czenko, M.R. and Etalle, S. (2008) LP with Flexible Grouping and Aggregates Using Modes. Technical Report TR-CTIT-08-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dekker, M.A.C. and Crampton, J. and Etalle, S. (2008) RBAC administration in distributed systems. In: Proceedings of the 13th ACM symposium on Access control models and technologies, 11-13 June 2008, Estes Park, Colorado, USA. pp. 93-102. ACM. ISBN 978-1-60558-129-3

Delvaux, N. and Chabanne, H. and Bringer, J. and Kindarji, B. and Lindeberg, P. and Midgren, J. and Breebaart, J. and Akkermans, A.H.M. and van der Veen, M. and Veldhuis, R.N.J. and Kindt, E. and Simoens, K. and Busch, C. and Bours, P. and Gafurov, D. and Yang, Bian and Stern, J. and Rust, C. and Cucinelli, B. and Skepastianos, D. (2008) Pseudo Identities Based on Fingerprint Characteristics. In: Intelligent Information Hiding and Multimedia Signal Processing, 2008, IIHMSP '08 International Conference, 15-17 Aug 2008, Harbin, China. pp. 1063-1068. IEEE Computer Society. ISBN 978-0-7695-3278-3

Dimkov, T. and Tang, Qiang and Hartel, P.H. (2008) On the inability of existing security models to cope with data mobility in dynamic organizations. In: Proceedings of the Workshop on Modeling Security (MODSEC08), 28 Sep 2008, Toulouse. 18. CEUR Workshop Proceedings. ISSN 1613-0073

Dimkov, T. and Tang, Qiang and Hartel, P.H. (2008) On the inability of existing security models to cope with data mobility in dynamic organizations. Technical Report TR-CTIT-08-57, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Etalle, S. (2008) Nice to know. Technical University of Eindhoven, Eindhoven. ISBN 978-90-386-1427-4

Gong, Zheng and Lai, X.J. and Chen, Kefei (2008) On the Design of Secure and Fast Double Block Length Hash Functions. Technical Report TR-CTIT-08-71, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Gong, Zheng and Long, Yu and Hong, Xuan and Chen, Kefei (2008) Practical Certificateless Aggregate Signatures From Bilinear Maps. Technical Report TR-CTIT-08-74, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and Abelmann, L. and Khatib, M.G. (2008) Towards Tamper-Evident Storage on Patterned Media. In: 6th USENIX Conf. on File and Storage Technologies (FAST), Feb. 26-29, 2008, San Jose, California. pp. 283-296. USENIX Association. ISBN 978-1-931971-56-0

Hendrikse, A.J. and Veldhuis, R.N.J. and Spreeuwers, L.J. (2008) Eigenvalue correction results in face recognition. In: Proceedings of the 29th Symposium on Information Theory in the Benelux, 29-30 May 2008, Leuven, Belgium. pp. 27-35. wic. ISBN 978-90-9023135-8

Houmb, S.H. and Nunes Leal Franqueira, V. and Engum, E.A. (2008) Estimating Impact and Frequency of Risks to Safety and Mission Critical Systems Using CVSS. In: ISSRE 2008 Supplemental Proceedings: 1st Workshop on Dependable Software Engineering, 11 November 2008, Seattle, US. IEEE Computer Society. ISBN 978-1-4244-3417-6

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) A Type-and-Identity-based Proxy Re-Encryption Scheme and its Application in Healthcare. Technical Report TR-CTIT-08-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) A Type-and-Identity-based Proxy Re-Encryption Scheme and its Application in Healthcare. In: Proceedings of the 5th VLDB Workshop, SDM 2008, August 24, 2008, Auckland, New Zealand. pp. 185-198. Lecture Notes in Computer Science 5159. Springer Verlag. ISBN 978-3-540-85258-2

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. Technical Report TR-CTIT-08-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kelkboom, E.J.C. and Garcia Molina, G. and Kevenaar, T.A.M. and Veldhuis, R.N.J. and Jonker, W. (2008) Binary Biometrics: An Analytic Framework to Estimate the Bit Error Probability under Gaussian Assumption. In: Biometrics: Theory, Applications and BTAS 2008. 2nd IEEE International Conference on Biometrics: Theory Applications and Systems, 2008., 29 Sep - 1 Oct 2008, Washington, USA. pp. 1-6. IEEE Computer Society. ISBN 978-1-4244-2729-1

Law, Yee Wei and Moniava, G. and Gong, Zheng and Hartel, P.H. and Palaniswami, M. (2008) KALwEN: A New Practical and Interoperable Key Management Scheme for Body Sensor Networks. Technical Report TR-CTIT-08-67, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Zambon, Emmanuele and Etalle, S. and Overbeek, P. (2008) IT Confidentiality Risk Assessment for an Architecture-Based Approach. Technical Report TR-CTIT-08-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Zambon, Emmanuele and Etalle, S. and Overbeek, P. (2008) IT Confidentiality Risk Assessment for an Architecture-Based Approach. In: Third IEEE International Workshop on Business-Driven IT Management, 07 Apr 2008, Salvador, Brazil. pp. 31-40. IEEE Computer Society. ISBN 978-1-4244-2191-6

Morali, A. and Zambon, Emmanuele and Houmb, S.H. and Sallhammar, K. and Etalle, S. (2008) Extended eTVRA vs. Security Checklist: Experiences in a Value-Web. Technical Report TR-CTIT-08-62, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nikova, S.I. and Rijmen, V. and Schlaffer, M. (2008) Using normal bases for compact hardware implementations of the AES S-box. In: 6th International Conference Security in Communication Networks (SCN), 10-12 Sep 2008, Amalfi, Italy. pp. 236-245. Lecture Notes in Computer Science 5229. Springer Verlag. ISBN 978-3-540-85854-6

Nunes Leal Franqueira, V. and van Keulen, M. (2008) Analysis of the NIST database towards the composition of vulnerabilities in attack scenarios. Technical Report TR-CTIT-08-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nunes Leal Franqueira, V. and Lopes, R.H.C. and van Eck, P.A.T. (2008) Multi-step Attack Modelling and Simulation (MsAMS) Framework based on Mobile Ambients. Technical Report TR-CTIT-08-44, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sadre, R. and Haverkort, B.R.H.M. (2008) Fitting heavy-tailed HTTP traces with the new stratified EM-algorithm. In: 4th International Telecommunication Networking Workshop on QoS in Multiservice IP Networks (IT-NEWS), 13-15 Feb 2008, Venice, Italy. pp. 254-261. IEEE Computer Society. ISBN 978-1-4244-1845-9

Sadre, R. and Haverkort, B.R.H.M. (2008) Changes in the Web from 2000 to 2007. In: Managing Large-Scale Service Deployment, 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, 22-26 Sep 2008, Samos Island, Greece. pp. 136-148. Lecture Notes in Computer Science 5273. Springer Verlag. ISBN 978-3-540-85999-4

Sedghi, S. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2008) Towards an Information Theoretic Analysis of Searchable Encryption (Extended Version). Technical Report TR-CTIT-08-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sedghi, S. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2008) Towards an Information Theoretic Analysis of Searchable Encryption. In: 10th international conference on information and communication security, 20-22 Oct 2008, Birmingham, UK. pp. 345-360. Lecture Notes in Computer Science 5308. Springer. ISSN 0302-9743 ISBN 978-3-540-88624-2

Shang, X. (2008) Grip-pattern recognition: Applied to a smart gun. PhD thesis, University of Twente. ISBN 978-90-365-2732-3

Shang, X. and Veldhuis, R.N.J. (2008) Grip-Pattern Recognition in Smart Gun Based on Likelihood-Ratio Classifier and Support Vector Machine. In: Lecture Notes in Computer Science: Image and Signal Processing, 1-3 July 2008, Cherbourg, France. pp. 289-295. Lecture Notes in Computer Science 5099/2008. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-69904-0

Shang, X. and Veldhuis, R.N.J. (2008) Grip-Pattern Verification for Smart Gun Based on Maximum-Pairwise Comparison and Mean-Template Comparison. In: Biometrics: Theory, Applications and BTAS 2008. 2nd IEEE International Conference on Biometrics: Theory Applications and Systems, 2008., 29 Sept - 1 Oct 2008, Washington, USA. pp. 1-5. IEEE Computer Society. ISBN 978-1-4244-2729-1

Shang, X. and Veldhuis, R.N.J. (2008) Grip-pattern verification for a smart gun. Journal of Electronic Imaging, 17 (1). 011017. ISSN 1017-9909 *** ISI Impact 0,444 ***

Sperotto, A. and Sadre, R. and Pras, A. (2008) Anomaly Characterization in Flow-Based Traffic Time Series. In: 8th IEEE International Workshop on IP Operations and Management, IPOM 2008, 22-26 September 2008, Samos, Greece. pp. 15-27. Lecture Notes in Computer Science 5275/2008. Springer Verlag. ISSN 1611-3349 ISBN 978-3-540-87356-3

Spreeuwers, L.J. (2008) Multi-view passive 3D face acquisition device. In: Proceedings of the Special Interest Group on Biometrics and Electronic Signatures, 11-12 Sep 2008, Darmstadt, Germany. pp. 13-24. Lecture Notes in Informatics (LNI) - Proceedings P-137. Gesellschaft fuer Informatik. ISSN 1617-5468 ISBN 978-3-88579-231-4

Tang, Qiang (2008) Type-based Proxy Re-encryption and its Construction. Technical Report TR-CTIT-08-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang (2008) Revisit the Concept of PEKS: Problems and a Possible Solution. Technical Report TR-CTIT-08-54, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang (2008) On Using Encryption Techniques to Enhance Sticky Policies Enforcement. Technical Report TR-CTIT-08-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tang, Qiang (2008) Type-Based Proxy Re-encryption and Its Construction. In: Progress in Cryptology - INDOCRYPT 2008, 9th International Conference on Cryptology in India, December 14-17, 2008, Kharagpur, India. pp. 130-144. Lecture Notes in Computer Science 5365. Springer Verlag. ISBN 978-3-540-89753-8

Tang, Qiang and Bringer, J. and Chabanne, H. and Pointcheval, D. (2008) A Formal Study of the Privacy Concerns in Biometric-Based Remote Authentication Schemes. In: Information Security Practice and Experience, 4th International Conference, ISPEC 2008, April 21-23, 2008, Sydney, Australia. pp. 56-70. Lecture Notes in Computer Science 4991. Springer Verlag. ISBN 978-3-540-79103-4

Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) Inter-domain Identity-based Proxy Re-encryption. Technical Report TR-CTIT-08-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Tao, Q. and Veldhuis, R.N.J. (2008) Hybrid Fusion for Biometrics: Combining Score-level and Decision-level Fusion. In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, Workshop on Biometrics, 28 Jun 2008, Anchorage, Alaska, US. pp. 1-6. IEEE Computer Society. ISBN 978-1-4244-2340-8

Veldhuis, R.N.J. and Deravi, F. and Tao, Q. (2008) Multibiometrics for face recognition. Datenschutz und Datensicherheit - DuD, 32 (3). pp. 204-214. ISSN 1614-0702

Welberg, S.M. (2008) Vulnerability management tools for COTS software - A comparison. Technical Report TR-CTIT-08-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Xu, Haiyun and Veldhuis, R.N.J. and Kevenaar, T.A.M. and Akkermans, A.H.M. and Bazen, A.M. (2008) Spectral minutiae: A fixed-length representation of a minutiae set. In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Workshop on Biometrics, 24-28 Jun 2008, Anchorage, Alaska, US. pp. 1-6. IEEE Computer Society. ISBN 978-1-4244-2340-8

Zych, A.K. and Doumen, J.M. and Jonker, W. and Hartel, P.H. and Petkovic, M. (2008) Method of Key Management. Patent WO2008026184 (Assigned).

2007

Etalle, S. and Marsh, S., ed. (2007) Trust Management, Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada. IFIP International Federation for Information Processing 238. Springer Verlag, Berlin. ISBN 978-0-387-73654-9

Alvisi, L. and Doumen, J.M. and Guerraoui, R. and Koldehofe, B. and Li, H. and van Renesse, R. and Tredan, G. (2007) How robust are gossip-based communication protocols? Operating Systems Review, 41 (5). pp. 14-18. ISSN 0163-5980

Bhargavan, K. and Corin, R.J. and Fournet, C. (2007) Crypto-Verifying Protocol Implementations in ML. In: 3rd Workshop on Formal and Computational Cryptography, FCC 2007, 4-5 Jul 2007, Venice, Italy. INRIA. ISBN not assigned

Bhargavan, K. and Corin, R.J. and Fournet, C. and Gordon, A.D. (2007) Secure Sessions for Web Services. ACM Transactions on Information and System Security (TISSEC), 10 (2). article 8. ISSN 1094-9224 *** ISI Impact 0,6 ***

Bolzoni, D. and Crispo, B. and Etalle, S. (2007) ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems. In: Proceedings of the 21st Large Installation System Administration Conference (LISA '07), 11-16 November 2007, Dallas, Texas. pp. 141-152. Usenix Association. ISBN 978-1-931971-55-3

Boom, B.J. and van Rootseler, R.T.A. and Veldhuis, R.N.J. (2007) Investigating the boosting framework for face recognition. In: Proceedings of the 28th Symposium on Information Theory in the Benelux, 24-25 May 2007, Enschede, The Netherlands. pp. 189-196. Werkgemeenschap voor Informatie- en Communicatietechniek. ISBN 978-90-365-2509-1

Boom, B.J. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2007) Automatic face alignment by maximizing similarity score. In: Proceedings of the 7th International Workshop on Pattern Recognition in Information Systems, 12-13 Jun 2007, Madeira. Portugal. pp. 221-230. Biosignals. INSTICC Press. ISBN 978-972-8865-93-1

Bosch, H.G.P. and Kraml, M. and Mullender, S.J. and Polakos, P. and Samuel, L.G. (2007) Authenticating a tamper-resistant module in a base station router. Patent US20070271458 (Application).

Brinkman, R. (2007) Searching in encrypted data. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 07-98 ISBN 978-90-365-2488-9

Brinkman, R. (2007) Different search strategies on encrypted data compared. In: Security, Privacy and Trust in Modern Data Management. Data-Centric Systems and Applications XVIII. Springer Verlag, Berlin, pp. 183-196. ISBN 978-3-540-69860-9

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Secure Ad-hoc Pairing with Biometrics: SAfE. Technical Report TR-CTIT-07-69, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Constructing practical Fuzzy Extractors using QIM. Technical Report TR-CTIT-07-52, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Secure Ad-hoc Pairing with Biometrics: SAfE. In: First International Workshop on Security for Spontaneous Interaction, 16. September 2007, Innsbruck, Austria. pp. 450-456. Ubicomp 2007 Workshop Proceedings. ISBN 978-3-00-022599-4

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) From Watermarks to Fuzzy Extractors: a Practical Construction. Technical Report TR-CTIT-07-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Fuzzy extractors for continuous distributions. In: Proceedings of the 2nd ACM Symposium on Information, Computer and Communications Security (ASIACCS), 20-22 March 2007, Singapore. pp. 353-355. ACM. ISBN 1-59593-574-6

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Feeling Is Believing: A Secure Template Exchange Protocol. In: Advances in Biometrics, International Conference (ICB), 27-29 Aug 2007, Seoul, Korea. pp. 897-906. Lecture Notes in Computer Science 4642. Springer Verlag. ISBN 978-3-540-74548-8

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) A unifying view on template protection schemes. In: Proceedings of the 28th Symposium on Information Theory in the Benelux, 24-25 May 2007, Enschede, The Netherlands. pp. 35-42. Werkgemeenschap voor Informatie- en Communicatietechniek. ISBN 978-90-365-2509-1

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. and Lenzini, G. (2007) Audit-based compliance control. International Journal of Information Security, 6 (2-3). pp. 133-151. ISSN 1615-5262 *** ISI Impact 1,681 ***

Chen, Chun and Veldhuis, R.N.J. and Kevenaar, T.A.M. and Akkermans, A.H.M. (2007) Multi-bits biometric string generation based on the likelyhood ratio. In: IEEE conference on Biometrics: Theory, Applications and Systems, 27-29 Sep 2007, Washington DC. pp. 1-6. University of Notre Dame. ISBN 978-1-4244-1597-7

Corin, R.J. (2007) Computational Soundness of Formal Encryption in Coq. In: 3rd Workshop on Formal and Computational Cryptography, FCC 2007, 4-5 Jul 2007, Venice, Italy. INRIA. ISBN not assigned

Corin, R.J. and Deniélou, P.-M. and Fournet, C. and Bhargavan, K. and Leifer, J. (2007) Secure Implementations for Typed Session Abstractions. In: 20th IEEE Computer Security Foundations Symposium (CSF), 6-8 July, Venice, Italy. pp. 170-186. IEEE Computer Society. ISBN 0-7695-2819-8

Corin, R.J. and Denielou, P-M. (2007) A Protocol Compiler for Secure Sessions in ML. In: 3rd Symposium on Trustworthy Global Computing (TGC) Revised Selected Papers, 5-6 Nov 2007, Sophia Antipolis, France. pp. 276-293. Lecture Notes in Computer Science 4912. Springer Verlag. ISBN 978-3-540-78662-7

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2007) Timed Analysis of Security Protocols. Journal of Computer Security, 15 (6). pp. 619-645. ISSN 0926-227X

Czenko, M.R. and Etalle, S. (2007) Core TuLiP. Technical Report TR-CTIT-07-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Czenko, M.R. and Etalle, S. (2007) Core TuLiP - Logic Programming for Trust Management. In: Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, 8-13 Sep 2007, Porto, Portugal. pp. 380-394. Lecture Notes in Computer Science 4670. Springer Verlag. ISBN 978-3-540-74608-9

Czenko, M.R. and Etalle, S. and Li, D. and Winsborough, W.H. (2007) An Introduction to the Role Based Trust Management Framework RT. Technical Report TR-CTIT-07-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Czenko, M.R. and Etalle, S. and Li, D. and Winsborough, W.H. (2007) An Introduction to the Role Based Trust Management Framework RT. In: Foundations of Security Analysis and Design IV -- FOSAD 2006/2007 Tutorial Lectures. Lecture Notes in Computer Science 4677. Springer Verlag, Berlin, pp. 246-281. ISBN 978-3-540-74809-0

Dekker, M.A.C. and Cederquist, J.G. and Crampton, J. and Etalle, S. (2007) Extended Privilege Inheritance in RBAC. In: Proceedings of the 2nd ACM symposium on Information, computer and communications security, ASIACCS 2007, March 20-22, Singapore. pp. 383-385. Conference on Computer and Communications Security. ACM Press. ISBN 1-59593-574-6

Dekker, M.A.C. and Crampton, J. and Etalle, S. (2007) RBAC Administration in Distributed Systems. Technical Report TR-CTIT-07-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dekker, M.A.C. and Etalle, S. (2007) Refinement for Administrative Policies. Technical Report TR-CTIT-07-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dekker, M.A.C. and Etalle, S. (2007) Refinement for Administrative Policies. In: Proceedings of the fourth VLDB Workshop, SDM 2007, 23, 24 Sept 2007, Vienna, Austria. pp. 33-46. Lecture Notes in Computer Science 4721. Springer. ISBN 978-3-540-75247-9

Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. (2007) Privacy Policies. In: Security, Privacy and Trust in Modern Data Management. Data-Centric Systems and Applications XVIII. Springer Verlag, Berlin, pp. 383-397. ISBN 978-3-540-69860-9

Dekker, M.A.C. and den Hartog, J.I. and Etalle, S. (2007) Audit-based Compliance Control (AC2) for EHR Systems. Technical Report TR-CTIT-07-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Doumen, J.M. (2007) Non-interactive fuzzy private matching. Technical Report TR-CTIT-07-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Etalle, S. and den Hartog, J.I. and Marsh, S. (2007) Trust and Punishment. (Invited) In: Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, Autonomics, Rome, Italy. 5:1-5:6. nstitute for Computer Sciences, Social-Informatics and Telecommunications Engineering (ICST). ISBN 978-963-9799-09-7

Etalle, S. and Massacci, F. and Yautsiukhin, A. (2007) The Meaning of Logs. In: Fourth Int. Conf. on Trust, Privacy and Security in Digital Business, TRUSTBUS 2007, 4-6 September 2007, Germany. pp. 145-154. Lecture Notes in Computer Science 4657. Springer Verlag. ISBN 978-3-540-74408-5

Etalle, S. and Massacci, F. and Yautsiukhin, A. (2007) The Meaning of Logs. Technical Report TR-CTIT-07-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Etalle, S. and Winsborough, W.H. (2007) A Posteriori Compliance Control. In: 12th ACM Symposium on Access Control Models and Technologies (SACMAT), 20-22 June 2007, Nice, France. pp. 11-20. ACM Press. ISBN 978-1-59593-745-2

Ganzevoort, W.P.T. (2007) IQ imbalance in quadrature demodulators. Master's thesis, University of Twente.

Hartel, P.H. and Abelmann, L. (2007) Towards compliant data retention with probe storage on patterned media. Technical Report TR-CTIT-07-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

den Hartog, F.T.H. and Blom, M.A. and Lageweg, C.R. and Peeters, M.E. and Schmidt, J.R. and van der Veer, R. and de Vries, A. and van der Werff, M.R. and Tao, Q. and Veldhuis, R.N.J. and Baken, N. and Selgert, F. (2007) First experiences with Personal Networks as an enabling platform for service providers. In: Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services, 2007. MobiQuitous 2007., 6-10 August 2007, Philadelphia, USA. pp. 1-8. IEEE Computer Society. ISBN 978-1-4244-1024-8

den Hartog, J.I. (2007) Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic. Technical Report TR-CTIT-07-53, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Heerde, H.J.W. and Anciaux, N.L.G. and Fokkinga, M.M. and Apers, P.M.G. (2007) Exploring personalized life cycle policies. Technical Report TR-CTIT-07-85, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hendrikse, A.J. and Veldhuis, R.N.J. and Spreeuwers, L.J. (2007) Component ordering in independent component analysis based on data power. In: Proceedings of the 28th Symposium on Information Theory in the Benelux, 24-25 May 2007, Enschede, The Netherlands. pp. 211-218. Werkgemeenschap voor Informatie- en Communicatietechniek. ISBN 978-90-365-2509-1

de Jong, E.K. and Hartel, P.H. (2007) Method and apparatus for deployment of high integrity software using static procedure return addresses. Patent US 7,181,737 (Assigned).

Jonker, W. (2007) An Introduction to Digital Rights Management Systems. In: Security, Privacy, and Trust in Modern Data Management. Data-Centric Systems and Applications XVIII. Springer Verlag, Berlin, pp. 257-265. ISBN 978-3-540-69860-9

Jonker, W. and Brinkman, R. and Maubach, S. (2007) Secure storage system and method for secure storing. Patent WO2007125454 (Application).

Kuijper, M. and Pinto, R. and Polderman, J.W. (2007) Row reduced representations of behaviors over finite rings. In: Proceedings of the 46th IEEE Conference on Decision and Control, 12-14 Dec 2007, New Orleans, USA. pp. 470-475. IEEE. ISSN 0191-2216 ISBN 1-4244-1498-9

Kuijper, M. and Pinto, R. and Polderman, J.W. (2007) The predictable degree property and row reducedness for systems over a finite ring. Linear Algebra and its Applications, 425 (2-3). pp. 776-796. ISSN 0024-3795 *** ISI Impact 1,073 ***

Kuijper, M. and Polderman, J.W. (2007) Systems theoretic methods in decoding. In: Proceedings of the 28th Symposium on Information Theory in the Benelux, 24-25 May 2007, Enschede, The Netherlands. pp. 19-26. Werkgemeenschap voor Informatie- en Communicatietheorie. ISBN 978-90-365-2509-1

Law, Yee Wei and Doumen, J.M. and Palaniswami, M. (2007) Key Management Building Blocks for Wireless Sensor Networks. Technical Report TR-CTIT-07-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Meyer, U. and Tschofenig, H. and Karagiannis, G. (2007) On the security of the Mobile IP protocol family. (Invited) In: Proceedings of 1st IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2007, 26-30 Nov 2007, USA. 2. IEEE Communications Society. ISBN not assigned

Nunes Leal Franqueira, V. and van Eck, P.A.T. (2007) Defense against Insider Threat: a Framework for Gathering Goal-based Requirements. In: Proceedings of the 12th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2007), held in conjuction with CAISE'07, 11-15 June 2007, Trondheim, Norway. pp. 193-202. Tapir Academic Press. ISBN 978-82-519-2245-6

Nunes Leal Franqueira, V. and Lopes, R.H.C. (2007) Vulnerability Assessment by Learning Attack Specifications in Graphs. In: The Third International Symposium on Information Assurance and Security, 29-31 August 2007, Manchester, UK. pp. 161-164. IEEE Computer Society. ISBN 978-0-7695-2876-2

Nunes Leal Franqueira, V. and Lopes, R.H.C. and van Eck, P.A.T. (2007) An Evolutionary Approach for Learning Attack Specifications in Network Graphs. Technical Report TR-CTIT-07-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ooms, W.S. and Karagiannis, G. and van Deventer, M.O. and Veldhuizen, J. (2007) AAA architectures applied in multi-domain IMS (IP multimedia subsystem). In: Proceedings of 1st IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2007, 26-30 Nov 2007, USA. 6. IEEE Communications Society. ISBN 978-1-4244-2024-7

Petkovic, M. and Conrado, C. and Schrijen, G.-J. and Jonker, W. (2007) Enhancing Privacy for Digital Rights Management. In: Security, Privacy, and Trust in Modern Data Management. Data-Centric Systems and Applications XVIII. Springer Verlag, Berlin, pp. 347-364. ISBN 978-3-540-69860-9

Petkovic, M. and Jonker, W. (2007) Privacy and Security Issues in a Digital World. In: Security, Privacy, and Trust in Modern Data Management. Data-Centric Systems and Applications XVIII. Springer Verlag, Berlin, pp. 3-10. ISBN 978-3-540-69860-9

Petkovic, M. and Jonker, W. (2007) Preface. In: Security, Privacy and Trust in Modern Data Management. Data-Centric Systems and Applications XVIII. Springer Verlag, Berlin, VII-X. ISBN 978-3-540-69860-9

Petriu, D.B. and Woodside, C.M. and Petriu, D.C. and Xu, Jing and Israr, T. and Georg, G. and France, R. and Bieman, J.M. and Houmb, S.H. and Jürjens, J. (2007) Performance Analysis of Security Aspects in UML Models. In: WOSP '07: Proceedings of the 6th international workshop on Software and performance, 5-8 Feb 2007, Buenes Aires, Argentina. pp. 91-102. ACM. ISBN 1-59593-297-6

van Rootseler, R.T.A. (2007) Face recognition using boosted and fused local features. Master's thesis, University of Twente.

Sadre, R. (2007) Decomposition-Based Analysis of Queueing Networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-95 ISBN 90-365-2444-X

Sadre, R. and Haverkort, B.R.H.M. and Reinelt, P. (2007) A Fixed-Point Algorithm for Closed Queueing Networks. In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 September 2007, Berlin, Germany. pp. 154-170. Lecture Notes in Computer Science 4748. Springer. ISSN 0302-9743 ISBN 978-3-540-75210-3

Shang, X. and Veldhuis, R.N.J. (2007) Local absolute binary patterns as image preprocessing for grip-pattern recognition in smart gun. In: IEEE conference on Biometrics: Theory, Applications and Systems, 27-29 Sep 2007, Washington DC. pp. 1-6. University of Notre Dame. ISBN 978-1-4244-1597-7

Shao, X. (2007) Fountain codes for frequency occupancy information dissemination. Master's thesis, University of Twente.

Sperotto, A. and van de Meent, R. (2007) A Survey of the High-Speed Self-Learning Intrusion Detection Research Area. In: First International Conference on Autonomous Infrastructure, Management and Security, 21-22 Jun 2007, Oslo, Norway. pp. 196-199. Lecture Notes in Computer Science 4543. Springer Verlag. ISBN 978-3-540-72985-3

Spreeuwers, L.J. and Boom, B.J. and Veldhuis, R.N.J. (2007) Better than best: matching score based face registration. In: Proceedings of the 28th Symposium on Information Theory in the Benelux, 24-25 May 2007, Enschede, The Netherlands. pp. 125-132. Werkgemeenschap voor Informatie- en Communicatietheorie. ISBN 978-90-365-2509-1

Su, X. and Bolzoni, D. and van Eck, P.A.T. (2007) Understanding and Specifying Information Security Needs to Support the Delivery of High Quality Security Services. In: Proceedings of the The International Conference on Emerging Security Information, Systems, and Technologies (SECURWARE '07), October 14-20, 2007, Valencia, Spain. pp. 107-114. IEEE Computer Society. ISBN 0-7695-2989-5

Su, X. and Bolzoni, D. and van Eck, P.A.T. (2007) Specifying Information Security Needs for the Delivery of High Quality Security Services. In: 2nd IEEE/IFIP International Workshop on Business-Driven IT Management, BDIM '07, 21-23 May 2007, Munich, Germany. pp. 112-113. IEEE Computer Society. ISBN 1-4244-1295-1

Tao, Q. and van Rootseler, R.T.A. and Veldhuis, R.N.J. and Gehlen, S. and Weber, F. (2007) Optimal decision fusion and its application on 3D face recognition. In: Proceedings of the Special Interest Group on Biometrics and Electronic Signatures, 12-13 Jul 2007, Darmstadt, Germany. pp. 15-24. GI-Edition. Gesellschaft fur Informatik e.V.. ISSN 1617-5468 ISBN 978-3-88579-202-4

Tao, Q. and Veldhuis, R.N.J. (2007) Illumination normalization based on simplified local binary patterns for a face verification system. In: Biometrics Symposium 2007 at The Biometrics Consortium Conference, 11-13 Sep 2007, Baltimore, Maryland. pp. 1-7. IEEE Computational Intelligence Society. ISBN 978-1-4244-1549-6

Tao, Q. and Veldhuis, R.N.J. (2007) Optimal decision fusion for a face verification system. In: Proceedings of the 2nd International Conference on Biometrics, 27-29 Aug 2007, Seoul, Korea. pp. 958-967. Image Processing, Computer Vision, Pattern Recognition. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-74548-8

Xu, Haiyun and Bazen, A.M. and Veldhuis, R.N.J. and Kevenaar, T.A.M. and Akkermans, A.H.M. (2007) Spectral representation of fingerprints. In: Proceedings of the 28th Symposium on Information Theory in the Benelux, 24-25 May 2007, Enschede, The Netherlands. pp. 313-319. Werkgemeenschap voor Informatie- en Communicatietechniek. ISBN 978-90-365-2509-1

Zambon, Emmanuele and Bolzoni, D. and Etalle, S. and Salvato, M. (2007) A model supporting Business Continuity auditing & planning in Information Systems. In: Second International Conference on Internet Monitoring and Protection (ICIMP), 1-5 Jul 2007, San Jose, CA, USA. pp. 33-33. IEEE Computer Society. ISBN 0-7695-2911-9

Zambon, Emmanuele and Bolzoni, D. and Etalle, S. and Salvato, M. (2007) Model-Based Mitigation of Availability Risks. Technical Report TR-CTIT-07-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zambon, Emmanuele and Bolzoni, D. and Etalle, S. and Salvato, M. (2007) A model supporting Business Continuity auditing & planning in Information Systems. Technical Report TR-CTIT-07-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zambon, Emmanuele and Bolzoni, D. and Etalle, S. and Salvato, M. (2007) Model-Based Mitigation of Availability Risks. In: Second IEEE/IFIP International Workshop on Business-Driven IT Management, 21 May 2007, Munich, Germany. pp. 75-83. IEEE Computer Society. ISBN 1-4244-1295-1

Zych, A.K. and Petkovic, M. and Jonker, W. (2007) The Interval Revocation Scheme for Broadcasting Messages to Stateless Receivers. In: 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, July 8-11, 2007, Redondo Beach, CA, USA. pp. 95-97. Springer. ISBN 978-3-540-73533-5

Zych, A.K. and Petkovic, M. and Jonker, W. (2007) A Key Management Method for Cryptographically Enforced Access Control. In: 5th International Workshop on Security in Information Systems (WoSIS), Funchal, Madeira. pp. 9-22. INSTICC Press. ISBN 978-972-8865-96-2

2006

Etalle, S. and Truszczynski, M., ed. (2006) Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. Lecture Notes in Computer Science 4079. Springer-Verlag, New York. ISBN 3-540-36635-0

Jonker, W. and Petkovic, M., ed. (2006) Proceedings of the 3rd VLDB Workshop on Secure Data Management (SDM 2006). Lecture Notes in Computer Science 4165. Springer Verlag, Berlin. ISBN 978-3-540-38984-2

Abadi, M. and Corin, R.J. and Fournet, C. (2006) Computational Secrecy by Typing for the Pi Calculus. In: The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006), 8 Nov - 10 Nov 2006, Sydney, Australia. pp. 253-269. Lecture Notes in Computer Science 4279. Springer Verlag. ISBN 3-540-48937-1

Alonso-Fernandez, F. and Veldhuis, R.N.J. and Bazen, A.M. and Fierrez-Aguilar, J. and Ortega-Garcia, J. (2006) Sensor Interoperability and Fusion in Fingerprint Verification: A Case Study using Minutiae-and Ridge-Based Matchers. In: 9th International Conference on Control, Automation, Robotics and Vision, ICARCV '06, 5-8 Dec 2006, Singapore. pp. 1-6. IEEE Computer Society. ISBN 1-4244-0341-3

Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget: on reachability in priced probabilistic timed automata. Technical Report TR-CTIT-06-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Beumer, G.M. and Tao, Q. and Bazen, A.M. and Veldhuis, R.N.J. (2006) A landmark paper in face recognition. In: Automatic Face and Gesture Recognition, 2006. FGR 2006. 7th International Conference on, 10-12 April 2006, Southampton, UK. pp. 73-78. IEEE Computer Society. ISBN 0-7695-2503-2

Blake, M.B. and Cheung, W.K.W. and Wombacher, A. (2006) WSC-06: The Web Service Challenge; in Proceedings of the Web Service Challenge. In: The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06), 26.-29.06. 2006, San Francisco, USA. pp. 422-423. IEEE Computer Society. ISBN 0-7695-2511-3

Bolzoni, D. and Etalle, S. (2006) APHRODITE: an Anomaly-based Architecture for False Positive Reduction. Technical Report TR-CTIT-06-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bolzoni, D. and Zambon, Emmanuele and Etalle, S. and Hartel, P.H. (2006) Poseidon: a 2-tier Anomaly-based Network Intrusion Detection System. In: 4th IEEE Int. Information Assurance Workshop (IWIA2006), 13-14 Apr 2006, London, UK. pp. 144-156. IEEE Computer Society. ISBN 0 7695 2564 4

Boom, B.J. and Beumer, G.M. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2006) The effect of image resolution on the performance of a face recognition system. In: Proceedings of the Ninth International Conference on Control, Automation, Robotics and Vision (ICARCV), 05-08 Dec 2006, Singapore, Malaysia. pp. 409-414. IEEE Computer Society. ISBN 1-4244-0342-1

Boom, B.J. and Beumer, G.M. and Spreeuwers, L.J. and Veldhuis, R.N.J. (2006) Matching score based face recognition. In: 17th Annual Workshop on Circuits, 23-24 Nov 2006, Veldhoven, The Netherlands. pp. 1-4. Technology Foundation STW. ISBN 978-90-73461-44-4

Buhan, I.R. and Bazen, A.M. and Hartel, P.H. and Veldhuis, R.N.J. (2006) A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems (Poster Paper). In: 2nd Int. Conf. on Biometrics (ICB), Hong Kong, China. pp. 728-736. Lecture Notes in Computer Science 3832. Springer-Verlag. ISBN 3-540-31111-4

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2006) Feeling is Believing: a location limited channel based on grip pattern biometrics and cryptanalysis. Technical Report TR-CTIT-06-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2006) Fuzzy extractors for continuous distributions. Technical Report TR-CTIT-06-72, University of Twente, Enschede. ISSN 1381-3625

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. and Lenzini, G. (2006) The Audit Logic: Policy Compliance in Distributed Systems. Technical Report TR-CTIT-06-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cederquist, J.G. and Torabi Dashti, M. (2006) An intruder model for verifying liveness in security protocols. In: FMSE '06: Proceedings of the fourth ACM workshop on Formal methods in security, Alexandria, Virginia, USA. pp. 23-32. ACM. ISBN 1-59593-550-9

Chong, Chuen Ngen and Corin, R.J. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Law, Yee Wei and Tokmakoff, A. (2006) LicenseScript: A Logical Language for Digital Rights Management. Annals of telecommunications special issue on Network and Information systems security, 61 (3-4). pp. 284-331. ISSN 0003-4347 *** ISI Impact 0,325 ***

Corin, R.J. (2006) Analysis Models for Security Protocols. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 05-76 ISBN 90-365-2279-X

Corin, R.J. and Galindo, D. and Hoepman, J.H. (2006) Securing data accountability in decentralized systems. In: Proceedings of 1st International Workshop on Information Security, IS'06, 30 Oct - 3 Nov 2006, Montpellier, France. pp. 626-635. Lecture Notes in Computer Science 4277. Springer. ISBN 978-3-540-48269-7

Corin, R.J. and den Hartog, J.I. (2006) A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs. In: ICALP 2006 track C, 9-13 Jul 2006, Venice, Italy. pp. 252-263. Lecture Notes in Computer Science 4052. Springer-Verlag. ISBN 3-540-35907-9

Corin, R.J. and Saptawijaya, A. and Etalle, S. (2006) A Logic for Constraint-based Security Protocol Analysis. In: IEEE Symposium on Security and Privacy, 21-25 May 2006, Oakland, US. pp. 155-168. IEEE Computer Society. ISBN 0-7695-2574-1

Daneva, M. (2006) Applying Real Options Thinking to Information Security in Networked Organizations. Technical Report TR-CTIT-06-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dekker, M.A.C. and Cederquist, J.G. and Crampton, J. and Etalle, S. (2006) Extended Privilege Inheritance in RBAC. Technical Report TR-CTIT-06-62, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dekker, M.A.C. and Cederquist, J.G. and Crampton, J. and Etalle, S. (2006) Extended Privilege Inheritance in RBAC. Technical Report TR-CTIT-07-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dekker, M.A.C. and Etalle, S. (2006) Audit-Based Access Control for Electronic Health Records. Technical Report TR-CTIT-06-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dekker, M.A.C. and Etalle, S. (2006) Audit-Based Access Control for Electronic Health Records. In: Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA), 16-17 Sept 2006, Bertinoro, Italy. pp. 221-236. Elsevier Electronic Notes in Theoretical Computer Science 168. Elsevier. ISSN 1571-0661

Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. (2006) Privacy in an Ambient World. Technical Report TR-CTIT-06-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dekker, M.A.C. and Veugen, P.J.M. and Etalle, S. (2006) Audit-based Access Control in de Zorg. Informatiebeveiliging, 8. pp. 19-23. ISSN 1569-1063

Delzanno, G. and Etalle, S. and Gabbrielli, M. (2006) Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Theory and Practice of Logic Programming, 6 (3). pp. 225-226. ISSN 1471-0684 *** ISI Impact 1,467 ***

Hafkamp, W.H.M. (2006) IT Security Vulnerability and Incident Response Management. In: Int. Conf. on Securing Electronic Business Processes -- ISSE 2006, 10-12 Oct. 2006, Rome, Italy. pp. 387-395. Vieweg. ISBN 978-3-8348-0213-2

Huisman, P. and van Munster, R. and Moro-Ellenberger, S. and Veldhuis, R.N.J. and Bazen, A.M. (2006) Making 2D face recognition more robust using AAMs for pose compensation. In: 7th International Conference on Automatic Face and Gesture Recognition, FGR 2006, 2-6 Apr 2006, Southampton, UK. 9054468 . IEEE Computer Society. ISBN 0-7695-2503-2

van Kampen, D. (2006) Implementation of an OFDM-demodulation and WCDMA-equalization module for a dual-mode receiver. Master's thesis, University of Twente.

Knežević, P. and Wombacher, A. and Risse, T. (2006) Highly Available DHTs: Keeping Data Consistency After Updates. In: 4th International Workshop, AP2PC 2005, July 25, 2005, Revised Papers, July 25, 2005, Utrecht, Netherlands. pp. 70-80. Lecture Notes in Computer Science 4118. Springer Verlag. ISBN 978-3-540-49025-8

Kuijper, M. and Pinto, R. and Polderman, J.W. and Rocha, P. (2006) Autonomicity and the absence of free variables for behaviors over finite rings. In: Proceedings of the Portuguese Conference on Automatic Control 2006, 11-13 July 2006, Lisbon. Portuguese Association of Automatic Control. ISBN 978-972-97025-2-5

Law, Yee Wei and Doumen, J.M. and Hartel, P.H. (2006) Survey and Benchmark of Block Ciphers for Wireless Sensor Networks. ACM Transactions on Sensor Networks, 2 (1). pp. 65-93. ISSN 1550-4859 *** ISI Impact 1,938 ***

Law, Yee Wei and Havinga, P.J.M. (2006) How to Secure a Wireless Sensor Network. Technical Report TR-CTIT-06-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Mahleko, B. and Wombacher, A. (2006) Indexing business processes based on annotated finite state automata. In: IEEE International Conerence on Web Services, ICWS 2006, 18-22 Sep 2006, Chicago, USA. pp. 303-311. IEEE Computer Society. ISBN 0 7695 2669 1

Moseley, N.A. and Slump, C.H. (2006) A low-complexity feed-forward I/Q imbalance compensation algorithm. In: 17th Annual Workshop on Circuits, 23-24 Nov 2006, Veldhoven, The Netherlands. pp. 158-164. Technology Foundation STW. ISBN 978-90-73461-44-4

Nunes Leal Franqueira, V. (2006) Access Control from an Intrusion Detection Perspective. Technical Report TR-CTIT-06-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nunes Leal Franqueira, V. (2006) Evolution of security policies. In: Doctoral Symposium Proceedings of the 14th IEEE International Requirements Engineering Conference (RE06), 11-15 Sep 2006, Minnesota, USA. Univ. of Zuerich. ISBN not assigned

Nunes Leal Franqueira, V. and van Eck, P.A.T. (2006) Towards alignment of architectural domains in security policy specifications. Technical Report TR-CTIT-06-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nunes Leal Franqueira, V. and van Eck, P.A.T. (2006) Defense against Insider Threat: a Framework for Gathering Goal-based Requirements. Technical Report TR-CTIT-06-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nunes Leal Franqueira, V. and van Eck, P.A.T. (2006) Towards alignment of architectural domains in security policy specifications. In: Proccedings of the 8th International Symposium on System and Information Security, 08-10 Nov 2006, Sao Jose dos Campos, Brazil. Fundacao Casimiro Montenegro Filho - CTA/ITA. ISBN 85-87978-13-6

Reichert, M. and Verma, K. and Wombacher, A. (2006) Preface on Workshop on Dynamic Process Management (DPM 2006). In: Proceedings of Business Process Management Workshops, 4 Sep 2006, Vienna, Austria. pp. 167-168. Lecture Notes in Computer Science 4103. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-32595-6

Rinderle, S.B. and Wombacher, A. and Reichert, M. (2006) On the controlled evolution of process choreographies. In: 22nd International Conference on Data Engineering, 03-08 April 2006, Atlante, GA, USA. pp. 124-127. IEEE Computer Society. ISBN 0 7695 2570 9

Shang, X. and Kooi, K. and Veldhuis, R.N.J. and Ganzevoort, W.P.T. (2006) Restoration of missing lines in grip patterns for biometrics authentication on a smart gun. In: Proceedings of SPS-DARTS 2006 the second annual IEEE Benelux/DSP Valley Signal Processing Symposium, 28-29 Mar 2006, Antwerp, Belgium. pp. 95-98. IEEE Benelux Signal Processing Chapter. ISBN 978-90-73461-44-4

Shang, X. and Veldhuis, R.N.J. (2006) Registration of hand-grip pattern in smart gun. In: 17th Annual Workshop on Circuits, 23-24 Nov 2006, Veldhoven, The Netherlands. pp. 192-195. Technology Foundation STW. ISBN 978-90-73461-44-4

Spreeuwers, L.J. (2006) De invloed van belichting op automatische gezichtsherkenning. In: Belichting. ETSV Scintilla Universiteit Twente, Enschede, The Netherlands, pp. 102-108. ISBN not assigned

Su, X. (2006) An Overview of Economic Approaches to Information Security Management. Technical Report TR-CTIT-06-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Su, X. and Bolzoni, D. and van Eck, P.A.T. (2006) A Business Goal Driven Approach for Understanding and Specifying Information Security Requirements. Technical Report TR-CTIT-06-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Su, X. and Bolzoni, D. and van Eck, P.A.T. (2006) Understanding and Specifying Information Security Needs to Support the Delivery of High Quality Security Services. Technical Report TR-CTIT-06-73, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Su, X. and Bolzoni, D. and van Eck, P.A.T. (2006) A Business Goal Driven Approach for Understanding and Specifying Information Security Requirements. In: 11th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD2006), 5-9 Jun 2006, Luxembourg. pp. 465-472. Presses Universitaries de Namur. ISBN 2-87037-525-5

Su, X. and Gulla, J.A. (2006) An information retrieval approach to ontology mapping. Data and knowledge engineering, 58 (1). pp. 47-69. ISSN 0169-023X *** ISI Impact 1,745 ***

Tao, Q. and Veldhuis, R.N.J. (2006) Biometric authentication for a mobile personal device. In: Third Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services, 2006, 17-21 July, 2006, San Jose, USA. pp. 1-3. IEEE Computer Society. ISBN 1-4244-0498-3

Tao, Q. and Veldhuis, R.N.J. (2006) Verifying a user in a personal face space. In: Proceedings of the Ninth International Conference on Control, Automation, Robotics and Vision (ICARCV), 05-08 Dec 2006, Singapore, Malaysia. pp. 197-200. IEEE Computer Society. ISBN 1-4244-0342-1

Ter Burg, S. (2006) Musical note extraction. Master's thesis, University of Twente.

Tolido, R. and Borsoi, P. and Bronk, H. and Elsinga, B. and Greuter, R. and Hafkamp, W.H.M. and Jochem, A. and van der Heide, M. and Rorive, K. and Schiltmans, T. and Schuurman, J. and Reijers, R. (2006) CERT in the organisation. Expertbrieven Genootschap van Informatiebeveiligers, 4. pp. 1-18. ISSN not assigned

Wassink, R.G.V. and Baten, C.T.M. and Veltink, P.H. and Veldhuis, R.N.J. and Smeding, J.H. (2006) Monitoring of human activities using a trainable system based on Hidden Markov modelling technology. Gait and Posture, 24 (Supplement 2). S109-S110. ISSN 0966-6362 *** ISI Impact 2,576 ***

Wombacher, A. (2006) Evaluation of technical measures for workflow similarity based on a pilot study. In: Proc. 14th Int'l Conf. on Cooperative Information Systems (CoopIS'06), 1.-3. Nov 2006, Montpellier, France. pp. 255-272. Lecture Notes in Computer Science 4275. Springer Verlag. ISSN 0302-9743

Wombacher, A. (2006) Decentralized Consistency Checking in Cross-organizational Workflows. In: The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06), 26.-29.06. 2006, San Francisco, USA. pp. 39-46. IEEE Computer Society. ISBN 0-7695-2511-3

Wombacher, A. and Hauswirth, M. (2006) Message from the STD3S 2006 Organizers. In: Proceedings 22nd International Conference on Data Engineering Workshops, Atlanta, Georgia. xvii. IEEE Computer Society. ISBN 0 7695 2571 7

Wombacher, A. and Rozie, M. (2006) Piloting an empirical study on measures for workflow similarity. In: IEEE Intl. Conf. on Service Computing, SCC 2006, 18-22 Sep 2006, Chicago, USA. pp. 94-102. IEEE Computer Society. ISBN 0 7695 2670 5

Wombacher, A. and Rozie, M. (2006) Evolution of workflow similarity measures in service discovery. In: Konferenz im Rahmen der Multikonferenz Wirtschaftsinformatik, 2006, 20-22 Feb 2006, Passau, Germany. pp. 57-71. Gesellschaft fuer Informatik. ISBN 3 88579 174 9

Zych, A.K. and Doumen, J.M. and Jonker, W. and Hartel, P.H. and Petkovic, M. (2006) Method of Key Management. Patent PH006387, WO-IB2007/053498, EP-06119878.4 (Application).

2005

Petkovic, M. and Jonker, W., ed. (2005) Proceedings of the 2nd VLDB Workshop on Secure Data Management (SDM 2005). Lecture Notes in Computer Science 3674. Springer Verlag, Berlin. ISBN 3-540-28798-1

Bazen, A.M. (2005) Technieken voor biometrische identificatie: hoge eisen maken multi-modale biometrie noodzakelijk. Informatie, 47 (2). pp. 20-27. ISSN 0019-9907

Bazen, A.M. and Veldhuis, R.N.J. and Gerez, S.H. (2005) Hybrid Fingerprint Matching using Minutiae and Shape. In: Computer Aided Intelligent Recognition Techniques and Applications. John Wiley, pp. 119-129. ISBN 0-470-09414-1

Beumer, G.M. and Bazen, A.M. and Veldhuis, R.N.J. (2005) On the accuracy of EERs in face recognition and the importance of reliable registration. In: 5th IEEE Benelux Signal Processing Symposium (SPS-2005), Antwerp, Belgium. pp. 85-88. IEEE Benelux Signal Processing Chapter. ISBN not assigned

Beumer, G.M. and Tao, Q. and Bazen, A.M. and Veldhuis, R.N.J. (2005) Comparing Landmarking Methods for Face Recognition. In: ProRISC 2005, 16th Workshop on Circuits, Systems and Signal Processing, 17-18 November 2005, Veldhoven, The Netherlands. pp. 594-597. Technology Foundation STW. ISBN 90-73461-50-2

Bistarelli, S. and Cervesato, I. and Lenzini, G. and Martinelli, F. (2005) Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. Journal of Computer Security, 13 (1). pp. 3-47. ISSN 0926-227x

Blake, M.B. and Tsui, K.C. and Wombacher, A. (2005) The EEE-05 Challenge: A New Web Service Discovery and Composition Competition. In: IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05), 29 Mar-1 Apr 2005, Hong Kong, China. pp. 780-781. IEEE Computer Society. ISBN 0769522742

Bolzoni, D. and Zambon, Emmanuele and Etalle, S. and Hartel, P.H. (2005) Poseidon: A 2-tier Anomaly-based Intrusion Detection System. Technical Report TR-CTIT-05-53, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Breij, P.A.E. (2005) The Importance of Workplace Privacy. In: The Ethics of Workplace Privacy. Work & Society 50. Peter Lang Verlagsgruppe, Bruxelles, pp. 97-118. ISBN 978-90-5201-293-3

Brinkman, R. and Schoenmakers, B. and Doumen, J.M. and Jonker, W. (2005) Experiments With Queries Over Encrypted Data Using Secret Sharing. In: VLDB Workshop on Secure Data Management (SDM), September 2-3, 2005, Trondheim, Norway. pp. 33-46. Lecture Notes in Computer Science 3674. Springer-Verlag. ISBN 3-540-28798-1

Buhan, I.R. and Hartel, P.H. (2005) The state of the art in abuse of biometrics. Technical Report TR-CTIT-05-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. (2005) An Audit Logic for Accountability. In: 6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005), 6-8 Jun 2005, Stockholm, Sweden. pp. 34-43. IEEE Computer Society. ISBN 0-7695-2265-3

Cederquist, J.G. and Corin, R.J. and Torabi Dashti, M. (2005) On the quest for impartiality: Design and analysis of a Fair Non-repudiation protocol. In: 7th International Conference on Information and Communications Security, ICICS 2005, 10-13 Dec 2005, Beijing, China. pp. 27-39. Lecture Notes in Computer Science 3783. Springer-Verlag. ISBN 3-540-30934-9

Cederquist, J.G. and Torabi Dashti, M. (2005) An Intruder Model for Verifying Termination in Security Protocols. Technical Report TR-CTIT-05-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cheng, Jieyin and Chong, Chuen Ngen and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Nikolaus, S. (2005) STREAMTO: Streaming Content using a Tamper-Resistant Token (Workshop paper). In: 20th IFIP TC11 Int. Conf. on Security and Privacy in the Age of Ubiquitous Computing (SEC), Makuhari-Messe, Chiba, Japan. pp. 601-612. Springer-Verlag. ISBN 0-387-25658-X

Chong, Chuen Ngen (2005) Experiments in rights control: Expression and Enforcement. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 05-68 ISBN 90-75176-40-6

Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Joosten, R. and Kleinhuis, G. (2005) Service Brokerage with Prolog (Poster paper). In: 7th Int. Conf. on Enterprise Information Systems (ICEIS), Miami, Florida, USA. pp. 409-412. INSTICC Press. ISBN 972-8865-19-8

Corin, R.J. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2005) A Formal Security Analysis of an OSA/Parlay Authentication Interface. Technical Report TR-CTIT-05-62, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2005) A Formal Security Analysis of an OSA/Parlay Authentication Interface. In: 7th IFIP WG 6.1 Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Athens, Greece. pp. 131-146. Springer-Verlag. ISBN 3-540-26181-8

Corin, R.J. and Saptawijaya, A. and Etalle, S. (2005) PS-LTL for Constraint-Based Security Protocol Analysis. In: Logic Programming, 21st International Conference, ICLP 2005, October 2-5, 2005, Sitges, Spain. pp. 439-440. Electronic Notes in Theoretical Computer Science 3668. Springer Verlag. ISBN 3-540-29208-X

Czenko, M.R. and Doumen, J.M. and Etalle, S. (2005) Trust in Virtual Communities. ERCIM News -- Special: Security and Trust Management, 63. pp. 29-30. ISSN 0926-4981

Czenko, M.R. and Tran, H.M. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and den Hartog, J.I. (2005) Nonmonotonic Trust Management for P2P Applications. In: 1st Int. Workshop on Security and Trust Management (STM), Milan, Italy. pp. 113-130. Electronic Notes in Theoretical Computer Science 157. Elsevier Science. ISSN 1571-0661

Doumen, J.M. and Hulsebosch, B. and Iacob, S.M. and Koster, P. and Kragt, E. and Montaner, J. and Muijen, R. and Petkovic, M. and Vrielink, K. (2005) Security Aspects of the MESEC Architecture. Technical Report TI/RS/2005/018, Telematica Instituut, Enschede.

Doumen, J.M. and Hulsebosch, B. and Iacob, S.M. and Koster, P. and Petkovic, M. (2005) User Controlled Sharing of Commercial and Personal Content. Technical Report TI/RS/2005/017, Telematica Instituut, Enschede.

Dubbeld, L. (2005) Bescherming van persoonsgegevens bij telemonitoring van hartpatiënten. Privacy & Informatie, 8 (1). pp. 2-7. ISSN 1388-0241

Etalle, S. and Winsborough, W.H. (2005) Integrity Constraints in Trust Management. Technical Report TR-CTIT-05-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Etalle, S. and Winsborough, W.H. (2005) Integrity Constraints in Trust Management (Extended Abstract). In: 10th ACM Symp. on Access Control Models and Technologies (SACMAT), June 01 - 03, 2005, Stockholm, Sweden. pp. 1-10. ACM Press. ISBN 1-59593-045-0

Fahrenholtz, D. and Wombacher, A. (2005) A Formal Communication Model for Lookup Operations in a Hypercube-based P2P Data Store. In: 1st International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateComp), 19-21 Dec 2005, San Jose, California, USA. IEEE Computer Society. ISBN 1-4244-0030-9

Hafkamp, W.H.M. (2005) Phishing: hengelen naar uw identiteitsgegevens. Bank- en effectenbedrijf. pp. 34-35. ISSN 0005-5018

Hartel, P.H. (2005) A Trace Semantics for Positive Core XPath. In: 12th Int. Symp. on Temporal Representation and Reasoning (TIME), Burlington, Vermont. pp. 103-112. IEEE Computer Society. ISBN 0-7695-2370-6

de Jong, E.K. and Hartel, P.H. and Peyret, P. and Cattaneo, P. (2005) Java Card: An analysis of the most successful smart card operating system. Technical Report TR-CTIT-05-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Jonker, W. and Brinkman, R. and Doumen, J.M. and Schoenmakers, B. (2005) Method of and device for querying of protected structured data. Patent WO2005116792 (Assigned).

Law, Yee Wei (2005) Key management and link-layer security of wireless sensor networks : Energy-efficient attack and defense. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 05-75 ISBN 90-365-2282-X

Law, Yee Wei and Doumen, J.M. and Hartel, P.H. (2005) Benchmarking Block Ciphers for Wireless Sensor Networks (Extended Abstract). Technical Report TR-CTIT-05-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Hartel, P.H. and Etalle, S. and Havinga, P.J.M. and Di Pietro, R. and Mancini, L.V. (2005) Overview of Security Research in EYES. Technical Report TR-CTIT-05-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Hartel, P.H. and den Hartog, J.I. and Havinga, P.J.M. (2005) Link-layer jamming attacks on S-MAC. In: 2nd European Workshop on Wireless Sensor Networks (EWSN), Istanbul, Turkey. pp. 217-225. IEEE Computer Society. ISBN 0-7803-8801-1

Law, Yee Wei and Havinga, P.J.M. (2005) How to secure a wireless sensor network. (Invited) In: 2nd Int. Conf. on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), Melbourne, Australia. pp. 89-95. IEEE Computer Society. ISBN 0-7803-9399-6

Law, Yee Wei and van Hoesel, L.F.W. and Doumen, J.M. and Hartel, P.H. and Havinga, P.J.M. (2005) Energy-Efficient Link-Layer Jamming Attacks against Wireless Sensor Network MAC Protocols. In: 3rd ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN), Alexandria, Virginia. pp. 76-88. ACM Press. ISBN 1-59593-227-5

Lenzini, G. (2005) Integration of Analysis Techniques in Security and Fault-Tolerance. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 05-70 ISBN 90-365-2200-5

Tuyls, P. and Akkermans, A.H.M. and Kevenaar, T.A.M. and Schrijen, G.-J. and Bazen, A.M. and Veldhuis, R.N.J. (2005) Practical Biometric Authentication with Template Protection. In: 5th Int. Conf. on Audio- and Video-Based Personal Authentication (AVBPA), Rye Brook, New York. pp. 436-446. Springer-Verlag Berlin. ISBN 3-540-27887-7

Veldhuis, R.N.J. and Bazen, A.M. (2005) One-to-template and ono-to-one verification in the single- and multi-user case. In: 26th Symposium on Information Theory in the Benelux, Brussels, Belgium. pp. 39-46. Werkgemeenschap voor Informatie- en Communicatietheorie. ISBN 90-71048-21-7

Veldhuis, R.N.J. and Bazen, A.M. and Booij, W.D.T. and Hendrikse, A.J. (2005) Hand-Geometry Recognition Based on Contour Parameters. In: SPIE Biometric Technology for Human Identification II, Orlando, FL, USA. pp. 344-353. SPIE -- The Int. Society for Optical Engineering. ISBN 0-8194-5764-7

Zych, A.K. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2005) A Diffie-Hellman based Key Management Scheme for Hierarchical Access Control. Technical Report TR-CTIT-05-57, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2004

Etalle, S., ed. (2004) Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3573. Springer-Verlag, Berlin. ISBN 3-540-26655-0

Jonker, W. and Petkovic, M., ed. (2004) Secure Data Management: Proceedings of the VLDB 2004 Workshop, SDM 2004, Toronto, Canada, August 30, 2004. Lecture Notes in Computer Science 3178. Springer, Berlin, Germany. ISSN 0302-9743 ISBN 3-540-22983-3

Barthe, G. and Cederquist, J.G. and Tarento, S. (2004) A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. In: 2nd International Joint Conference on Automated Reasoning, IJCAR , 4-8 Jul 2004, Cork, Ireland. pp. 385-399. Lecture Notes in Computer Science 3097. Springer-Verlag. ISBN 3-540-22345-2

Bazen, A.M. and Bouman, N. and Veldhuis, R.N.J. (2004) A multi-scale approach to directional field reconstruction. In: 15th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), Veldhoven, The Netherlands. pp. 215-218. Technology Foundation STW. ISBN 90-73461-43-X

Bazen, A.M. and Veldhuis, R.N.J. (2004) Likelihood Ratio-Based Biometric Verification. IEEE Transactions on Circuits and Systems for Video Technology, 14 (1). pp. 86-94. ISSN 1051-8215 *** ISI Impact 2,548 ***

Bazen, A.M. and Veldhuis, R.N.J. (2004) Detection of cores in fingerprints with improved dimension reduction. In: 4th IEEE Benelux Signal Processing Symposium (SPS-2004), Hilvarenbeek, The Netherlands. pp. 41-44. IEEE Benelux Signal Processing Chapter.

ter Beek, M. and Lenzini, G. and Petrocchi, M. (2004) Team Automata for Security (A Survey). In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004), Aug.30-Sept.4, 2004, London, United Kingdom. pp. 105-119. Electronic Notes in Theoretical Computer Science 128 (5). Elsevier. ISSN 1571-0661

Beumer, G.M. and Veldhuis, R.N.J. and Bazen, A.M. (2004) Transparent face recognition in the home environment. In: 15th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), Veldhoven, The Netherlands. pp. 225-229. Technology Foundation STW. ISBN 90-73461-43-X

Bhargavan, K. and Corin, R.J. and Fournet, C. and Gordon, A.D. (2004) Secure Sessions for Web Services. In: ACM Workshop on Secure Web Services (SWS), October 29 - 29, 200, Fairfax, Virginia. pp. 56-66. ACM Press. ISBN 1-58113-973-X

Breij, P.A.E. (2004) Ethical Aspects of Facial Recognition Systems in Public Places. Journal of information, communication and ethics in society, 2 (2). pp. 97-109. ISSN 1477-996X

Brinkman, R. and Doumen, J.M. and Jonker, W. (2004) Using secret sharing for searching in encrypted data. Technical Report TR-CTIT-04-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Brinkman, R. and Doumen, J.M. and Jonker, W. (2004) Using secret sharing for searching in encrypted data. In: Workshop on Secure Data Management in a Connected World (SDM), 30 Aug 2004, Toronto, Canada. pp. 18-27. Lecture Notes in Computer Science 3178. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-22983-3

Brinkman, R. and Doumen, J.M. and Jonker, W. and Schoenmakers, B. (2004) Method of and device for querying of protected structured data. Patent PHNL040611 US (Application).

Brinkman, R. and Feng, Ling and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2004) Efficient Tree Search in Encrypted Data. Technical Report TR-CTIT-04-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Brinkman, R. and Feng, Ling and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2004) Efficient Tree Search in Encrypted Data. Information Systems Security Journal, 13 (3). pp. 14-21. ISSN 1065-898X

Brinkman, R. and Feng, Ling and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2004) Efficient Tree Search in Encrypted Data. In: Proceedings of the 2nd International Workshop on Security In Information Systems (WOSIS), 13-14 Apr 2004, Porto, Portugal. pp. 126-135. INSTICC Press. ISBN 972-8865-07-4

Cederquist, J.G. and Torabi Dashti, M. (2004) Formal Analysis of a Fair Payment Protocol. In: 2nd International Workshop on Formal Aspect of Security and Trust (FAST), 22-27 Aug 2004, Toulouse, France. pp. 41-54. IFIP International Federation for Information Processing 173. Kluwer Academic Publishers. ISBN 9780387240503

Chong, Chuen Ngen and Ren, B. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Corin, R.J. (2004) License protection with a tamper-resistant token. In: 5th Workshop on Information Security Applications (WISA), Jeju Island, Korea. pp. 223-237. Springer-Verlag. ISBN 3-540-24015-2

Corin, R.J. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2004) Security Analysis of Parlay/OSA Framework. In: 9th Int. Conf. on Intelligence in service delivery Networks ICIN, Bordeaux, France. pp. 54-59. IOS Press.

Corin, R.J. and Doumen, J.M. and Etalle, S. (2004) Analysing Password Protocol Security Against Off-line Dictionary Attacks. In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), 26 June 2004, Bologna, Italy. pp. 47-63. Electronic Notes in Theoretical Computer Science 121. Elsevier. ISSN 1571-0661

Corin, R.J. and Etalle, S. (2004) A simple procedure for finding guessing attacks (Extended Abstract). Technical Report TR-CTIT-04-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2004) Timed Model Checking of Security Protocols. Technical Report TR-CTIT-04-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2004) Timed Model Checking of Security Protocols. In: 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE), Fairfax, Virginia. pp. 23-32. ACM Press. ISBN 1-58113-971-3

Corin, R.J. and Etalle, S. and den Hartog, J.I. and Lenzini, G. and Staicu, I.S. (2004) A Logic for Auditing Accountability in Decentralized Systems. In: 2nd Int. Workshop on Formal Aspect of Security and Trust (FAST), Toulouse, France. pp. 187-201. Springer-Verlag. ISBN 0-387-24050-0

van Dijk, J.A.G.M. (2004) Divides in succession: possession, skills and use of the new media for participation. In: Media Access: Social and Psychological Dimensions of New Technology Use. Lawrence Erlbaum Assoc, Hillsdale, New Jersey. ISBN 0805841091

Doumen, J.M. and Brinkman, R. and Jonker, W. (2004) Searching in Encrypted Data. In: Finite Fields: Theory and Applications, 5-11 Dec 2004, Oberwolfach, Germany. pp. 2951-2951. Oberwolfach Reports 54/2004. European Mathematical Society. ISSN 1660-8933

Dubbeld, L. (2004) Limits on surveillance: frictions, fragilities and failures in the operation of camera surveillance. Journal of information, communication and ethics in society, 2 (1). pp. 9-19. ISSN 1477-996X

Dubbeld, L. (2004) Protecting personal data in camera surveillance practices. Surveillance and Society, 2 (4). pp. 546-563. ISSN 1477-7487

Dubbeld, L. (2004) The role of technology in shaping CCTV surveillance practices. Information, Communication & Society.

Dubbeld, L. (2004) The regulation of the observing gaze: privacy implications of video surveillance. PhD thesis, University of Twente.

Feng, Ling and Apers, P.M.G. and Jonker, W. (2004) Towards Context-Aware Data Management for Ambient Intelligence. In: Proceedings of the 15th International Conference on Database and Expert Systems Applications (DEXA 2004), Aug 30-Sep 3, 2004, Zaragoza, Spain. pp. 422-431. Lecture Notes in Computer Science 3180. Springer-Verlag. ISBN 3-540-22936-1

Feng, Ling and Jonker, W. (2004) Preparations for Encrypted XML Metadata Querying. International Journal of Computer Systems Science & Engineering, 19 (3/4). pp. 95-103. ISSN 0267-6192 *** ISI Impact 0,222 ***

Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J. (2004) Modelling mobility aspects of security policies. (Invited) In: Construction and Analysis of Safe, Secure and Interoperable Smart cards (CASSIS), March 10-14, 2004, Marseille, France. pp. 172-191. Lecture Notes in Computer Science 3362. Springer-Verlag. ISBN 3-540-24287-2

den Hartog, J.I. and de Vink, E.P. (2004) Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. In: 2nd Int. Workshop on Formal Aspect of Security and Trust (FAST), Toulouse, France. pp. 85-98. Kluwer Academic Publishers. ISBN 0-387-24050-0

Hollestelle, G. and Burgers, W. and den Hartog, J.I. (2004) Power analysis on smartcard algorithms using simulation. Technical report CSR 04-22, Eindhoven University of Technology, Eindhoven.

Kalker, T. and Epema, D.H.J. and Hartel, P.H. and Lagendijk, R.L. and van Steen, M. (2004) Music2Share - Copyright-Compliant Music Sharing in P2P Systems. Proceedings of the IEEE Special Issue on Digital Rights Management, 92 (6). pp. 961-970. ISSN 0018-9219 *** ISI Impact 4,878 ***

Kuijper, M. and Polderman, J.W. (2004) R-S list decoding from a system theoretic perspective. IEEE Transactions on Information Theory, 50. pp. 259-271. ISSN 0018-9448 *** ISI Impact 2,357 ***

Law, Yee Wei and Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Corin, R.J. (2004) Licensing Structured Data with Ease. In: 2nd IFIP TC6 WG6.11 Int. Workshop for Technology, Economy, Social and Legal Aspects of Virtual Goods, Ilmenau, Germany. Technical Univ. Ilmenau. ISBN not assigned

Law, Yee Wei and Doumen, J.M. and Hartel, P.H. (2004) Benchmarking Block Ciphers for Wireless Sensor Networks (Extended Abstract). In: 1st IEEE Int. Conf. on Mobile Ad-hoc and Sensor Systems (MASS), 25-27 Oct. 2004, Fort Lauderdale, Florida. pp. 447-456. IEEE Computer Society. ISBN 0-7803-8815-1

Risse, T. and Aberer, K. and Wombacher, A. and Surridge, M. and Taylor, S. (2004) Configuration of distributed message converter systems. Performance evaluation, 58 (1). pp. 43-80. ISSN 0166-5316 *** ISI Impact 1,56 ***

Veldhuis, R.N.J. and Bazen, A.M. (2004) Maximum Discrimination Analysis (MDA) as a Means for Dimension Reduction in Biometric Verification. In: Workshop on Biometrics: Challenges arising from Theory to Practice, Cambridge, UK. pp. 31-34. The International Association for Pattern Recognition.

Veldhuis, R.N.J. and Bazen, A.M. (2004) Figures of Merit for Biometric Verification and a Means for Dimension Reduction. In: 25th Symposium on Information Theory in the Benelux, Rolduc, The Netherlands. pp. 145-152. Werkgemeenschap voor Informatie- en Communicatietheorie. ISBN 90-71048-20-9

Veldhuis, R.N.J. and Bazen, A.M. and Booij, W.D.T. and Hendrikse, A.J. (2004) A Comparison of Hand-Geometry Recognition Methods Based on Low- and High-Level Features. In: 15th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), Veldhoven, The Netherlands. pp. 326-330. Technology Foundation STW. ISBN 90-73461-43-X

Veldhuis, R.N.J. and Bazen, A.M. and Kauffman, J.A. and Hartel, P.H. (2004) Biometric verification based on grip-pattern recognition. (Invited) In: IS&T/SPIE 16th Annual Symp. on Electronic Imaging - Security, Steganography, and Watermarking of Multimedia Contents, San Jose, California. pp. 634-641. SPIE -- The Int. Society for Optical Engineering. ISBN 0-8194-5209-2

Wombacher, A. and Aberer, K. (2004) Requirements for workflow modeling in P2P-Workflows derived from collaboration establishment. In: 15th International Workshop on Database and Expert Systems Applications, DEXA'04, 30 Aug - 03 Sep 2004, Zaragoza, Spain. pp. 1036-1041. IEEE Computer Society. ISBN 0769521959

2003

Gras, F. and Le Dantec, B. and Trébucq, O. and Cucinelli, B. and Leduc, M. and Simplot, D. and Bueker, U. and Barthe, G. and Michaud, B. and Hartel, P.H. and Thevenot, B. and Moedl, A. and Quisquater, J.-J. and Thomasson, J.-P. and Canto, E., ed. (2003) RESET Roadmap for European research on Smartcard rElated Technologies. Report Type UNSPECIFIED Number UNSPECIFIED

Misa, T.J. and Breij, P.A.E. and Feenberg, A., ed. (2003) Modernity and Technology. MIT Press, Cambridge, Massachusetts. ISBN 0262134217

Oudshoorn, N.E.J. and Pinch, T.J., ed. (2003) How Users Matter. The Co-construction of Technologies and Users. MIT Press, Cambridge, Massachusetts. ISBN 0262151073

Bazen, A.M. and Gerez, S.H. (2003) Fingerprint Matching by Thin-plate Spline Modelling of Elastic Deformations. Pattern recognition, 36 (8). pp. 1859-1867. ISSN 0031-3203 *** ISI Impact 2,554 ***

Bazen, A.M. and Veldhuis, R.N.J. and Croonen, G.H. (2003) Likelihood Ratio-Based Detection of Facial Features. In: 14th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), Veldhoven, The Netherlands. pp. 323-329. Technology Foundation STW. ISBN 90-73461-39-1

ter Beek, M. and Lenzini, G. and Petrocchi, M. (2003) Team Automata for Security Analysis of Multicast/Broadcast Communication. In: ATPN Workshop on Issues in Security and Petri Nets (WISP), 23 June 2003, Eindhoven, The Netherlands. pp. 57-62. Beta Research School for Operations Management and Logistics. ISBN not assigned

Bistarelli, S. and Cervesato, I. and Lenzini, G. and Martinelli, F. (2003) Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. In: 2nd Int. Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS), St. Petersburg, Russia. pp. 86-99. Springer-Verlag. ISBN 3-540-40797-9

Breij, P.A.E. (2003) Theorizing Technology and Modernity. In: Modernity and Technology. MIT Press, Cambridge, Massachusetts. ISBN 0262134217

Brinkman, R. and Feng, Ling and Etalle, S. and Hartel, P.H. and Jonker, W. (2003) Experimenting with linear search in encrypted data. Technical Report TR-CTIT-03-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Corin, R.J. and Etalle, S. and Hartel, P.H. and Jonker, W. and Law, Yee Wei (2003) LicenseScript: A Novel Digital Rights Language and its Semantics. In: 3rd Int. Conf. on Web Delivering of Music (WEDELMUSIC), Leeds, UK. pp. 122-129. IEEE Computer Society. ISBN 0-7695-1935-0

Chong, Chuen Ngen and Corin, R.J. and Etalle, S. and Hartel, P.H. and Law, Yee Wei (2003) LicenseScript: A Novel Digital Rights Language. In: IFIP TC6 WG6.11 Int. Workshop for Technology, Economy, Social and Legal Aspects of Virtual Goods, Ilmenau, Germany. pp. 104-115. Technical Univ. Ilmenau.

Chong, Chuen Ngen and Corin, R.J. and Law, Yee Wei and Etalle, S. (2003) License Interpreter, Manager and Interface for LicenseScript. Report Type UNSPECIFIED Number UNSPECIFIED,

Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. (2003) Comparing Logic-based and XML-based Rights Expression Languages. In: Confederated Int. Workshops: On The Move to Meaningful Internet Systems (OTM), Catania, Sicily, Italy. pp. 779-792. Springer-Verlag. ISBN 3-540-20494-6

Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Law, Yee Wei (2003) Approximating Fair Use in LicenseScript. In: 6th Int. Conf. of Asian Digital Libraries (ICADL), Kuala Lumpur, Malaysia. pp. 432-443. Springer-Verlag. ISBN 3-540-20608-6

Chong, Chuen Ngen and Peng, Z. and Hartel, P.H. (2003) Secure Audit Logging with Tamper-Resistant Hardware. In: 18th IFIP TC11 Int. Conf. on Information Security and Privacy in the Age of Uncertainty (SEC), Athens, Greece. pp. 73-84. Kluwer Academic Publishers. ISBN 1-4020-7449-2

Corin, R.J. and Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. (2003) How to pay in LicenseScript. Technical Report TR-CTIT-03-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H. (2003) A Trace Logic for Local Security Properties. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India. pp. 129-143. Electronic Notes in Theoretical Computer Science 118. Elsevier. ISSN 1571-0661

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2003) On Modelling Real-time and Security properties of Distributed Systems (Extended Abstract). Technical Report TR-CTIT-03-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Malladi, S. and Alves-Foss, J. and Etalle, S. (2003) Guess what? Here is a new tool that finds some new guessing attacks (Extended Abstract). In: IFIP WG 1.7 and ACM SIGPLAN Workshop on Issues in the Theory of Security (WITS), Warsaw, Poland. pp. 62-71. Dipartamento di Scienze dell'Informazione Universita di Bologna.

Di Pietro, R. and Mancini, L.V. and Law, Yee Wei and Etalle, S. and Havinga, P.J.M. (2003) LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks. In: 32nd Int. Conf. on Parallel Processing Workshops (ICPP), Kaohsiung, Taiwan. pp. 397-406. IEEE Computer Society. ISBN 0-7695-2018-9

Dillema, F.W. and Stabell-Kulø, T. (2003) Pesto flavoured security. In: 22nd Symp. on Reliable Distributed Systems (SRDS), Florence, Italy. pp. 241-249. IEEE Computer Society. ISBN 0-7695-1955-5

Doumen, J.M. (2003) Some Applications of Coding Theory in Cryptography. PhD thesis, Eindhoven University of Technology. ISBN 90-386-0702-4

Etalle, S. and Mukhopadhyay, S. and Roychoudhury, A. (2003) Preface. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India. 1. Electronic Notes in Theoretical Computer Science 118. Elsevier. ISSN 1571-0661

Feng, Ling and Jonker, W. (2003) Efficient Processing of Secured XML Metadata. In: On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 3-7 November 2003, Catania, Sicily, Italy. pp. 704-717. Lecture Notes in Computer Science 2889. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-20494-6

Gnesi, S. and Lenzini, G. and Martinelli, F. (2003) Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. In: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, Pisa, Italy. pp. 111-126. Electronic Notes in Theoretical Computer Science 99. Elsevier. ISSN 1571-0661

Gnesi, S. and Lenzini, G. and Martinelli, F. (2003) Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India. pp. 57-70. Electronic Notes in Theoretical Computer Science 118. Elsevier. ISSN 1571-0661

Hafkamp, W.H.M. (2003) Thema Cybercrime: gewaarschuwde organisatie telt voor twee. Tijdschrift controlling, 18 (6). pp. 19-24. ISSN 1389-7713

Hafkamp, W.H.M. (2003) Eindrapportage haalbaarheidsonderzoek "Interbancair Computer Security Information Sharing and Analysis Center" (ISAC). Report Type UNSPECIFIED Number UNSPECIFIED,

den Hartog, J.I. and Verschuren, J. and de Vink, E.P. and Vos, J. and Wiersma, W. (2003) PINPAS: A Tool for Power Analysis of Smartcards. In: 18th IFIP TC11 Int. Conf. on Information Security and Privacy in the Age of Uncertainty (SEC), Athens, Greece. pp. 453-457. Kluwer Academic Publishers. ISBN 1-4020-7449-2

Jansen, D.N. (2003) Extensions of Statecharts with probability, time, and stochastic timing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-57 ISBN 3-9522850-0-5

Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2003) A QoS-oriented extension of UML statecharts. In: «UML» 2003: the unified modeling language, San Francisco, Calif., USA. pp. 76-91. Lecture Notes in Computer Science 2863. Springer-Verlag. ISBN 3-540-20243-9

de Jong, E.K. and Hartel, P.H. (2003) Method and apparatus for deployment of high integrity software using static procedure return addresses. Patent US20030177474 (Application).

Jonker, W. (2003) XML and Secure Data Management in an Ambient World. International Journal of Computer Systems Science & Engineering, 18 (5). pp. 311-317. ISSN 0267-6192 *** ISI Impact 0,222 ***

Kauffman, J.A. and Bazen, A.M. and Gerez, S.H. and Veldhuis, R.N.J. (2003) Grip-pattern recognition for smart guns. In: 14th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), Veldhoven, The Netherlands. pp. 379-384. Technology Foundation STW. ISBN 90-73461-39-1

Kuijper, M. and Polderman, J.W. (2003) A behavioral framework for Reed-Solomon decoding through multiplicative bivariate interpolation. In: 42nd IEEE Conf. Decision and Control, Maui, Hawaii. pp. 1621-1626. IEEE Computer Society. ISBN 0-7803-7925-x

te Kulve, H. and Smit, W.A. (2003) Civilian-military co-operation strategies in developing new technologies. Research Policy, 32 (6). pp. 955-970. ISSN 0048-7333 *** ISI Impact 2,261 ***

Laud, P. and Corin, R.J. (2003) Sound Computational Interpretation of Formal Encryption with Composed Keys. Technical Report TR-CTIT-03-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Laud, P. and Corin, R.J. (2003) Sound Computational Interpretation of Formal Encryption with Composed Keys. In: 6th Annual Int. Conf. on Information Security and Cryptology (ICISC), Seoul, Korea. pp. 55-66. Springer-Verlag. ISBN 3-540-21376-7

Law, Yee Wei and Corin, R.J. and Etalle, S. and Hartel, P.H. (2003) A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. In: 4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC), Venice, Italy. pp. 27-39. Springer-Verlag. ISBN 3-540-20123-8

Law, Yee Wei and Etalle, S. and Hartel, P.H. (2003) Assessing Security in Energy-Efficient Sensor Networks. In: 18th IFIP TC11 Int. Conf. on Information Security and Privacy in the Age of Uncertainty (SEC), May 26-28, 2003, Athens, Greece. pp. 459-463. Kluwer Academic Publishers. ISBN 1-4020-7449-2

Lenzini, G. and Gnesi, S. and Latella, D. (2003) Spider: a Security Model Checker. In: 1st Int. Workshop on Formal Aspect of Security and Trust (FAST), Pisa, Italy. pp. 163-180. Istituto di Informatica e Telematica (IIT-CNR).

Maathuis, I.H.J. and Smit, W.A. (2003) The battle between standards: TCP/IP vs OSI victory through path dependency or by quality. In: 3rd IEEE Conf. on Standardization and Innovation in Information Technology, Delft, The Netherlands. pp. 161-176. The Institute of Electrical and Electronics Engineers. ISBN 0-7803-8172-6

Oudshoorn, N.E.J. and Pinch, T.J. (2003) How users and non-users matter. In: How Users Matter. The Co-construction of Technologies and Users. MIT Press, Cambridge, Massachusetts, pp. 4-22. ISBN 0262151073

Oudshoorn, N.E.J. and Rommes, E. and Stienstra, M. (2003) Configuring the user as everybody: gender and design cultures in information and communication technologies. Science, Technology and Human Values, 29 (1). pp. 30-63. ISSN 0162-2439

Rip, A. (2003) Societal challenges for R&D evaluation. In: Learning from Science and Technology Policy Evaluation. Edward Elgar Publishing Ltd., Cheltenham, UK, pp. 32-53. ISBN 1-84064-875-9

Veldhuis, R.N.J. and Bazen, A.M. and Boersma, M. (2003) Biometric verification: A result and an exotic example. In: 24th Symposium on Information Theory in the Benelux, Veldhoven, The Netherlands. pp. 109-116. Werkgemeenschap voor Informatie- en Communicatietheorie. ISBN 90-71048-18-7

Veldhuis, R.N.J. and Klabbers, E.A.M. (2003) On the computation of the Kullback-Leibler measure for spectral distances. IEEE Transactions on Speech and Audio Processing, 11 (1). pp. 100-103. ISSN 1063-6676

Xu, Sheng-bo and Doumen, J.M. and van Tilborg, H.C.A. (2003) On the Security of Digital Signature Schemes Based on Error-Correcting Codes. Designs, Codes and Cryptography, 28 (2). pp. 187-199. ISSN 0925-1022 *** ISI Impact 0,825 ***

2002

Abelmann, L. and Chong, Chuen Ngen and Hartel, P.H. and Lodder, J.C. (2002) Design Rationale for Secure Probe Storage based on Patterned Magnetic Media. Technical Report TR-CTIT-02-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bazen, A.M. (2002) Fingerprint Identification - Feature Extraction, Matching and Database Search. PhD thesis, University of Twente. ISBN 9036517818

Bazen, A.M. and Gerez, S.H. (2002) Systematic Methods for the Computation of the Directional Fields and Singular Points of Fingerprints. IEEE Transactions on Pattern Analysis and Machine Intelligence, 24 (7). pp. 905-919. ISSN 0162-8828 *** ISI Impact 4,378 ***

Bazen, A.M. and Veldhuis, R.N.J. (2002) Likelihood-ratio-based biometric verification. In: 13th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), Veldhoven, The Netherlands. pp. 184-189. Technology Foundation STW. ISBN 90-73461-33-2

Beelen, P. and Doumen, J.M. (2002) Pseudorandom sequences from elliptic curves. In: 6th Int. Conf. Finite Fields with Applications to Coding Theory, Cryptography and Related Areas, Oaxaca, Mexico. pp. 37-52. Springer-Verlag. ISBN 3540439617

Brinkman, R. and Hoepman, J.H. (2002) Secure Method Invocation in JASON. In: 5th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS), Nov. 20-22, 2002, San Jose, California. pp. 29-40. USENIX Association. ISBN 1-931971-04-8

Chong, Chuen Ngen and van Buuren, R. and Hartel, P.H. and Kleinhuis, G. (2002) Security Attributes Based Digital Rights Management. In: Joint Int. Workshop on Interactive Distributed Multimedia Systems / Protocols for Multimedia Systems (IDMS/PROMS), Coimbra, Portugal. pp. 339-352. Springer-Verlag. ISBN 3-540-00169-7

Corin, R.J. and Etalle, S. (2002) An Improved Constraint-based system for the verification of security protocols. In: 9th Int. Static Analysis Symp. (SAS), Madrid, Spain. pp. 326-341. Springer-Verlag. ISBN 3-540-44235-9

El Abdouni Khayari, R. and Sadre, R. and Haverkort, B.R.H.M. and Zoschke, N. (2002) A Class-Based Weighted-Fair Queueing Algorithm for WWW Proxy Scheduling. In: SPIE 4865 Internet Performance and Control of Network Systems III, Boston, Massachusetts. pp. 120-131. Int. Soc. for Optial Engineering.

Eshuis, H. and Jansen, D.N. and Wieringa, R.J. (2002) Requirements-level semantics and model checking of object-oriented statecharts. Requirements Engineering, 7 (4). pp. 243-263. ISSN 0947-3602 *** ISI Impact 0,931 ***

Eshuis, H. and Wieringa, R.J. (2002) Verification Support for Workflow Design with UML Activity Graphs. In: 24th Int. Conf. on Software Engineering (ICSE), Orlando, Florida. pp. 166-176. ACM Press.

Gnesi, S. and Latella, D. and Lenzini, G. (2002) Towards Model Checking a Spi-Calculus Dialect. Technical Report 2002-TR-10, Istituto di Scienza e Tecnologia Informatica (ISTI-CNR), Pisa, Italy.

Hafkamp, W.H.M. (2002) De "mission impossible" van CERT. Informatiebeveiliging, 6. pp. 4-9. ISSN 1569-1063

Hafkamp, W.H.M. (2002) Telt een gewaarschuwde organisatie voor twee? Management & informatie, 10 (6). pp. 19-26. ISSN 0929-1792

Henderson, N.J. and Papakostas, T.V. and White, N.M. and Hartel, P.H. (2002) Low-Cost Planar PTF Sensors for the Identity Verification of Smartcard Holders. (Invited) In: 1st IEEE Int. Conf. on Sensors, Orlando, Florida. pp. 1614-1619. IEEE Computer Society. ISBN 0-7803-7455-X

Henderson, N.J. and White, N.M. and Veldhuis, R.N.J. and Hartel, P.H. and Slump, C.H. (2002) Sensing pressure for authentication. In: 3rd IEEE Benelux Signal Processing Symp. (SPS), Leuven, Belgium. pp. 241-244. ISBN not assigned

van den Heuvel, S.A.F.A. and Jonker, W. and Kamperman, F.L.A.J. and Lenoir, P.J. (2002) Secure content management in authorised domains. In: Int. Broadcasting Convention (IBC), Amsterdam, The Netherlands. pp. 467-474. Broadcastpapers Pty Ltd.

Jansen, D.N. (2002) Probabilistic UML statecharts for specification and verification: a case study. In: Critical systems development with UML: proceedings of the UML'02 workshop, Leipzig, Germany. pp. 121-131. Technical Report TUM-I0208. Technische Universität München.

Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. Technical Report TR-CTIT-02-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. In: Formal techniques in real-time and fault-tolerant systems: ... FTRTFT, Oldenburg, Germany. pp. 355-374. Lecture Notes in Computer Science 2469. Springer-Verlag. ISBN 3-540-44165-4

Jansen, D.N. and Wieringa, R.J. (2002) Extending CTL with actions and real time. Journal of logic and Computation, 12 (4). pp. 607-621. ISSN 0955-792X *** ISI Impact 0,789 ***

Klein, S. and Bazen, A.M. and Veldhuis, R.N.J. (2002) Fingerprint segmentation based on hidden Markov models. In: 13th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), Veldhoven, The Netherlands. pp. 310-318. Technology Foundation STW. ISBN 90-73461-33-2

Kuijper, M. and Polderman, J.W. (2002) Behavioral models for list decoding. Mathematical and Computer Modelling of Dynamical Systems, 8 (4). pp. 429-444. ISSN 1387-3954 *** ISI Impact 0,594 ***

Law, Yee Wei and Etalle, S. and Hartel, P.H. (2002) Key Management with Group-Wise Pre-Deployed Keying and Secret Sharing Pre-Deployed Keying. Technical Report TR-CTIT-02-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Oliván Bescós, J. and Smit, J. and Slump, C.H. (2002) Interactive 4D Cardiac MRI Imaging Based on Iso-Surface Volume Rendering. In: Biomedical Optics and Imaging Symposium, 24-26 Feb 2002, San Diego, California, USA. pp. 322-329. Proceedings of SPIE 4681. SPIE. ISBN 081944426X

Poll, E. and Hartel, P.H. and de Jong, E.K. (2002) A Java Reference Model of Transacted Memory for Smart Cards. In: 5th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS), San Jose, California. pp. 75-86. USENIX Association. ISBN 1-931971-04-8

Rip, A. (2002) Contributions from Social Studies of Science and Constructive Technology Assessment. In: On Science and Precaution in the Management of Technological Risk. ESTO Project Report. Volume II. Case Studies, Report EUR 19056/EN/2, European Commission Joint Research Centre, Brussels, pp. 94-122.

Rip, A. and Smit, W.A. (2002) Het risicobegrip vanuit een wetenschapsfilosofisch en sociologisch perspectief. In: Perspectieven op milieurisico's. WRR Werkdocumenten, W128, Wetenschappelijke Raad voor het Regeringsbeleid, Den Haag, pp. 67-102.

Stabell-Kulø, T. (2002) Private Computing: The Trusted Digital Assistant. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-45 ISBN 90-365-1762-1