Kategoria BISAC: Computers >> Networking - Network Protocols

Running IPv6 explains how to install and operate the IPv6 protocol for Windows XP, Mac OS X, FreeBSD, Red Hat Linux, and Cisco routers. The book also covers DNS and BIND, Zebra, Apache 2, and Sendmail. While IPv4 uses 32-bit addresses, IPv6 addresses are 128 bits long, and allow for more unique addresses. While the adoption of IPv6 won't be immediate, it is necessary.

Running IPv6 compares and contrasts IPv6 to IPv4, and discusses the advantages and disadvantages of each. Because most major software and hardware vendors have adopted IPv6, the focus of this book is to...

How can you make multivendor services work smoothly on today's complex networks? This practical book shows you how to deploy a large portfolio of multivendor Multiprotocol Label Switching (MPLS) services on networks, down to the configuration level. You'll learn where Juniper Network's Junos, Cisco's IOS XR, and OpenContrail, interoperate and where they don't.

Two network and cloud professionals from Juniper describe how MPLS technologies and applications have rapidly evolved through services and architectures such as Ethernet VPNs, Network Function Virtualization, Seamless MPLS,...

Hidden semi-Markov models (HSMMs) are among the most important models in the area of artificial intelligence / machine learning. Since the first HSMM was introduced in 1980 for machine recognition of speech, three other HSMMs have been proposed, with various definitions of duration and observation distributions. Those models have different expressions, algorithms, computational complexities, and applicable areas, without explicitly interchangeable forms.

Hidden Semi-Markov Models: Theory, Algorithms and Applications provides a unified and foundational approach to...

Discover why routers in the Juniper MX Series--with their advanced feature sets and record-breaking scale--are so popular among enterprises and network service providers. This revised and expanded edition shows you step-by-step how to implement high-density, high-speed Layer 2 and Layer 3 Ethernet services, using advanced firewall filters, redundant inline services, powerful CoS tool sets, and many other Juniper MX features.

This second edition was written by a Senior NOC Engineer, whose vast experience with the MX Series is well documented. Each chapter covers a specific Juniper MX...

The book provides a comprehensive guide to vehicular social networks. The book focuses on a new class of mobile ad hoc networks that exploits social aspects applied to vehicular environments. Selected topics are related to social networking techniques, social-based routing techniques applied to vehicular networks, data dissemination in VSNs, architectures for VSNs, and novel trends and challenges in VSNs. It provides significant technical and practical insights in different aspects from a basic background on social networking, the inter-related technologies and applications to vehicular...

Part I starts with a rundown of networking basics and traffic capture, as it builds a foundation for analyzing a network. Part II moves on to protocol analysis, both static and dynamic; you'll learn about common protocol structures, cryptography, and protocol security, and how to reverse engineer code with IDA Pro,...

Arista Networks has become a key player when it comes to software-driven cloud networking solutions for large data center storage and computing environments. In this updated edition of Arista Warrior, renowned consultant and technical author Gary Donahue (Network Warrior) provides an in-depth, objective guide to Arista s lineup of hardware and explains why its network switches and Extensible Operating System (EOS) are so effective.

Anyone with a CCNA or equivalent knowledge will benefit from this book, especially entrenched administrators, engineers, or architects...

The verification of security protocols has been an active research area since the 1990s. This topic is interesting for several reasons. Security protocols are ubiquitous: they are used for e-commerce, wireless networks, credit cards, e-voting, among others. The design of security protocols is notoriously error-prone. These errors can also have serious consequences. Hence, the formal verification or proof of protocols is particularly desirable.

This survey focuses on the verification of specifications of protocols in the symbolic model. Even though it is fairly abstract,...