Select Publications

Journal articles

Huang X; Van Der Meyden R, 2018, 'An epistemic strategy logic', ACM Transactions on Computational Logic, vol. 19, http://dx.doi.org/10.1145/3233769

Eggert S; van der Meyden R, 2017, 'Dynamic intransitive noninterference revisited', Formal Aspects of Computing, vol. 29, pp. 1087 - 1120, http://dx.doi.org/10.1007/s00165-017-0430-6

Cassez F; van der Meyden R; Zhang C, 2016, 'The complexity of synchronous notions of information flow security', Theoretical Computer Science, vol. 631, pp. 16 - 42, http://dx.doi.org/10.1016/j.tcs.2016.03.011

Cassez F; van der Meyden R; Zhang C, 2016, 'The complexity of synchronous notions of information flow security', Theoretical Computer Science, vol. 631, pp. 16 - 42, http://dx.doi.org/10.1016/j.tcs.2016.03.011

Chong S; Van Der Meyden R, 2015, 'Using architecture to reason about information security', ACM Transactions on Information and System Security, vol. 18, http://dx.doi.org/10.1145/2829949

Van Der Meyden R, 2015, 'What, indeed, is intransitive noninterference?1', Journal of Computer Security, vol. 23, pp. 197 - 228, http://dx.doi.org/10.3233/JCS-140516

Van Der Meyden R; Zhang C, 2013, 'Information Flow in Systems with Schedulers (Part I:Definitions)', Theoretical Computer Science, vol. 467, pp. 68 - 88, http://dx.doi.org/10.1016/j.tcs.2012.10.047

Van Der Meyden R; Zhang C, 2013, 'Information flow in systems with schedulers, Part II: Refinement', Theoretical Computer Science, vol. 484, pp. 70 - 92, http://dx.doi.org/10.1016/j.tcs.2013.01.002

Patra M; Van Der Meyden R, 2012, 'Consistent assignment of quantum probabilities', Journal of Physics A: Mathematical and Theoretical, vol. 45, pp. 1751 - 8113, http://dx.doi.org/10.1088/1751-8113/45/7/075304

Van Der Meyden R, 2012, 'Architectural Refinement and Notions of Intransitive Noninterference', Formal Aspects of Computing, vol. 24, pp. 769 - 792, http://dx.doi.org/10.1007/s00165-012-0247-2

van der Meyden R; Zhang C, 2010, 'A comparison of semantic models for noninterference', THEORETICAL COMPUTER SCIENCE, vol. 411, pp. 4123 - 4147, http://dx.doi.org/10.1016/j.tcs.2010.08.013

Van Der Meyden R, 2009, 'Architectural Refinement and Notions of Intransitive Noninterference', Engineering Secure Software and Systems, vol. 24, pp. 769 - 792, http://dx.doi.org/10.1007/s00165-012-0247-2

Van Der Meyden R; Zhang C, 2007, 'Algorithmic Verification of Noninterference Properties', Electronic Notes in Theoretical Computer Science, vol. 168, pp. 61 - 75, http://dx.doi.org/10.1016/j.entcs.2006.11.002

Van Der Meyden R; Zhang C, 2007, 'A comparison of semantic models for noninterference', 4th international workshop on Formal aspects in security and trust, vol. 411, pp. 4123 - 4147, http://dx.doi.org/10.1016/j.tcs.2010.08.013

van Ditmarsch HP; van der Hoek HW; Van Der Meyden R; Ruan J, 2006, 'Model Checking Russian Cards', Electronic Notes in Theoretical Computer Science, vol. 149, pp. 105 - 123, http://dx.doi.org/10.1016/j.entcs.2005.07.029

Halpern JY; Van Der Meyden R; Vardi M, 2004, 'Complete Axiomatizations for Logics of Knowledge and Time', Siam Journal on Computing, vol. 33, pp. 674 - 703, http://dx.doi.org/10.1137/S0097539797320906

Halpern JY; Van der Meyden R, 2003, 'A logical reconstruction of SPKI', Journal of Computer Security, vol. 11, pp. 581 - 613, http://dx.doi.org/10.3233/JCS-2003-11405

Van Der Meyden R; Wong K, 2003, 'Complete Axiomatizations for Reasoning about Knowledge and Branching Time', Studia Logica, vol. 75, pp. 93 - 123

Van Der Meyden R; Halpern JY, 2001, 'A logic for SDSI`s Linked Local Name Spaces', Journal of Computer Security, vol. 9, pp. 105 - 142, http://dx.doi.org/10.3233/JCS-2001-91-205

Barr T; Chicharo J; Van Der Meyden R; Sammut C; Seberry J; Tobias J; Wysocki T, 2001, 'CRC for smart internet technology - An overview', Telecommunications Journal of Australia, vol. 51, pp. 19 - 23

Chan EPF; Van Der Meyden R, 2000, 'Containment and optimization of object-preserving conjunctive queries', SIAM Journal on Computing, vol. 29, pp. 1371 - 1400, http://dx.doi.org/10.1137/S0097539794262446

Lomusciou AR; Van Der Meyden R; Ryan R, 2000, 'Knowledge In Multi-agent Systems: Initial Configurations and Broadcast', ACM Transactions on Computational Logic, vol. 1, pp. 247 - 284

Van Der Meyden R; Reeve J, 2000, 'Predicate Boundedness of Linear Monadic Datalog is in PSPACE', International Journal of Foundations of Computer Science, vol. 11, pp. 591 - 612

Van Der Meyden R, 1998, 'Common Knowledge and Update in Finite Environments', Information and Computation, vol. 140, pp. 115 - 157, http://dx.doi.org/10.1006/inco.1997.2679

Van Der Meyden R, 1997, 'The Complexity of Querying Indefinite Data about Linearly Ordered Domains', Journal of Computer and System Sciences, vol. 54, pp. 113 - 135, http://dx.doi.org/10.1006/jcss.1997.1455

Van Der Meyden R, 1996, 'The dynamic logic of permission', Journal of Logic and Computation, vol. 6, pp. 465 - 479

Imielinski T; Van Der Meyden R; Vadaparty KV, 1995, 'Complexity tailored design: A new design methodology for databases with incomplete information', Journal of Computer and System Sciences, vol. 51, pp. 405 - 432, http://dx.doi.org/10.1006/jcss.1995.1079

van der Meyden R, 1993, 'Recursively indefinite databases', Theoretical Computer Science, vol. 116, pp. 151 - 194, http://dx.doi.org/10.1016/0304-3975(93)90223-G


Back to profile page