Formal analysis and verification of randomness resources for Internetware
XIA Qi WANG Zhong-qun
Journal of Computer Applications . 2012, (11): 3067 -3070 .  DOI: 10.3724/SP.J.1087.2012.03067