Formal Verification of Secret Sharing Protocol Using Coq.
Kok Meng YewM. Zahidur RahmanSai Peck LeePublished in: ASIAN (1999)
Keyphrases
- secret sharing
- formal verification
- model checker
- multi party
- formal methods
- model checking
- secret sharing scheme
- visual cryptography scheme
- automated verification
- bounded model checking
- privacy preserving
- description language
- temporal logic
- artificial intelligence
- formal specification
- secret image
- encryption scheme
- theorem prover
- lightweight
- multiresolution
- key management
- visual cryptography