Security Protocols: 8th International Workshop Cambridge, UK, April 3–5, 2000 Revised Papers

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

The Cambridge International Workshop on Security Protocols has now run for eight years. Each year we set a theme, focusing upon a speci?c aspect of security protocols, and invite position papers. Anybody is welcome to send us a position paper (yes, you are invited) and we don’t insist they relate to the current theme in an obvious way. In our experience, the emergence of the theme as a unifying threadtakesplaceduringthediscussionsattheworkshopitself.Theonlyground rule is that position papers should formulate an approach to some unresolved issues, rather than being a description of a ?nished piece of work. Whentheparticipantsmeet,wetrytofocusthediscussionsupontheconc- tual issues which emerge. Security protocols link naturally to many other areas of Computer Science, and deep water can be reached very quickly. Afterwards, we invite participants to re-draft their position papers in a way which exposes the emergent issues but leaves open the way to their further development. We also prepare written transcripts of the recorded discussions. These are edited (in some cases very heavily) to illustrate the way in which the di?erent arguments and perspectives have interacted. We publish these proceedings as an invitation to the research community. Although many interesting results ?rst see the light of day in a volume of our proceedings, laying claim to these is not our primary purpose of publication. Rather, we bring our discussions and insights to a wider audience in order to suggest new lines of investigation which the community may fruitfully pursue.