网构软件的随机性资源自适应性的形式化分析与验证

网构软件的随机性资源自适应性的形式化分析与验证

夏琦王忠群

Formal analysis and verification of randomness resources for Internetware

XIA Qi WANG Zhong-qun

计算机应用 . 2012, (11): 3067 -3070 . DOI: 10.3724/SP.J.1087.2012.03067