مطالب پایگاه
اعضای هیات علمی
اینترنت
پست الکترونیک
اتوماسیون اداری و مکاتبات
پورتال آموزشی و پژوهشی
سامانه آموزش الکترونیک
مدیریت یادگیری - دروس حضوری
VPN
پورتال تغذیه
پیگیری نامه
ویرایش رزومه اساتید
اعضای هیات علمی
سامانه ارتقای اساتید(اوج)
سامانه جامع نظام پیشنهادها
دفتر تلفن
تلویزیون تحت شبکه
پایگاه نرم افزار
سامانه جلسات Online
راهنماها
مدیریت حساب کاربری
میز خدمت الکترونیک
کتابخانه دیجیتال
سامانه یکپارچه کتابخانهها
سامانه مدیریت یکپارچه آموزش کارکنان
پست الکترونیک:
msfallah
aut.ac.ir
aut.ac.irشماره تماس:
h-index (Scopus):
5.00
ارجاعات (Scopus):
167
رسالههای دکتری
#
عنوان پایاننامه
توسط
تاریخ دفاع
1
راستی آزمایی زمان اجرا برای فراویژگی ها در سامانه های واکنشی
مرتضی دامن افشان
دی 1402
2
سرشتنمایی اعمال پویای جریان اطلاعات امن در زبان های برنامه سازی
فاطمه ایمانی مهر
مهر 1397
3
LFSR موازی با سرعت بالا و توان مصرفی پایین
بهروز ذوالفقاری و مهدی صدیقی
مهر 1397
4
یک منطق زمانی دانش برای درستی یابی صوری پروتکل های تصدیق اصالت
شرر احمدی
بهمن 1396
5
شناسایی منشاء انتشار کرم واره و بازسازی مسیر ان بر مبنای احتمال الودگی
طلا تفضلی و بابک صادقیان
مهر 1396
6
سرشتنمایی صوری بازنویسی امنیتی برنامه
افشین لامعی
مهر 1395
7
امنیت جریان اطلاعات در برنامه سازی چند ریسه ای شی ء گرا
زینب ایرانمنش
شهریور 1395
8
منطقی غیر یکنوا برای توصیف و اعمال خط مشی های کنترل دسترسی در محیط های محاسباتی فراگیر
علی نوراللهی راوری
اسفند 1394
9
مدل سازی و تحلیل نوع - مبنای پروتکل های تصدیق اصالت با وجود حمله های داخلی
بهنام ستارزاده
بهمن 1394
پایاننامههای کارشناسی ارشد
#
عنوان پایاننامه
توسط
تاریخ دفاع
1
بهبود سودمندی سامانه های توصیه گر پاس دار حریم خصوصی تفاضلی محلی بر پایه فیلتر مشارکتی
ریحانه حسن رحیمی
شهریور 1404
2
شناسایی تراکنش های غیرقانونی بلاکچین با استفاده از یادگیری ماشین
علی لاغری فیروزجائی
شهریور 1404
3
بهبود سودمندی مکانیزم های حافظ حریم خصوصی تفاضلی محلی برای پردازش شبکه های اجتماعی
اذردخت طیرانی راد
شهریور 1404
4
ایجادچارچوب برای یک سامانه اینترنت اشیاء در اکوسیستم تعریف شده جهت ارتقاء کیفیت
زهرا توسلی زانیانی و احمد عبداله زاده بارفروش
فروردین 1404
5
یک سیستم توصیه کننده غیرمتمرکز با استفاده از قراردادهای هوشمند
علی زال
اسفند 1403
6
بهبود تشخیص ناهنجاری رفتاری در سامانه های مبتنی بر معماری ریز خدمت
سبحان کیانی و احمد عبداله زاده بارفروش
دی 1403
7
کاهش نرخ مثبت اشتباه در آزمون عینی نمادین قراردادهای هوشمند
محمدعلی موحدراد
تیر 1403
8
حریم خصوصی تفاضلی برای نگاشت کاهش بر روی ابر مهاجم
هادی صداقت زاده گان اصفهانی
بهمن 1402
9
حریم خصوصی تفاضلی محلی برای داده های همبسته یال در شبکه های اجتماعی
وجیهه ترحمی
مرداد 1401
10
آزمون فاز هدایت شده مبتنی بر توصیف آسیب پذیری
امیرعباس کبیری زمانی
بهمن 1400
11
آزمون عینی نمادین قراردادهای هوشمند به منظور کشف آسیب پذیری ها
مریم السادات طباطبائی
شهریور 1400
12
بازنویسی برنامه های جاوااسکریپت برای اعمال خط مشی های حریم خصوصی احتمالاتی
مهدیه حجازی
شهریور 1399
13
راستی آزمایی برنامه های کاربردی وب امن با استفاده از شبکه های پتری رنگی سلسله مراتبی جنبه گرا
زینب بناءیزدی
شهریور 1398
14
آزمون امنیتی مبتنی بر مدل برای سیستم های بی درنگ با استفاده از شبکه های پتری زمانی
طناز ضامنی
بهمن 1397
15
ارائه یک طرح قابل اثبات امن برای تکرار برداری داده ها در فضای ابر
فائزه نصرآبادی
دی 1397
16
بهبود مکانیزم های مبتنی بر چند اجرایی برای اعمال خط مشی های جریان اطلاعات
سیدمحمدمهدی احمدپناه
شهریور 1396
17
ارتقای زبان Haskell به منظور اعمال خط مشی های امنیتی بیان شده در قالب مدل بر چسب غیر متمرکز
محمدحسین نصراله پور
تیر 1396
18
بررسی زمان اجرای امنیت جریان اطلاعات در گوشی های هوشمند
کیوان کریمی
بهمن 1395
19
.
نهال شاهینی
تیر 1395
20
برش پویا به منظور وارسی امنیت جریان اطلاعات در برنامه های همروند
محمد قربانی
بهمن 1394
21
تفسیر انتزاعی برای وارسی امنیت جریان اطلاعات در زبان های دارای ویژگی فراخوانی تابع
سیامک حاتمی
بهمن 1394
22
مدیریت اعتماد در شبکه های اجتماعی با استفاده از نظریه بازی ها
منصوره سلطانی مارگانی
شهریور 1394
23
درستی نمایی اثبات صفر-دانش در پروتکل های رای گیری الکترونیکی با رویکرد زبان مبنا
جمیله خلیلی شهروز
بهمن 1393
24
ارائه نوع سامانه برای کنترل دسترسی تفویضی همراه با امکان گرفتن توانائی ها و تغییر مالکین منابع
مسعود غفاری نیا
آذر 1393
25
مدیریت اعتماد در شبکه های سیار موردی با استفاده از نظریه بازی ها
شبنم سراجی
مهر 1393
26
رویکردی مبتنی بر زبان برای پیشگیری از ریس داده ها
علی قنبری
مهر 1393
27
امنیت ترکیبی با استفاده از روشهای زبان مبنا در زبان مدلی برای جاوا
کوشان عابدیان
شهریور 1393
28
یک روش ترکیبی برای تحلیل آسیب پذیری های برنام های کاربردی با استفاده از تکنیک های ایستا و پویا و نظارت زمان اجرا
مهدی ازوری گهرویی
شهریور 1393
29
اعمال عدم تداخل غیرحساس به جریان از طریق بازنویسی برنامه در یک زبان مدل جاوا
سیدعلی رضا سیادت
بهمن 1392
30
اعمال خودکار خط مشی های امنیتی تعریف شده توسط کاربر در برنامه نویسی شی گرا
سیدمهدی فدائی
بهمن 1392
31
مدلسازی یادگیری در محیط های آمیخته به خصومت با استفاده از بازی های پویا
عباس تهرانی فر
تیر 1392
32
اعمال ایستای عدم تداخل در حساب همروند lambda
سروش سرداری
بهمن 1391
33
اعمال ایستای امنیت جریان اطلاعات کمی در middleweight java
گوهر شکوری گرکانی
بهمن 1391
34
ارائه یک معنا شناخت مبتنی بر سیستم انتقال بر چسب دار برای حساب piکاربردی احتمالاتی
میترا جزناظمیان
اسفند 1390
35
بهبود مکانیزم های شهرت با استفاده از مدل مارکوف جهت تشخیص حملات ممانعت از سرویس لایه کاربرد
ارمین ایمانی
اسفند 1390
36
اعمال توکار صحت جریان کنترل برای بایت کد جاوا
مهدیه کربلایی هادی
اسفند 1390
37
کاهش فضای حالت در آزمون فرمولهای CTLXبا ترکیب روش های کاهش ترتیب جزئی و آزمون مدل کراندار
حسن ارفعی نیا
بهمن 1390
38
معنا شناخت دلالتی برای کنترل دسترسی در حسابهای وابستگی چند ریخت
سپهر امیرمحمدیان
مهر 1390
39
توسعه ای بر xcap برای اثبات درستی کدهای اسمبلی شامل ورودی و خروجی
زهره حمیدی
تیر 1390
40
بهبود کنترل دسترسی با روش های مبتنی بر معنا در محیط فراگیر
زهرا اسلامی
خرداد 1390
41
ارائه سیستم نوع برای حساب مبتنی بر lambda به منظور وارسی ایستای خط مشی های امنیتی
ارش افشار
اسفند 1389
42
ارائه حسابی مشتق از حساب ? برای مدل سازی و درستی سنجی پروتکل های رمز نگاری
علی لاهیجانی امیری
شهریور 1389
43
بهبود سیستمهای شهرت برای مدیریت اعتماد در شبکه های سیار موردی با استفاده از نظریه بازی ها
مریم موزرانی
تیر 1389
44
طراحی مکانیزم جلوگیری از تبانی نودهای بدخواه و خود خواه در مسیریابی و جلورانی بسته ها در شبکه های سیار موردی با استفاده از نظریه بازی ها
سعیده علی محمدی
تیر 1389
45
دفاع معماگونه در مقابل حملات پهنای باند با استفاده از نظریه بازیها
مزدک علی مددی
تیر 1388
46
بهبود مکانیزم های تشویق به همکاری در شبکه های موردی سیار با استفاده از نظریه بازی ها
ابراهیم خلیل زاده
تیر 1388
47
مقابله واکنشی با حمله های پهنای باند با به کارگیری روشهای یادگیری ماشین در فیلترینگ توزیع شده
نفیسه کاهانی
تیر 1388
48
یک حساب جبری برای مدیریت اعتماد در وب معنایی
آزاده نعمت زاده چکوور
اردیبهشت 1387
49
مدلسازی و بهبود روشهای ابطال گواهی کلید عمومی در شبکه های سیار موردی
افشین لامعی
دی 1386
50
ایجاد همکاری بین گره هاو افزایش قابلیت دسترسی به سرویس در شبکه های سیار بی سیم موردی بااستفاده از نظریه بازی ها
ازاده عمرانی
اردیبهشت 1386
51
مقایسه ادغام مکانیزمهای مختلف ردیابی IP در مکانیزم فیلترینگ به منظور مقابله باحملات ممانعت از سرویس
کبری خان محمدی
اسفند 1385
52
سازو کار پاس دار حریم خصوصی تفاضلی محلی برای شمارش K مثلث در شبکه های اجتماعی
محمدجواد محمدپور
خرداد 1405
مقالات مجلات
1
Edalat Ehsan ، FALLAH MEHRANS.,
"Differential privacy with semantic neighboring: a notion of privacy for personalization services",
Computer Journal,
vol. ,
no. 69,
pp.1-26,
2026.
2
DAMANAFSHAN MORTEZA ، FALLAH MEHRANS.,
"Monitorable Hyperproperties of Nonterminating Systems",
Journal of Logical and Algebraic Methods In Programming,
vol. 128,
no. 1,
pp.1-33,
2022.
3
AHMADI SHARAR ، FALLAH MEHRANS. ، POURMAHDIAN MASOUD,
"On the Properties of Epistemic and Temporal Epistemic Logics of Authentication",
Informatica,
vol. 43,
no. 0,
pp.161-175,
2019.
4
ZOLFAGHARI BEHROUZ ، SEDIGHI MEHDI ، FALLAH MEHRANS.,
"Designing programmable parallel LFSR using parallel prefix trees",
Journal of Engineering Research,
vol. 7,
no. 3,
pp.105-122,
2019.
5
IMANIMEHR FATEMEH ، FALLAH MEHRANS.,
"On transparent value-sensitive run-time monitoring for information flow policies",
Computer Languages Systems and Structures,
vol. 54,
no. 1,
pp.273-296,
2018.
6
AHMADI SHARAR ، FALLAH MEHRANS.,
"An omniscience-free temporal logic of knowledge for verifying authentication protocols",
Bulletin of The Iranian Mathematical Society,
vol. 44,
no. 1,
pp.1-23,
2017.
7
IRANMANESH ZEINAB ، FALLAH MEHRANS.,
"Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java",
Journal of Object Technology,
vol. 16,
no. 3,
pp.1-31,
2017.
8
ZOLFAGHARI BEHROUZ ، FALLAH MEHRANS. ، SEDIGHI MEHDI,
"S-Restricted Compositions revisited",
Discrete Mathematics and Theoretical Computer Science,
vol. 19,
no. 1,
pp.1-19,
2017.
9
SERAJI SHABNAM ، FALLAH MEHRANS.,
"A Bayesian Game of Whitewashing in Reputation Systems",
Computer Journal,
vol. 0,
no. 0,
pp.1-15,
2017.
10
LAMEI AFSHIN ، FALLAH MEHRANS.,
"Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values",
Journal of Universal Computer Science,
vol. 22,
no. 7,
pp.956-991,
2016.
11
IRANMANESH ZEINAB ، FALLAH MEHRANS.,
"Specification and Static Enforcement of Scheduler-Independent Noninterference in a Middleweight Java",
Computer Languages Systems and Structures,
vol. 46,
no. 2,
pp.1-24,
2016.
12
IMANIMEHR FATEMEH ، FALLAH MEHRANS.,
"How Powerful Are Run-time Monitors with Static Information?",
Computer Journal,
vol. 0,
no. 0,
pp.1-14,
2016.
13
SATARZADEH BEHNAM ، FALLAH MEHRANS.,
"Automated Type-Based Analysis of Injective Agreement in the Presence of Compromised Principals",
Journal of Logic and Algebraic Programming,
vol. 84,
no. 1,
pp.1-35,
2015.
14
NOORPLLAHI RAVARI ALI ، FALLAH MEHRANS.,
"A Nonmonotonic Modal Authorization Logic for Pervasive Computing",
Security and Communication Networks,
vol. 7,
no. 7,
pp.1-15,
2014.
15
SATARZADEH BEHNAM ، FALLAH MEHRANS.,
"Typing secure implementation of authentication protocols in environments with compromised principals",
Security and Communication Networks,
vol. 6,
no. 1,
pp.1-16,
2013.
16
AMIR-MOHAMMADIAN SEPEHR ، FALLAH MEHRANS.,
"Noninterference in a predicative polymorphic calculus for access control",
Computer Languages Systems and Structures,
vol. 39,
no. 4,
pp.1-15,
2013.
17
FALLAH MEHRANS. ، KAHANI NAFISEH,
"TDPF: A Traceback-based Distributed Packet Filter to Mitigate DDoS Attacks",
Security and Communication Networks,
vol. 7,
no. 1,
pp.1-20,
2013.
18
FALLAH MEHRANS. ، MOUZERANI MARYAM,
"A Game?Based Sybil?Resistant Strategy for Reputation Systems in Self?Organizing MANETs",
Computer Journal,
vol. 0,
no. 0,
,
2011.
19
FALLAH MEHRANS.,
"A Puzzle -Based Defense Strategy AGainst Flooding Attacks Using Game Theory",
Ieee Transactions On Dependable and Secure Computing,
vol. ,
no. ,
,
2009.
20
JANZADEH HAMED ، FAYAZBAKHSH SEYED KAVEH ، DEHGHAN TAKHT FOOLADI MEHDI ، FALLAH MEHRANS.,
"A secure credit-based cooperation stimulating mechanism for MANETs using hash chains",
,
vol. ,
no. 25,
,
2009.
21
OMRANI AZADEH ، FALLAH MEHRANS.,
"A Game -Theoretic Cooperation Stimulus Routing Protocol in Manets",
,
vol. ,
no. 19,
,
2008.
22
FALLAH MEHRANS. ،,
"Service Availability in Concurrent Systems-Part II:Analysis and Case Studies Using HSIP",
Computer Journal,
vol. ,
no. 5,
,
2007.
23
FALLAH MEHRANS. ،,
"Service Availability in Concurrent Systems-Part I:A Theory of Hierarchical Services of Interacting Processes",
Computer Journal,
vol. ,
no. 5,
,
2007.
24
، FALLAH MEHRANS.,
"A framework for the analysis of denial of service attacks",
Computer Journal,
vol. ,
no. 2,
,
2004.
مقالات همایشها
1
Nafiseh Kahani ، FALLAH MEHRANS.,
"A Reactive Defense Against Bandwidth Attacks Using Learning Automata,",
International Conference on Availability, Reliability and Security,
Aug 2018.
2
GHORBANI MOHAMMAD ، FALLAH MEHRANS.,
"Run-time Verification for Observational Determinism Using Dynamic Program Slicing,",
Information Security Conference(ISC 2017),
Nov 2017.
3
SHAKOURI GARE KANI GOHAR ، FALLAH MEHRANS. ، IRANMANESH ZEINAB,
"A Type System for Quantified Information-Flow Security in Java-Like Languages,",
International Workshop on Software Assurance-International Conference on Availability, Reliability and Security,
Aug 2016.
4
AFSHAR ARASH ، FALLAH MEHRANS.,
"Reconstructing Security Types for Automated Policy Enforcement in FABLE,",
The 5th International Conference on Network and System Security,
Sep 2011.
5
ALI MADADI MAZDAK ، FALLAH MEHRANS.,
"A Distributed Client-Puzzle Mechanism to Mitigate Bandwidth Attacks,",
5th International Conference on Network and System Security-NSS 2011,
Sep 2011.
6
SATARZADEH BEHNAM ، FALLAH MEHRANS.,
"Is Cryptyc Able to Detect Insider Attacks?,",
8th International Workshop on Formal Aspects of Security and Trust-FAST 2011,
Sep 2011.
7
AFSHAR ARASH ، FALLAH MEHRANS.,
"Reconstructing Security Types for Automated Policy Enforcement in FABLE,",
5th International Conference on Network and System Security-NSS 2011,
Sep 2011.
8
NOORPLLAHI RAVARI ALI ، FALLAH MEHRANS.,
"A Logical View of Nonmonotonicity in Access Control,",
International Conference on Security and Cryptography-Secrypt 2011,
Jul 2011.
9
، FALLAH MEHRANS.,
"HWSC An automatic web services composer,",
Jun 2009.
10
OMRANI AZADEH ، FALLAH MEHRANS.,
"Stimulating cooperation in MANETs using game theory,",
Jul 2007.
11
KHANMOHAMMADI KOBRA ، FALLAH MEHRANS.,
"Distributed packet filtering based on IP traceback,",
Dec 2006.
دروس ارائه شده
#
عنوان درس
توصیف درس
سرفصل ها
دوره درسی
1
Design of Programming Languages
4051
2
Computer Networks Lab
4051
3
Logic Design Lab
4051
4
Logic Design Lab
4051
5
Logic Design Lab
4051
6
Logic Design Lab
4051
7
Logic Design Lab
4051
8
Logic Design Lab
4051
9
Logic Design Lab
4051
10
Microprocessor and Assembly Language Lab.
4051
11
Discrete Mathematics
آشنا نمودن دانشجویان با ساختمانهای ریاضی و کاربرد آنها در مهندسی و علوم کامپیوتر
4042
12
Program Specification and Verification
این درس دانشجویان را با فنون و مهارتهایی از تحلیل برنامه آشنا می سازد که به طور گسترده به منظور بهبود بهره وری، اتکاپذیری، و امنیت در ابزا
4042
13
(Algorithmic Game Theory)
4041
14
Programming Languages
4041
15
Discrete Mathematics
4032
16
Discrete Mathematics
4032
17
Discrete Mathematics TA
4032
18
Discrete Mathematics TA
4032