Login / Signup

Certifying assembly with formal security proofs: The case of BBS.

Reynald AffeldtDavid NowakKiyoshi Yamada
Published in: Sci. Comput. Program. (2012)
Keyphrases
  • intrusion detection
  • network security
  • theorem proving
  • database
  • statistical databases
  • biometric systems
  • security systems
  • knowledge base
  • database systems
  • security requirements
  • computer security
  • security management