请利用BAN 逻辑试证明NSPK 协议的安全性

img


如图，两方I和R，过程类似图2。

img