فیلتر نتایج
مقاله کنفرانسی
Trust Modeling and Verification Using Colored Petri Nets
نویسندگان: Amir Jalaly Bidgoly، Behrouz Tork Ladani
سال انتشار 1390
محل انتشار: هشتمین کنفرانس انجمن رمز ایران
تعداد صفحات: 8 | زبان: انگلیسی
مقاله کنفرانسی
Towards automatic generation of formal specifications for UML consistency verification
نویسندگان: Mohammadreza Sharbaf، Bahman Zamani، Behrouz Tork Ladani
سال انتشار 1394
محل انتشار: دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری
تعداد صفحات: 6 | زبان: انگلیسی
مقاله ژورنالی
Security Analysis of an EPC Class-۱ Generation-۲ Compliant RFID Authentication Protocol
نویسندگان: Fereidoun Moradi، Hamid Mala، Behrouz Tork Ladani، Fariba Moradi
سال انتشار 1395
محل انتشار: مجله محاسبات و امنیت شماره 3، دوره 3
تعداد صفحات: 12 | زبان: انگلیسی
مقاله ژورنالی
Modeling and Analysis of Rumor Control Strategies in Social Networks
نویسندگان: Mojgan Askarizade، Samad Najafi، Behrouz Tork Ladani
سال انتشار 1401
محل انتشار: مجله مهندسی کامپیوتر و دانش شماره 1، دوره 5
تعداد صفحات: 10 | زبان: انگلیسیمقاله ژورنالی
Efficient and Deception Resilient Rumor Detection in Twitter
نویسندگان: Milad Radnejad، Zahra Zojaji، Behrouz Tork Ladani
سال انتشار 1401
محل انتشار: مجله مهندسی کامپیوتر و دانش شماره 2، دوره 5
تعداد صفحات: 10 | زبان: انگلیسی