プロトコルの安全性証明で使われてるシミュレータの概念がよくわからないのですが，
何かお勧めの文献あれば教えてください