ایبوک Secure Transaction Protocol Analysis: models and A این کتاب ارزشمند 238 صفحه ای نوشته Qingfeng Chen Chengqi Zhang Shichao Zhang و منتشر شده در انتشارات معتبر springer است. مطالبی چون: Introduction،Overview of Security Protocol Analysis،Formal Analysis of Secure Transaction Protocols،Uncertaint