The squirrel prover and its logic

HIGHLIGHTS

• What: The authors provide high-level introduction to logic behind and briefly describe some of interesting technical challenges encountered during its construction. The authors elaborate on this in Section 3 to show how protocols can be modeled in C CSA logic, discussing a subtle issue w.r.t. the intended notion of security. The authors provide a first set of inference rules in Figure 2. When proving a property, the authors show that it holds (up to negligible probability) in all models of the logic, and the model includes the interpretation of the order on timestamps, i . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.