یک گام فراتر از پروتکل رفتاری

پایان نامه
چکیده

یکی از مراحل تعیین مشخصات سیستم در گام تحلیل، تعیین رفتار سیستم می باشد که در این مرحله مشخص می شود چه اتفاقی باید در هر حالت سیستم رخ دهد. به همین منظور تحلیلگر در انتخاب زبان های صوری یا غیرصوری برای نشان دادن رفتار سیستم بر سر دو راهی قرار می-گیرد. پس از تصمیم گیری در استفاده از زبان های صوری یا غیرصوری، تحلیلگر برای تعیین مشخصات سیستم با توجه به نیازمندی های سیستم و قابلیت های زبان ها می بایست یک زبان را انتخاب نماید. در این پایان نامه پس از معرفی زبان های صوری و غیرصوری، مقایسه ای میان این زبان ها صورت گرفته است. با توجه به دقت و قابلیت اطمینان زبان های صوری، در گام بعد به بررسی دقیق تر این زبان ها پرداخته ایم. از آنجایی که ما بدنبال زبانی برای تعیین رفتار سیستم می-باشیم، مناسب ترین زبان صوری برای این منظور را انتخاب می نمائیم. ما معتقدیم زبان پروتکل رفتاری دقیق ترین و در عین حال ساده ترین زبان صوری برای تعیین رفتار سیستم می باشد و عملی بودن استفاده از این زبان را در قالب یک مثال بررسی می نماییم. در نهایت امنیت سیستم هایی که تعیین رفتار آنها در مرحله تحلیل با استفاده از این زبان صورت گرفته است را مورد بررسی قرار خواهیم داد و تلاش می کنیم تا یک راهکار امنیتی در مرحله تحلیل سیستم در نگارش زبان مولفه ها اضافه نمائیم در نتیجه امنیت سیستم تحلیل شده با زبان پروتکل رفتاری تضمین گردد.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

زی‌پرشین، فراتر از یک ابزار ریاضی‌نویسی

نه تنها بسیاری از مردم از کاربردهای ریاضیات در زندگی آگاه نیستند بلکه چه بسا این تصور هم رایج باشد که ریاضی‌ورزان گروهی جدا از سایرین هستند. صرفه‌نظر از کاربردهای بسیار ریاضی، ابزارهای متعددی توسط جامعه ریاضی دنیا ایجاد و یا توسعه داده شده‌اند که سیستم حروف‌چینی تِک یکی از آنهاست. سیستم حروف‌چینی تِک توسط یک دانشمند ریاضی بنیان نهاده شده و بسته‌ی فارسی کنونی آن با نام «زی‌پرشین» نیز توسط یک دانشج...

متن کامل

کارآفرینی دانشگاهی: طراحی و تدوین یک مدل گام به گام

امروزه دانشگاه کارآفرین، کارآفرینی دانشگاهی و تجاری سازی تحقیقات دانشگاهی به نحوی در حال جلب توجه است که مؤسسات دانشگاهی را جهت کارآفرین تر شدن، تحت فشار گذاشته است. بر این اساس، پژوهش حاضر با هدف طراحی و تدوین یک مدل گام به گام کارآفرینی دانشگاهی انجام شده است. در این مدل پنج مرحله در فرآیند کارآفرینی دانشگاهی وجود دارند که عبارتند از: انگیزه، حکومت، انتخاب، رقابت و عملکرد. فرآیند کارآفرینی دا...

متن کامل

مبالغه؛ تصویری فراتر از خیال

مبالغه تصویری است بلاغی که اغلب برای آرایش کلام و جلب توجّه شنونده به کار می­رود. در مبالغه، شاعر با استفاده از دو شیوۀ بزرگ­نمایی و کوچک­نمایی مفاهیم خُرد را بزرگ­ جلوه می­دهد و مفاهیم بزرگ­را خُرد، و در واقع با استفاده از این ابزار بیانی سخن خویش را بسط می­دهد و تأکید می­کند تا القای مفهوم بهتر انجام پذیرد. اغلب بلاغت­نگاران ضمن معرفی مبالغه تأکید کرده­اند که مبالغه در حقیقت نوعی دروغ آمیخته با ...

متن کامل

زی پرشین، فراتر از یک ابزار ریاضی نویسی

نه تنها بسیاری از مردم از کاربردهای ریاضیات در زندگی آگاه نیستند بلکه چه بسا این تصور هم رایج باشد که ریاضی ورزان گروهی جدا از سایرین هستند. صرفه نظر از کاربردهای بسیار ریاضی، ابزارهای متعددی توسط جامعه ریاضی دنیا ایجاد و یا توسعه داده شده اند که سیستم حروف چینی تِک یکی از آنهاست. سیستم حروف چینی تِک توسط یک دانشمند ریاضی بنیان نهاده شده و بسته ی فارسی کنونی آن با نام «زی پرشین» نیز توسط یک دانشج...

متن کامل

علل عدم پیروی از پروتکل؛ یک مطالعه‌ی آماری

 اعتیاد یکی از بزرگ‌ترین معضلات و تراژدی‌های جامعه‌ی بشری است. مصرف‌کنندگان مواد، بیماران مبتلا به بیماری مزمن جسمی-روانی– اجتماعی اعتیاد، سلامتی خود و جامعه را به خطر می‌اندازند. بنابراین درمان این بیماران که در سطوح مختلف جسمی – روانی – اجتماعی دچار مشکل شده‌اند، بر عهده‌ی درمانگران در حیطه‌های مختلف درمانی است. اعتیاد نیز مانند هر بیماری دیگر قابل درمان است و برای آن از روش‌های مختلف درمانی ...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023