فیلتر نتایج
مقاله ژورنالی
A MODEL FOR SPECIFICATION OF CRYPTOGRAPHIC PROTOCOLS AND ITS OPERATIONAL INTERPRETATION WITH ALGEBRAIC METHODS
نویسندگان: سعید جلیلی، بهروز ترک لادانی
سال انتشار 1382
محل انتشار: فصلنامه مهندسی برق مدرس شماره 1، دوره 3
تعداد صفحات: 19 | زبان: انگلیسی
مقاله ژورنالی
Lightweight secure message transfer protocol based on ECC (Nist P-۲۵۶) Internet of Things equipped with satellite communications
نویسندگان: Mahdi Baghaei Jezehei، Seyed Ahmad Olamaei، Ali Broumandnia
سال انتشار 1404
محل انتشار: مجله آنالیز غیر خطی و کاربردها شماره 4، دوره 16
تعداد صفحات: 10 | زبان: انگلیسی
مقاله کنفرانسی
An Automatic Security Verifier based on Horn clauses
نویسندگان: Nasim Nemati
سال انتشار 1392
محل انتشار: همایش مهندسی کامپیوتر و توسعه پایدار با محوریت شبکه های کامپیوتری، مدلسازی و امنیت سیستم ها
تعداد صفحات: 8 | زبان: انگلیسی