A property-based testing framework for encryption programs.

Chang-Ai Sun Zuoyi Wang Guan Wang

Published in: Frontiers Comput. Sci. (2014)

Keyphrases

theoretical framework
database
real time
main contribution
key properties
information retrieval
multiscale