NATIONAL BIBLIOGRAPHY NUMBER
Number
۵۵۰۱پ
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
per
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
یک گام فراتر از پروتکل رفتاری
First Statement of Responsibility
/رضا علیپورفرد
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
تبریز : دانشگاه تبریز ، دانشکده علوم ریاضی
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
۸۴ ص
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
چاپی
CONTENTS NOTE
Text of Note
فاقد اطلاعات کامل
DISSERTATION (THESIS) NOTE
Dissertation or thesis details and type of degree
کارشناسی ارشد
Discipline of degree
علوم کامپیوتر
Date of degree
۱۳۹۰/۱۱/۲۵
Body granting the degree
تبریز : دانشگاه تبریز ، دانشکده علوم ریاضی
SUMMARY OR ABSTRACT
Text of Note
یکی از مراحل تعیین مشخصات سیستم در گام تحلیل، تعیین رفتار سیستم می‌صصباشد که در این مرحله مشخص می‌صشود چه اتفاقی باید در هر حالت سیستم رخ دهد .به همین منظور تحلیلگر در انتخاب زبان‌صهای صوری یا غیرصوری برای نشان دادن رفتار سیستم بر سر دو راهی قرار می-گیرد .پس از تصمیم‌صگیری در استفاده از زبان‌صهای صوری یا غیرصوری، تحلیلگر برای تعیین مشخصات سیستم با توجه به نیازمندی‌صهای سیستم و قابلیت‌صهای زبان‌صها می‌صبایست یک زبان را انتخاب نمایددر این پایان‌صنامه پس از معرفی زبان‌صهای صوری و غیرصوری، مقایسه‌صای میان این زبان‌صها صورت گرفته است .با توجه به دقت و قابلیت اطمینان زبان‌صهای صوری، در گام بعد به بررسی دقیق‌صتر این زبان‌صها پرداخته‌صایم .از آنجایی که ما بدنبال زبانی برای تعیین رفتار سیستم می-باشیم، مناسب‌صترین زبان صوری برای این منظور را انتخاب می‌صنمائیم .ما معتقدیم زبان پروتکل رفتاری دقیق‌صترین و در عین حال ساده‌صترین زبان صوری برای تعیین رفتار سیستم می‌صباشد و عملی بودن استفاده از این زبان را در قالب یک مثال بررسی می‌صنماییم .در نهایت امنیت سیستم‌صهایی که تعیین رفتار آنها در مرحله تحلیل با استفاده از این زبان صورت گرفته است را مورد بررسی قرار خواهیم داد و تلاش می‌صکنیم تا یک راهکار امنیتی در مرحله تحلیل سیستم در نگارش زبان مؤلفه‌صها اضافه نمائیم در نتیجه امنیت سیستم تحلیل شده با زبان پروتکل رفتاری تضمین گردد
Text of Note
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
TOPICAL NAME USED AS SUBJECT
Specification Languages
Formal Languages
Informal Languages
Behavior Description Languages
Behavior Protocol
Secure Behavior Protocol
PERSONAL NAME - PRIMARY RESPONSIBILITY
علیپورفرد، رضا
PERSONAL NAME - SECONDARY RESPONSIBILITY
عیسی زاده، آیاز، استاد راهنما
کریمپور، جابر، استاد مشاور
ELECTRONIC LOCATION AND ACCESS
Public note
سیاه و سفید
نمایه‌سازی قبلی
