Security Protocols: 10th International Workshop, Cambridge, UK, April 17-19, 2002. Revised Papers

یک بار دیگر ما مطالب کارگاه بین المللی پروتکل های امنیتی را به شما ارائه می دهیم. باورش سخت به نظر می رسد که در این مجموعه سالانه به دهمین رویداد رسیده ایم. امسال موضوع ما "تشخیص شرکت کنندگان پروتکل" بود. پروتکل‌های امنیتی معمولاً بر حسب شرکت‌کنندگان فعال توصیف می‌شوند - Alice foo را می‌نویسد و آن را برای باب می‌فرستد. با این حال، بیشتر پروتکل‌های امنیتی شامل شرکت‌کنندگان O?-line نیز می‌شوند که به طور همزمان در تبادل پیام‌ها دخالت ندارند: یک بانک ممکن است از طرف یک مشتری شرکت کند، و ممکن است متعاقباً از یک داور خواسته شود که معنای اجرا را تفسیر کند. این شرکای بی‌صدا پروتکل، خط‌مشی‌های امنیتی خاص خود را دارند و مفروضات مربوط به هویت، مجوز و قابلیت‌ها باید در زمانی که دستور کار یک شرکت‌کننده پنهان تغییر کند، بررسی شوند. ما امیدواریم که مقالات موضعی منتشر شده در اینجا، که در پرتو بحث‌های این کارگاه بازنویسی و بازاندیشی شده‌اند، نه فقط برای مشارکت‌های ویژه‌ای که انجام می‌دهند، بلکه برای موضوعات عمیق‌تری که آنها را افشا می‌کنند، مورد توجه قرار گیرند. به منظور شناسایی واضح تر این مسائل، رونوشت هایی را برای برخی از بحث هایی که در کمبریج در طول کارگاه انجام شد، اضافه می کنیم. دوست داشتید چه چیزی اضافه کنید؟ به ما اطلاع دهید.

Once again we bring you the proceedings of the International Workshop on Security Protocols. It seems hard to believe that we have reached the tenth event in this annual series. This year our theme was “Discerning the Protocol Participants.” Security protocols are usually described in terms of the active participants – Alice c- putes foo and sends it to Bob. However most security protocols also include o?-line participants, which are not synchronously involved in the exchange of messages: a bank may participate on behalf of a customer, and an arbiter may subsequently be asked to interpret the meaning of a run. These silent partners to the protocol have their own security policies, and assumptionsaboutidentity,authorizationandcapabilityneedtobere-examined when the agenda of a hidden participant may change. We hope that the position papers published here, which have been rewritten and rethought in the light of the discussions at the workshop, will be of interest, not just for the speci?c contributions they make but also for the deeper issues which they expose. In order to identify these issues more clearly, we include transcripts for some of the discussions which took place in Cambridge during the workshop. What would you have liked to add? Do let us know.