Mehran S. Fallah - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2022

Monitorable hyperproperties of nonterminating systemsMorteza Damanafshan, Mehran S. Fallah. jlap, 128:100796, 2022. [doi]

2019

On the Properties of Epistemic and Temporal Epistemic Logics of AuthenticationSharar Ahmadi, Mehran S. Fallah, Massoud Pourmahdian. informaticaSI, 43(2), 2019. [doi]

2018

On transparent value-sensitive run-time monitoring for information flow policiesFatemeh Imani-Mehr, Mehran S. Fallah. Comp. Lang., Syst. \& Struct., 54:273-296, 2018. [doi]

A Reactive Defense Against Bandwidth Attacks Using Learning AutomataNafiseh Kahani, Mehran S. Fallah. IEEEares 2018: [doi]

2017

2016

2015

A nonmonotonic modal authorization logic for pervasive computingAli Noorollahi Ravari, Mehran S. Fallah. scn, 8(6):1077-1091, 2015. [doi]

Automated type-based analysis of injective agreement in the presence of compromised principalsBehnam Sattarzadeh, Mehran S. Fallah. jlp, 84(5):576-610, 2015. [doi]

2014

TDPF: a traceback-based distributed packet filter to mitigate spoofed DDoS attacksMehran S. Fallah, Nafiseh Kahani. scn, 7(2):245-264, 2014. [doi]

Typing secure implementation of authentication protocols in environments with compromised principalsBehnam Sattarzadeh, Mehran S. Fallah. scn, 7(11):1815-1830, 2014. [doi]

2013

Noninterference in a predicative polymorphic calculus for access controlSepehr Amir-Mohammadian, Mehran S. Fallah. Comp. Lang., Syst. \& Struct., 39(3):109-120, 2013. [doi]

2011

2010

A Puzzle-Based Defense Strategy Against Flooding Attacks Using Game TheoryMehran S. Fallah. tdsc, 7(1):5-19, 2010. [doi]

2009

A secure credit-based cooperation stimulating mechanism for MANETs using hash chainsHamed Janzadeh, Kaveh Fayazbakhsh, Mehdi Dehghan, Mehran S. Fallah. fgcs, 25(8):926-934, 2009. [doi]

2007

Service Availability in Concurrent Systems - Part II: Analysis and Case Studies Using HSIPMehran S. Fallah, Ahmad R. Sharafat. cj, 50(5):535-554, 2007. [doi]

Service Availability in Concurrent Systems - Part I: A Theory of Hierarchical Services of Interacting ProcessesMehran S. Fallah, Ahmad R. Sharafat. cj, 50(5):522-534, 2007. [doi]

Stimulating Cooperation in MANETs Using Game TheoryAzadeh Omrani, Mehran S. Fallah. wce 2007: 1558-1564

2004

A Framework for the Analysis of Denial of Service AttacksAhmad R. Sharafat, Mehran S. Fallah. cj, 47(2):179-192, 2004. [doi]

2002

A measure of resilience against denial of service attacks in computer networksAhmad R. Sharafat, Mehran S. Fallah. csse, 17(4/5):259-267, 2002.

Sign in or sign up to see more results.

runs on WebDSL