A security analysis of Probabilistically Checkable Proofs.
Eli Ben-SassonIddo BentovAriel GabizonMichael RiabzevPublished in: Electron. Colloquium Comput. Complex. (2016)
Keyphrases
- security analysis
- smart card
- public key
- security model
- high security
- security requirements
- stochastic logic programs
- user authentication
- security properties
- encryption algorithm
- image encryption
- authentication protocol
- authentication scheme
- multiresolution
- mutual authentication
- encryption scheme
- fine grained
- databases