Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings

این جلد شامل مجموعه مقالات FORTE 2003، بیست و سومین کنفرانس بین المللی IFIP TC 6/ WG 6.1 در مورد تکنیک های رسمی برای سیستم های شبکه ای و D-tributed است که در برلین، آلمان، 29 سپتامبر تا 2 اکتبر 2003 برگزار شد. FORTE بیانگر یک مجموعه ای از کنفرانس های کاری بین المللی در مورد تکنیک های توصیف رسمی (FDTs) که در شبکه های کامپیوتری و سیستم های توزیع شده اعمال می شود. مجموعه کنفرانس در سال 1981 با نام PSTV شروع شد. در سال 1988 یک سری دوم با نام FORTE راه اندازی شد. هر دو سری در سال 1996 به FORTE/PSTV پیوستند. دو سال پیش نام کنفرانس به شکل فعلی تغییر یافت. آخرین جلسات این مجموعه کنفرانس طولانی در پاریس، فرانسه (1998)، پکن، چین (1999)، پیزا، ایتالیا (2000)، جزیره چجو، کره (2001)، و هیوستون، ایالات متحده آمریکا (2002) برگزار شد. بیست و سومین کنفرانس FORTE به ویژه به کاربرد تکنیک های توصیف رسمی در تمرین، به ویژه در حوزه اینترنت و ارتباطات اختصاص داشت. دامنه مقالات ارائه شده در FORTE 2003 شامل کاربرد تکنیک های رسمی، اتومات های زمان بندی شده، طراحی مبتنی بر FDT، آزمایش و آزمایش سیستم های ارتباطی و سیستم های توزیع شده، و راستی آزمایی پروتکل های امنیتی است. علاوه بر این، مقالات در دست اجرا ارائه شد که در یک جلد جداگانه منتشر شده است.

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ?ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i?cation and testing of communication systems and distributed systems, and the veri?cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume.