Qiong Pu, Jianmin Ding. Paradox Stems from the Security Model or the Security Proof?. In 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, 20-22 December 2008, Shanghai, China, 2 Volumes. pages 682-685, IEEE Computer Society, 2008. [doi]
Abstract is missing.