Complete Guide To Scion

From Design Principles To Formal Verification

de Laurent Chuat, Markus Legner, David Basin, Adrian Perrig, Samuel Hitz, Peter Muller e David Hausheer 

eBook
Bertrand.pt - Complete Guide To Scion
idioma: Inglês
Editor: Springer International Publishing
Edição: maio de 2022
Formatos Disponíveis:
10%
105,34€
Poupe 10,53€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

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.

Da mesma coleção

Introduction To Security Science
20%
portes grátis
20% Cartão Leitor Bertrand
74,34€
Poupe 14,87€
Springer Nature Switzerland AG
Modeling And Analyzing Security Protocols With Tamarin
20%
portes grátis
20% Cartão Leitor Bertrand
67,58€
Poupe 13,52€
Springer International Publishing AG
Complete Guide To Scion
From Design Principles To Formal Verification
ISBN:
9783031052880
Ano de edição:
05-2022
Editor:
Springer International Publishing
Idioma:
Inglês
Tipo de Produto:
eBook
Formato:
PDF para ADE i
Classificação Temática:
EAN:
9783031052880
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.