Universally composable secure geographic area verification without pre-shared secret.
Junwei ZhangNing LuJianfeng MaChao YangPublished in: Sci. China Inf. Sci. (2019)
Keyphrases
- secret sharing
- cryptographic protocols
- integrity verification
- secret sharing scheme
- high security
- model checking
- secure communication
- secret key
- face verification
- security requirements
- functional verification
- signature verification
- geographic information
- formal verification
- key distribution
- formal analysis
- secret data
- verification method
- multi party
- formal methods
- data sets
- visual cryptography
- geographic information retrieval
- authentication protocol
- standard model
- security protocols