Discussion on Secure Protocol Proof based on Universally Compostable Model
Yuliang Liu · Xinxi wangluo anquan · 2012
This article summarizes universally compostable model that is one of the most popular models for designing secure protocols. The motivations, proof objectives, and proof procedures are analyzed in details. The proof processes are illustrated by presenting a secure protocol for public key encryption. The principles of using UC model are given finally.