Login / Signup

Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar.

Hiroyuki OkazakiYuichi FutaYasunari Shidama
Published in: Artif. Intell. Res. (2013)
Keyphrases
  • finite number
  • sample space
  • small sample size
  • neural network
  • decision trees
  • sample size
  • biometric systems
  • security issues
  • security protocols
  • public key cryptography
  • high assurance