محمد عبداللهی ازگمی
[ 1 ] - بررسی فنون نرم‌افزاری تحمل‌پذیری خطای گذرا در نرم‌افزارهای ماهواره
نرم‌افزار ماهواره از جمله کاربردهایی است که با توجه به محیط عملیاتی پرتشعشع، در معرض انوع خطاهای گذرا یا اشکال‌های نرم قرار دارد. این نوع خطاها باعث وقوع اشکال در اجرای نرم‌افزارهای ماهواره می‌شوند. طراحان ماهواره با استفاده از روش‌های حفاظت سخت‌افزاری (شیلدینگ) و طراحی مبتنی بر قطعات مقاوم، به مقابله با این خطاها می‌پردازند. اما عیب این روش‌ها به‌طور کلی افزایش هزینه، وزن، مصرف توان الکتریکی و...
[ 2 ] - یک مدل اعتماد دارای تحمل‌پذیری در برابر رفتار کاربران بدخواه
مروزه با وجود سازوکارهای دفاعی و روش‌های درستی‌یابی، درصدی از آسیب‌پذیری‌های امنیتی در سامانه‌ها باقی می‌ماند. بنابراین، محافظت از سامانه‌ها در برابر تمامی رفتارهای بدخواهانه و حملات امنیتی تقریباً غیرممکن است. اگر اقدامات لازم برای مقابله با تأثیرات طیف گسترده‌ای رفتارهای بدخواهانه بر روی سامانه به کار گرفته نشود، منجر به نفوذ و نقض ویژگی‌های امنیتی سامانه خواهند شد .سامانه‌های تحمل‌پذیر نفوذ ب...
[ 3 ] - Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
[ 4 ] - Quantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
[ 5 ] - امید ریاضی نرخ پوشش برای ماتریس‌های هلمن
Hellman’s time-memory trade-off is a probabilistic method for inverting one-way functions, using pre-computed data. Hellman introduced this method in 1980 and obtained a lower bound for the success probability of his algorithm. After that, all further analyses of researchers are based on this lower bound. In this paper, we first studied the expected coverage rate (ECR) of the Hellman matrice...
[ 6 ] - Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
نویسندگان همکار