یک گام فراتر از پروتکل رفتاری
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
- نویسنده رضا علیپورفرد
- استاد راهنما آیاز عیسی زاده جابر کریمپور
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1390
چکیده
یکی از مراحل تعیین مشخصات سیستم در گام تحلیل، تعیین رفتار سیستم می باشد که در این مرحله مشخص می شود چه اتفاقی باید در هر حالت سیستم رخ دهد. به همین منظور تحلیلگر در انتخاب زبان های صوری یا غیرصوری برای نشان دادن رفتار سیستم بر سر دو راهی قرار می-گیرد. پس از تصمیم گیری در استفاده از زبان های صوری یا غیرصوری، تحلیلگر برای تعیین مشخصات سیستم با توجه به نیازمندی های سیستم و قابلیت های زبان ها می بایست یک زبان را انتخاب نماید. در این پایان نامه پس از معرفی زبان های صوری و غیرصوری، مقایسه ای میان این زبان ها صورت گرفته است. با توجه به دقت و قابلیت اطمینان زبان های صوری، در گام بعد به بررسی دقیق تر این زبان ها پرداخته ایم. از آنجایی که ما بدنبال زبانی برای تعیین رفتار سیستم می-باشیم، مناسب ترین زبان صوری برای این منظور را انتخاب می نمائیم. ما معتقدیم زبان پروتکل رفتاری دقیق ترین و در عین حال ساده ترین زبان صوری برای تعیین رفتار سیستم می باشد و عملی بودن استفاده از این زبان را در قالب یک مثال بررسی می نماییم. در نهایت امنیت سیستم هایی که تعیین رفتار آنها در مرحله تحلیل با استفاده از این زبان صورت گرفته است را مورد بررسی قرار خواهیم داد و تلاش می کنیم تا یک راهکار امنیتی در مرحله تحلیل سیستم در نگارش زبان مولفه ها اضافه نمائیم در نتیجه امنیت سیستم تحلیل شده با زبان پروتکل رفتاری تضمین گردد.
منابع مشابه
زیپرشین، فراتر از یک ابزار ریاضینویسی
نه تنها بسیاری از مردم از کاربردهای ریاضیات در زندگی آگاه نیستند بلکه چه بسا این تصور هم رایج باشد که ریاضیورزان گروهی جدا از سایرین هستند. صرفهنظر از کاربردهای بسیار ریاضی، ابزارهای متعددی توسط جامعه ریاضی دنیا ایجاد و یا توسعه داده شدهاند که سیستم حروفچینی تِک یکی از آنهاست. سیستم حروفچینی تِک توسط یک دانشمند ریاضی بنیان نهاده شده و بستهی فارسی کنونی آن با نام «زیپرشین» نیز توسط یک دانشج...
متن کاملکارآفرینی دانشگاهی: طراحی و تدوین یک مدل گام به گام
امروزه دانشگاه کارآفرین، کارآفرینی دانشگاهی و تجاری سازی تحقیقات دانشگاهی به نحوی در حال جلب توجه است که مؤسسات دانشگاهی را جهت کارآفرین تر شدن، تحت فشار گذاشته است. بر این اساس، پژوهش حاضر با هدف طراحی و تدوین یک مدل گام به گام کارآفرینی دانشگاهی انجام شده است. در این مدل پنج مرحله در فرآیند کارآفرینی دانشگاهی وجود دارند که عبارتند از: انگیزه، حکومت، انتخاب، رقابت و عملکرد. فرآیند کارآفرینی دا...
متن کاملمبالغه؛ تصویری فراتر از خیال
مبالغه تصویری است بلاغی که اغلب برای آرایش کلام و جلب توجّه شنونده به کار میرود. در مبالغه، شاعر با استفاده از دو شیوۀ بزرگنمایی و کوچکنمایی مفاهیم خُرد را بزرگ جلوه میدهد و مفاهیم بزرگرا خُرد، و در واقع با استفاده از این ابزار بیانی سخن خویش را بسط میدهد و تأکید میکند تا القای مفهوم بهتر انجام پذیرد. اغلب بلاغتنگاران ضمن معرفی مبالغه تأکید کردهاند که مبالغه در حقیقت نوعی دروغ آمیخته با ...
متن کاملزی پرشین، فراتر از یک ابزار ریاضی نویسی
نه تنها بسیاری از مردم از کاربردهای ریاضیات در زندگی آگاه نیستند بلکه چه بسا این تصور هم رایج باشد که ریاضی ورزان گروهی جدا از سایرین هستند. صرفه نظر از کاربردهای بسیار ریاضی، ابزارهای متعددی توسط جامعه ریاضی دنیا ایجاد و یا توسعه داده شده اند که سیستم حروف چینی تِک یکی از آنهاست. سیستم حروف چینی تِک توسط یک دانشمند ریاضی بنیان نهاده شده و بسته ی فارسی کنونی آن با نام «زی پرشین» نیز توسط یک دانشج...
متن کاملعلل عدم پیروی از پروتکل؛ یک مطالعهی آماری
اعتیاد یکی از بزرگترین معضلات و تراژدیهای جامعهی بشری است. مصرفکنندگان مواد، بیماران مبتلا به بیماری مزمن جسمی-روانی– اجتماعی اعتیاد، سلامتی خود و جامعه را به خطر میاندازند. بنابراین درمان این بیماران که در سطوح مختلف جسمی – روانی – اجتماعی دچار مشکل شدهاند، بر عهدهی درمانگران در حیطههای مختلف درمانی است. اعتیاد نیز مانند هر بیماری دیگر قابل درمان است و برای آن از روشهای مختلف درمانی ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023