LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 379-381 of 486

    • On the Security of the Merkle-Hellman Cryptographic Scheme 

      Shamir, Adi; Zippel, Richard E. (1978-12)
      In this paper we show that a simplified version of the Merkel-Hellman public-key cryptographic system is breakable. While their full-fledged system seems to be resistant to the cryptanalytic attack we propose, this result ...

    • Data Model Equivalence 

      Borkin, Sheldon A. (1978-12)
      The current proliferation of proposals for database system data models and the desire for database systems which support several different data models raise many questions concerning "equivalence properties" of different ...

    • Six Lectures on Dynamic Logic 

      Pratt, Vaughan R. (1978-12)
      The distinction made there between static and dynamic logic has a very simple character, yet can play a central and unifying role in logic as a vantage point from which one can compare propositional calculus, predicate ...