Errors in Computational Complexity Proofs for Protocols.
Kim-Kwang Raymond ChooColin BoydYvonne HitchcockPublished in: ASIACRYPT (2005)
Keyphrases
- computational complexity
- np complete
- high computational complexity
- decision problems
- special case
- computationally efficient
- theorem prover
- theorem proving
- communication protocols
- rate distortion
- computational efficiency
- security protocols
- error propagation
- mathematical knowledge
- neural network
- cryptographic protocols
- storage requirements
- memory requirements
- computational cost
- multi agent systems
- video sequences
- case study