The work of Dean Rosenzweig: a tribute to a scientist and an innovator

ABSTRACT

Dean Rosenzweig, who passed away in January 2007, was a distinguished mathematician and computer scientist. We highlight his contributions to modeling, analysis, and testing of network security protocols, and his work on information technology used in the Zagreb Stock Exchange.

REFERENCES

• 1: Egon Börger , Dean Rosenzweig, From Prolog Algebras Towards WAM - A Mathematical Study of Implementation, Proceedings of the 4th Workshop on Computer Science Logic, p.31-66, October 01-05, 1990
• 2: Egon Börger , Dean Rosenzweig, WAM Algebras - A Mathematical Study of Implementation, Part 2, Proceedings of the First Russian Conference on Logic Programming, p.35-54, September 14-18, 1990
• 3: Paola Glavan , Dean Rosenzweig, Communicating Evolving Algebras, Selected Papers from the Workshop on Computer Science Logic, p.182-215, September 28-October 02, 1992
• 4: Egon Börger , Dean Rosenzweig, The Mathematics of Set Predicates in Prolog, Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory, p.1-13, August 24-27, 1993
• 5: Egon Börger , Dean Rosenzweig, Full Prolog in a nutshell, Proceedings of the tenth international conference on logic programming on Logic programming, p.832, August 1993, Budapest, Hungary
• 6: Egon Börger , Igor Durdanovic , Dean Rosenzweig, Occam: Specification and Compiler Correctness - Part I: The Primary Model, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi, p.489-508, June 06-10, 1994
• 7: Rosenzweig, D. Distributed Computations: Evolving Algebra Approach. In B. Pehrson and I. Simon, eds., Technology and Foundations -- Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress (Hamburg, Germany, August 28-September 2, 1994). North-Holland, 1994, 440--441.
• 8: Glavan, P. and Rosenzweig, D. Evolving Algebra Model of Programming Language Semantics. In B. Pehrson and I. Simon, eds., Technology and Foundations -- Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress (Hamburg, Germany, August 28-September 2, 1994). North-Holland, 1994, 416--422.
• 9: Börger, E., Del Castillo, G., Glavan, P., and Rosenzweig, D. Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. In B. Pehrson and I. Simon, eds., Technology and Foundations -- Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress (Hamburg, Germany, August 28-September 2, 1994). North--Holland, 1994, 396--401.
• 10: Egon Börger , Dean Rosenzweig, A mathematical definition of full Prolog, Science of Computer Programming, v.24 n.3, p.249-286, June 1995 [doi>10.1016/0167-6423(95)00006-E]
• 11: Börger, E. and Rosenzweig, D. The WAM -- Definition and Compiler Correctness. In C. Beierle and L. Plümer, eds., Logic Programming: Formal Methods and Practical Applications. Studies in Computer Science and Artificial Intelligence, Elsevier Science B.V./North-Holland, 1995, 20--90.
• 12: Dean Rosenzweig , Egon Börger , Yuri Gurevich, The bakery algorithm: yet another specification and verification, Specification and validation methods, Oxford University Press, Inc., New York, NY, 1995
• 13: Yuri Gurevich , Dean Rosenzweig, Partially Ordered Runs: A Case Study, Proceedings of the International Workshop on Abstract State Machines, Theory and Applications, p.131-150, March 19-24, 2000
• 14: Rosenzweig, D., Runje, D., and Slani, N. Privacy, Abstract Encryption and Protocols: An ASM Model -- Part I. In E. Börger et al., eds., Abstract State Machines, Advances in Theory and Practice, 10th International Workshop (ASM 2003) (Taormina, Italy, March 3-7, 2003). Springer LNCS vol. 2589, 2003, 372--390.
• 15: Rosenzweig, D. and Runje, D. The Cryptographic Abstract Machine. In W. Zimmermann and B. Thalheim, eds., Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop (ASM 2004) (Lutherstadt Wittenberg, Germany, May 24-28, 2004). Springer LNCS vol. 3052, 2004, 202--217.
• 16: Rosenzweig, D., Runje, D., and Schulte, W. Model-Based Testing of Cryptographic Protocols. In R. De Nicola and D. Sangiorgi, eds., Trustworthy Global Computing, International Symposium (TGC 2005) (Edinburgh, UK, April 7-9, 2005). Springer LNCS vol. 3705, 2005, 33--60.
• 17: Rosenzweig, D. and Runje, D. Some Things Algorithms Cannot Do. Microsoft Research Technical Report MSR-TR-2005-52, 2005.
• 18: Blass, A., Gurevich, Y., Rosenzweig, D., and Rossman, B. Interactive Small-Step Algorithms I: Axiomatization. Logical Methods in Computer Science, to appear. A preliminary version appeared as Microsoft Research Technical Report MSR-TR-2006-170, November 2006.
• 19: Blass, A., Gurevich, Y., Rosenzweig, D., and Rossman, B. Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem. Logical Methods in Computer Science, to appear. A preliminary version appeared as Microsoft Research Technical Report MSR-TR-2006-171, November 2006.
• 20: Börger, E. A Tribute to Dean Rosenzweig. http://www.eecs.umich.edu/gasm/dean.html
• 21: Gurevich, Y. Abstract State Machines: Remembering Dean Rosenzweig. http://www.eecs.umich.edu/gasm/dean.html

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Invariants

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Specification techniques; Mechanical verification

General Terms:
Security, Theory, Verification

Keywords:
cryptographic abstract machine, cryptographic protocols, model-based testing