Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security

عملکرد ایمن و ایمن سیستم‌های رایانه‌ای همچنان موضوع اصلی بسیاری از برنامه‌هایی است که تهدیدی برای مردم، محیط‌زیست، سرمایه‌گذاری یا حسن نیت وجود دارد. چنین کاربردهایی شامل دستگاه های پزشکی، سیگنال دهی راه آهن، توزیع انرژی، کنترل و نظارت بر وسایل نقلیه، کنترل ترافیک هوایی، کنترل فرآیندهای صنعتی، سیستم های مخابراتی و بسیاری دیگر می شود. این کتاب نمایانگر مجموعه مقالات شانزدهمین کنفرانس بین المللی ایمنی، قابلیت اطمینان و امنیت رایانه است که در یورک، انگلستان، 7 تا 10 سپتامبر 1997 برگزار شد. و امنیت این یک پلت فرم برای انتقال فناوری بین دانشگاه، صنعت و موسسات تحقیقاتی است. SAFECOMP 97 در بازار جهانی در حال گسترش برای سیستم های کامپیوتری ایمن، مطمئن و قابل اعتماد فرصتی را برای توسعه دهندگان فنی، کاربران و قانون گذاران فراهم می کند تا تجربه را تبادل و بررسی کنند، بهترین فناوری های موجود را در نظر بگیرند و مهارت ها و فناوری های مورد نیاز را شناسایی کنند. آینده. مقالات با دقت توسط کمیته برنامه بین المللی کنفرانس انتخاب شدند. نویسندگان مقالات از دوازده کشور مختلف هستند. موضوعات تحت پوشش شامل نرم افزار ایمن، موارد ایمنی، مدیریت و توسعه، امنیت، عوامل انسانی، استانداردها و گواهینامه دستورالعمل ها، برنامه های کاربردی و تجربه صنعتی، روش ها و مدل های رسمی و اعتبار سنجی، تأیید و آزمایش است. SAFECOMP '97 ادامه مجموعه موفق کنفرانس های SAFECOMP است که اولین بار در سال 1979 در اشتوتگارت برگزار شد. SAFECOMP توسط کارگاه اروپایی سیستم های کامپیوتری صنعتی، کمیته فنی 7 در مورد ایمنی، امنیت و قابلیت اطمینان (EWICS TC7) سازماندهی شده است.

The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy distribution, vehicle control and monitoring, air traffic control, industrial process control, telecommunications systemsand manyothers. This book represents the proceedings of the 16th International Conference on Computer Safety, Reliability and Security, held in York, UK, 7-10 September 1997. The conference reviews the state ofthe art, experience and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP 97 provides an opportunity for technical developers, users and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the Conference International Programme Committee. The authors of the papers come from twelve different countries. The subjects covered include safe software, safety cases, management & development, security, human factors, guidelines standards & certification, applications & industrial experience, formal methods & models andvalidation, verification and testing. SAFECOMP '97 continues the successful series of SAFECOMP conferences first held in 1979 in Stuttgart. SAFECOMP is organised by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7).