阅读Ran Canetti教授的《Universally Composable Security: A New Paradigm for Cryptographic Protocols》,初次接触UC框架,感叹于Canetti教授的建模能力,让原本复杂的的安全协议都能用数学来形式化的建模。但同时也体会到,安全性证明是有局限性的,对于现实的建模是有难度的。放几张论文中的图体会一下。
E Canetti,C Stewart - Farrar, Straus and Giroux 被引量: 51发表: 1984年 Pomegranate growing in Turkey Pomegranate is mainly grown in the Aegean, Mediterranean and Southeastern Anatolia regions of Turkey, one of the crop's native lands. Its cultivation has b... AI Özgüven,C Yilmaz 被引...