Universal composable katanya punya kelebihan bisa menganalisa protokol secara modular namun menjamin keamanannya walaupun dipasang pada sistem yang lebih besar. Euit jangan binun dulu. UC sebenarnya sederhana saja uji protokol secara modular dan bandingkan dengan jalannya protokol ideal bila tidak ada beda (sulit untuk dibedakan) berarti protokol o.k punya.
Protokol, lingkungan protokol dijalankan dan musuh (adversari) direpresentasikan sebagai Interactive Turing Machine (ITM). Sama seperti Turing Machine biasa yang punya program, state, dan pita ITM punya pita khusus yang bisa dibaca dan tulis oleh mesin lain. Jalannya protokol sebagai berikut:
1. Awalnya mesin lingkungan dijalankan (teraktivasi) mesin ini adalah inisiator protokol dan juga berhenti ketika semua interaksi tidak ada lagi.
2. Kemudian lingkungan mengaktivasi adversari, adversari dapat mengirim pesan ke protokol dan/atau lingkungan dan dapat mengkorupsi party yang menjalankan protokokl
3. Protokol mengikuti programnya dan bertindak seperti program yang diberikan.
Misalnya kita punya proses yang ideal yang merupakan pengejawantahan permintaan. Maka protokol yang diuji harus tidak bisa dibedakan dengan jalannya protokol ideal.
Lebih jauh bisa lihat:
http://domino.research.ibm.com/comm/research_projects.nsf/pages/security.UC.html
Oh ya saya buat presentasinya hari ini:
