9223

COM2 184

كارشناسي ارشد

كامپيوتر گرايش هوش مصنوعي

دانشكده فني مهندسي، گروه كامپيوتر

1389

110ص

بهروز ترك لاداني

رمزنگاري , پروتكل احراز اصالت , برنامه نويسي ژنتيك , وارسي پروتكل احراز اصالت , روش محاسباتي , آسيب پذيري

3/5/91

اعظم خراساني

Cryptography , Authentication protocols , Genetic programming , Authentication protocol verification , Computational method , Vulnerability

Automatic verification of authentication protocols using Genetic programming