Browsing ORBilu

MyORBi^lu

Browse ORBi^lu by

Open Access

ORBi^lu

The ORBi^lu Project

ISSN: 2354-5011

ORBi^lu is a project developed by


	References of "Mauw, Sjouke 50002343" in Showing results 81 to 94 of 94 1 2 3 4 5 Towards a Decision Model Based on Trust and Security Risk Management Alcalde, Baptiste ; Dubois, E.; Mauw, Sjouke et al in Proc. 7th Australasian Information Security Conference - AISC'09 (2009) Detailed reference viewed: 23 (0 UL) Measuring voter-controlled privacy Jonker, Hugo ; Mauw, Sjouke ; Pang, Jun in Proceedings of 4th Conference on Availability, Reliability and Security (ARES'09) (2009) Detailed reference viewed: 78 (2 UL) Untraceability of RFID Protocols van Deursen, Ton ; Mauw, Sjouke ; Radomirovic, Sasa in Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks (2008) Detailed reference viewed: 77 (0 UL) Rights Management for Role-Based Access Control Bouwman, B.; Mauw, Sjouke ; Petkovic, M. in Fifth Annual IEEE Consumer Communications & Networking Conference 2008 (CCNC'08) (2008) Detailed reference viewed: 81 (0 UL) Special issue on Security and Trust Mauw, Sjouke ; Massacci, F.; Piessens, F. in Science of Computer Programming (2008), 74(1-2), 164 Detailed reference viewed: 37 (1 UL) A framework for compositional verification of security protocols Andova, S.; Cremers, C. J. F.; Gjøsteen, K. et al in Information & Computation (2008), 206(2-4), 425-459 Detailed reference viewed: 64 (0 UL) Public Key Infrastructure Mjølsnes, Stig Fr.; Mauw, Sjouke ; Katsikas, Sokratis K. Book published by Springer (2008) Detailed reference viewed: 75 (0 UL) Chosen-name attacks: An overlooked class of type-flaw attacks Ceelen, Pieter ; Mauw, Sjouke ; Radomirovic, Sasa in Electronic Notes in Theoretical Computer Science (2008), 197(2), 31-43 In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has been overlooked in all ... [more ▼] In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has been overlooked in all significant protocol verification frameworks based on formal methods. We identify and classify new type-flaw attacks arising from this capability. Several examples of protocols that are vulnerable to this type of attack are given, including Lowe’s modification of KSL. The consequences for automatic verification tools are discussed. [less ▲] Detailed reference viewed: 87 (0 UL) A Certified Email Protocol Using Key Chains Cederquist, J.; Dashti, M. Torabi; Mauw, Sjouke in Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01 (AINAW'07) (2007) Detailed reference viewed: 81 (0 UL) Data anonymity in the FOO voting scheme Mauw, Sjouke ; Verschuren, J. H. S.; Vink, E. P. De in Electronic Notes in Theoretical Computer Science (2007), 168 Detailed reference viewed: 80 (0 UL) Injective Synchronisation: an extension of the authentication hierarchy Cremers, C. J. F.; Mauw, Sjouke ; Vink, E. P. De in Theoretical Computer Science (2006), 367(1-2), 139-161 Detailed reference viewed: 88 (0 UL) Operational semantics for MSC'96 Mauw, Sjouke ; Reniers, M. A. in Computer Networks & ISDN Systems (1999), 31(17), 1785-1799 Detailed reference viewed: 89 (3 UL) Design and analysis of dynamic leader election protocols in broadcast networks Brunekreef, J. J.; Katoen, J.-P.; Koymans, R. et al in Distributed Computing (1996), 9(4), 157-171 Detailed reference viewed: 66 (0 UL) A process specification formalism Mauw, Sjouke ; Veltink, G. J. in Fundamenta Informaticae (1990), XIII Detailed reference viewed: 38 (0 UL) 1 2 3 4 5

Creative Commons Licence

University of Luxembourg Library | Feedback | Legal notices