عنوان

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

‭۵۵۰۱پ‬

per

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

/رضا علیپورفرد

تبریز : دانشگاه تبریز ، دانشکده علوم ریاضی

‮‭۸۴‬ ص‬

چاپی

فاقد اطلاعات کامل

کارشناسی ارشد

علوم کامپیوتر

‮‭۱۳۹۰/۱۱/۲۵‬

تبریز : دانشگاه تبریز ، دانشکده علوم ریاضی

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

‮‭In software systems, a suitable specification language for specification and verification behavior of components is needed. The language should capture all important aspects of the future implementation with respect to desired properties. We prefer to select the formal languages for behavior description. We believe that each system is specified by the informal languages like UML which is not reliable. Instead, the use of formal method for designing behavior of component can contribute reliability and robustness of the design. In this thesis, after introduction of formal and informal languages, we attempt to compare Behavior Protocol with other behavioral description formal languages according to the some parameters such as supporting for components, connectors, updating dynamic component and relationship between implementation and specification. In next step, we show everybody can use Behavior Protocol for system behavior description with an example. After that, we introduce an encryption and decryption algorithm in interactions components. As a result, security of system is guaranteed if we describe the system with Behavior Protocol language. Finally, we try to improve Behavior Protocol performance in system specification by adding condition and action to system behavior description‬

Specification Languages

Formal Languages

Informal Languages

Behavior Description Languages

Behavior Protocol

Secure Behavior Protocol

علیپورفرد، رضا

عیسی زاده، آیاز، استاد راهنما

کریمپور، جابر، استاد مشاور

سیاه و سفید

نمایه‌سازی قبلی