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:

presentation_uc_01_full