مشخصات کتاب

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

ویرایش:  
نویسندگان: Laurent Chuat,  Markus Legner,  David Basin,  David Hausheer,  Samuel Hitz,  Peter Müller,  Adrian Perrig  
سری:  
ISBN (شابک) : 9783031052873, 9783031052880 
ناشر: Springer 
سال نشر: 2022 
تعداد صفحات: 653 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 Mb 

در صورت تبدیل فایل کتاب The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب راهنمای کامل SCION: از اصول طراحی تا تأیید رسمی (امنیت اطلاعات و رمزنگاری) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب راهنمای کامل SCION: از اصول طراحی تا تأیید رسمی (امنیت اطلاعات و رمزنگاری)

هنگامی که پروژه SCION در سال 2009 آغاز شد، هدف ایجاد معماری با دسترسی و امنیت بالا برای ارتباطات نقطه به نقطه اولیه بود. در پنج سال پس از انتشار SCION: A Secure Internet Architecture، این معماری نسل بعدی اینترنت هم از نظر طراحی و هم از نظر استقرار تکامل یافته است. از یک طرف، مفاهیم و سیستم‌های جدید هیجان‌انگیزی توسعه یافته است، از جمله یک سیستم جدید همگام‌سازی جهانی، یک رویکرد بین دامنه‌ای برای رزرو پهنای باند به نام COLIBRI، و شبکه‌سازی سبز، که امکان مبارزه با تغییرات آب و هوایی جهانی را در سه جبهه فراهم می‌کند. از سوی دیگر، SCION در حال حاضر توسط اکوسیستم مالی سوئیس نیز در حال استفاده در تولید است و به شرکت‌کنندگانی مانند بانک ملی سوئیس، ارائه‌دهنده خدمات تسویه حساب سوئیسی (SIX) و تمام مؤسسات مالی سوئیس این امکان را می‌دهد تا به طور ایمن و قابل اعتماد با هر یک از آنها ارتباط برقرار کنند. دیگر از طریق شبکه مالی امن سوئیس. این کتاب راهنمای منحصر به فرد، توضیحات به روز شده ای از اجزای اصلی SCION ارائه می دهد که موضوعات تحقیقاتی جدید و جدیدترین استقرارها را پوشش می دهد. به طور خاص، بحث عمیقی در مورد تلاش‌های راستی‌آزمایی رسمی ارائه می‌کند. نکته مهم این است که شرح جامع و کاملی از سیستم فعلی SCION ارائه می دهد: اصولی را توصیف می کند که طراحی SCION را به عنوان یک معماری اینترنتی ایمن و قوی هدایت می کند شرح جامعی از تکامل بعدی در روشی که داده ها راه خود را از طریق اینترنت پیدا می کنند ارائه می دهد توضیح می دهد که چگونه SCION می تواند در کاهش انتشار کربن با معرفی SCION Green Networking کمک کند. نشان می دهد که چگونه SCION نه تنها در محیط های دانشگاهی کار می کند، بلکه در استقرار تولید نیز کار می کند موارد استفاده اضافی را برای هدایت پذیرش SCION مورد بحث قرار می دهد رویکردهای تأیید رسمی پروتکل ها و کد را ارائه می دهد با بسیاری از شکل ها، تصاویر و نمودارهای رنگارنگ نشان داده شده است که امکان دسترسی آسان به مفاهیم و موارد استفاده را فراهم می کند. این متن/مرجع که توسط تیمی با تجربه گسترده در زمینه‌های شبکه‌های کامپیوتری و امنیت گردآوری شده است، برای محققان، پزشکان و دانشجویان فارغ‌التحصیل علاقه‌مند به امنیت شبکه مناسب است. همچنین، خوانندگان با پیشینه محدود در شبکه های کامپیوتری، اما با تمایل به دانستن بیشتر در مورد SCION، از مروری بر فصل های مربوطه در ابتدای کتاب بهره مند خواهند شد.

توضیحاتی درمورد کتاب به خارجی

When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publication of SCION: A Secure Internet Architecture, this next-generation Internet architecture has evolved in terms of both design and deployment. On the one hand, there has been development of exciting new concepts and systems, including a new global time-synchronization system, an inter-domain approach for bandwidth reservations called COLIBRI, and Green Networking, which allows combating global climate change on three fronts. On the other hand, SCION is now also in production use by the Swiss financial ecosystem, and enables participants such as the Swiss National Bank, the Swiss provider of clearing services (SIX), and all Swiss financial institutes to communicate securely and reliably with each other via the Secure Swiss Finance Network. This unique guidebook provides an updated description of SCION's main components, covering new research topics and the most recent deployments. In particular, it presents in-depth discussion of formal verification efforts. Importantly, it offers a comprehensive, thorough description of the current SCION system : Describes the principles that guided SCION's design as a secure and robust Internet architecture Provides a comprehensive description of the next evolution in the way data finds its way through the Internet Explains how SCION can contribute to reducing carbon emissions, by introducing SCION Green Networking Demonstrates how SCION not only functions in academic settings but also works in production deployments Discusses additional use cases for driving SCION's adoption Presents the approaches for formal verification of protocols and code Illustrated with many colorful figures, pictures, and diagrams, allowing easy access to the concepts and use cases Assembled by a team with extensive experience in the fields of computer networks and security, this text/reference is suitable for researchers, practitioners, and graduate students interested in network security. Also, readers with limited background in computer networking but with a desire to know more about SCION will benefit from an overview of relevant chapters in the beginning of the book.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Rich Kid, Smart Kid: Giving Your Child a Financial Head Start

دانلود کتاب Cloud Portability and Interoperability: Issues and Current Trends

دانلود کتاب Rockonomics How Music Explains Everything (about the Economy)

دانلود کتاب Speaking English as a Second Language: Learners' Problems and Coping Strategies

دانلود کتاب Imagination in Educational Theory and Practice : A Many-sided Vision