Author of the publication

Roles and Dynamic Subclasses: A Modal Logic Approach.

, , and . ECOOP, volume 821 of Lecture Notes in Computer Science, page 32-59. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Attacks on Some RSA Signatures., and . CRYPTO, volume 218 of Lecture Notes in Computer Science, page 18-27. Springer, (1985)Encoding and Manipulating Pictorial Data with S+-trees., , and . SSD, volume 525 of Lecture Notes in Computer Science, page 401-419. Springer, (1991)Concurrent Access to B-Trees., and . PARBASE / Databases, page 37-54. IEEE Computer Society, (1990)The Logical Disk: A New Approach to Improving File Systems., , and . SOSP, page 15-28. ACM, (1993)Operating System Review 27(5).The identification of objects and roles - Object identifiers revisited, and . IR-267. Faculty of Mathematics and Computer Science, Vrije Universiteit, (1991)Privacy and security in information systems using programming language features, , , and . Information Systems, 8 (2): 95--103 (1983)Roles and Dynamic Subclasses: A Modal Logic Approach., , and . ECOOP, volume 821 of Lecture Notes in Computer Science, page 32-59. Springer, (1994)Some Variations on RSA Signatures and Their Security., and . CRYPTO, volume 263 of Lecture Notes in Computer Science, page 49-59. Springer, (1986)Privacy-Friendly Electronic Traffic Pricing via Commits., and . Formal Aspects in Security and Trust, volume 5491 of Lecture Notes in Computer Science, page 143-161. Springer, (2008)Privacy and Security in Distributed Database Systems., , and . DDSS, page 229-241. North-Holland, (1981)