Login / Signup

Formal Analysis of Protocols Based on TPM State Registers.

Stéphanie DelauneSteve KremerMark Dermot RyanGraham Steel
Published in: CSF (2011)
Keyphrases
  • formal analysis
  • formal methods
  • state space
  • payment protocol
  • agent model