LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 121-123 of 486

    • Forward and Backward Simulations Part II: Timing-based Systems 

      Lynch, Nancy A.; Vaandrager, Frits (1993-03)
      A general automaton model for timing-based systems is presented and is used as the context for developing a variety of simulation proof techniques for such systems. These techniques include (1) refinments, (2) forward and ...

    • Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486) 

      Lynch, Nancy A.; Vaandrager, Frits (1993-03)
      A unified, comprehensive presentation of simulation techniques for verification of concurrent systems is given, in terms of a simple untimed automaton model. In particular, (1) refinements, (2) forward and backward ...

    • Failsafe Key Escrow Systems (Extended Abstract) 

      Leighton, Tom (1994-08)
      This paper describes a method for escrowing cryptographic keys, which we call Failsafe Key Escrow (FKE). The method is substantially more secure than alternative such as the Fair Public Key Cryptosystem approach advocated ...