Author of the publication

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

Effects of Distributed System Technology on Database Security: A Survey.. DBSec, page 253-261. North-Holland, (1987)RNet: A Hard Real-Time Distributed Programming System., , , and . RTSS, page 2-13. IEEE Computer Society, (1986)Behavioral patterns for software requirement engineering., , and . CASCON, page 33. IBM, (1995)A Proof of Secrecy for a Network Security Model., and . CSFW, page 176-181. IEEE Computer Society, (1991)Task Behavior Monitoring for Adaptive Real-Time Communication., and . Real Time Syst., 11 (2): 173-195 (1996)A Simulation Sequencing Algorithm.. Softw. Pract. Exp., 7 (2): 165-172 (1977)LUCID: a specification language for distributed systems., and . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 76-79 (1985)Reasoning about knowledge in multilevel secure distributed systems., and . S&P, page 122-128. IEEE Computer Society, (1988)Using Higher-order Logic for Modular Specification of Real-time Distributed Systems., and . FTRTFT, volume 331 of Lecture Notes in Computer Science, page 36-66. Springer, (1988)A Logic for Reasoning about Security., , and . CSFW, page 2-13. IEEE Computer Society, (1990)