# IETF 112 - Contractual Networking Tuesday, November 9, 2021 18:00 UTC 10:00 Pacific 13:00 Eastern https://fipe-580.my.webex.com/fipe-580.my/j.php?MTID=m3c6e67aaed5c255332cf248a313c3325 -------- ## Meeting Description This session offers discussion about how to enforce agreements at the network layer between different parties in a communication. We could use in-band or out-of-band solutions, solutions at layer 3, 3.5, or layer 4. We would like to discuss the potential mechanism to provide/negotiate a contract. Should these be introduced as data within Internet packets to provide the contractual context to the flow, or should this be kept in the control plane? How should we ensure that the agreement is complied with? Is IP with some label option enough? Should IP be evolved? Alternatively, should compliance mechanisms reside in the control plane, or in virtual network/network slices? ## Agenda 1. Moderator's Introduction Charlie Perkins, Blue Meadow Consulting [Moderator's slides for Contractual Network side session](https://drive.google.com/file/d/19r7jZkvWwe7MHy4KIN2rW_uQV5zmWSKG/view?usp=sharing) 5 minutes 2. Mechanisms to support flow-level agreements Ken Calvert, University of Kentucky This talk will give an overview of some mechanisms that came out of research on active networking and future internet architectures, which could be relevant to "contractual networking". Both in-band and control plane approaches have been considered and will be discussed. [Slides for "Mechanisms to support flow-level agreements"](https://drive.google.com/file/d/1Y-IyoqGIsrPij9uyrJXsuSJs7I9rLPrg/view?usp=sharing) 15 minutes 3. Network contracts: Lessons from network verification Ratul Mahajan, CEO Intentionet & University of Washington Network verification aims to provide mathematical guarantees about network behavior, including how it will (or not) carry different types of traffic. This technology has come of age in the last decade and is now employed by many real-world networks. In this talk, I will share lessons from the network verification domain as they apply to specification and enforcement of network contracts. [Slides for "Network contracts: Lessons from network verification"](https://drive.google.com/file/d/1wg-SeyYNbhZVBj2wj-84l4kHTum4x8KX/view?usp=sharing) 15 minutes 4. Extensible In band Processing (EIP) Stefano Salsano, Univ Rome "Tor Vergata" The talk will discuss how to carry information in the data packets (i.e. in- band) to support advanced services in IPv6 nodes. It will focus on the "contract enforcement" in the data plane. 15 minutes [Slides for "Extensible In band Processing (EIP)"](https://tinyurl.com/eip-ietf-112) 5. Open Discussion 15 minutes or time remaining ## Resources [A Vision for a Spot Market for Interdomain Connectivity](https://drive.google.com/file/d/14YpVDtP2-xr3OdwQv8nHb5O8uLnkEbsm/view?usp=sharing) [A general framework for compositional network modeling](https://ratul.org/papers/hotnets2020-zen.pdf) [A general approach to network configuration analysis](https://ratul.org/papers/nsdi2015-batfish.pdf) [Chat Transcript for Contractual Networking - IETF 112](https://notes.ietf.org/s/ksBeIfXHf#) [Recording: Contractual Networking-202111091808-1](https://nam11.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffipe-580.my.webex.com%2Ffipe-580.my%2Fldr.php%3FRCID%3D029e4805d36b5ba95c298a582bf98213&data=04%7C01%7Ccedric.westphal%40futurewei.com%7Ce38b1b6ad4e0447c015d08d9a3bcc7ec%7C0fee8ff2a3b240189c753a1d5591fedc%7C1%7C0%7C637720853479028026%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=ecW4bT5tObm%2BB0j7Knue2pdCZ1NTx1W3%2FvBtTYm5f5g%3D&reserved=0) * Password for recording: RnC5DZQh