Login / Signup

Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme.

Ronald ToeglGeorg HofferekKarin GreimelAdrian LeungRaphael Chung-Wei PhanRoderick Bloem
Published in: ICYCS (2008)
Keyphrases
  • formal analysis
  • agent model
  • formal methods
  • data storage
  • case study
  • data management
  • ban logic