Login / Signup

Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS.

Reynald AffeldtDavid NowakKiyoshi Yamada
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
  • database
  • theorem prover
  • key management
  • databases
  • formal model
  • inference rules
  • data sets
  • knowledge base
  • smart card