DMCA

The IITM Model: a Simple and Expressive Model for Universal Composability (2013)

by Ralf Küsters , Max Tuengerthal
Citations:7 - 1 self