Login / Signup

Formal Analysis of PKCS#11.

Stéphanie DelauneSteve KremerGraham Steel
Published in: CSF (2008)
Keyphrases
  • formal analysis
  • java card
  • agent model
  • formal methods
  • ban logic
  • real time