Minutes interim-2024-iab-12: Wed 22:00
minutes-interim-2024-iab-12-202403202200-00

Minutes of the 2024-03-21 IAB Business Meeting, Brisbane, Australia

Present

  Matthew Bocci 
  Alissa Cooper 
  Roman Danyliw (IETF Chair)
  Dhruv Dhody
  Cullen Jennings
  Wes Hardaker
  Mallory Knodel 
  Suresh Krishnan 
  Mirja Kühlewind 
  Cindy Morgan (IAB Executive Administrative Manager)
  Tommy Pauly (IAB Chair)
  Colin Perkins (IRTF Chair)
  Alvaro Retana 
  David Schinazi
  John Scudder (IESG Liaison)

Regrets:

 Lars Eggert 
 Sally Wentworth (ISOC Liaison)
 Christopher Wood 
 Greg Wood
 Qin Wu 
 Jiankang Yao 

Guests:

  Stephen Farrell, UFMRG Chair 
  Jonathan Hoyland, UFMRG Chair 


1. Usable Formal Methods Proposed Research Group (UFMRG) Review 

  Stephen Farrell and Jonathan Hoyland joined the IAB to give an update 
  on the Usable Formal Methods Proposed Research Group (UFMRG).

  Formal methods were successfully used in the development of TLS 1.3, 
  but using them is difficult. UFMRG held a well-attended side meeting 
  at IETF 115, and the proposed RG formed in January 2023. The group 
  met at IETF 116, IETF 117, and IETF 118, as well as holding two 
  interim meetings. UFMRG did not meet at IETF 119 because most of 
  their participants are in North America and Europe, but they will 
  probably meet at IETF 120 and 121.

  The UFMRG wiki (https://wiki.ietf.org/en/group/ufm) has references to 
  formal analyses of some IETF protocols (TLS, EDHOC etc). 

  UFMRG has had reasonable engagement levels so far, although 
  participation can be patchy as the time that people have to devote to 
  it changes. The current goals are to:

  1. Bring together the IETFers and the researchers studying formal 
     methods to share experience and ideas

  2. Explore strengths and limitations of formal methods for systems 
     specified in the IETF, and try improve things

  3. Explore how formal methods can be usefully incorporated into IETF 
     work


  4. Create educational material, examples, open source software that 
     can be used by the IETFers

  5. Experiment with formal methods relevant to IETF

  6. Be a place for IETF WGs to find formal methods experts to assist 
     them


2. A Look Back at IAB Workshops

  The IAB reviewed a document Dhruv Dhody compiled looking back at the 
  last 10 years of IAB workshops and asked how this information could 
  best be presented to the community. 

  The IAB concluded that the information in this document could divided 
  up and put into two different places: 

    • IAB Workshops Webpage (https://www.iab.org/workshops/): 
      Information about what an IAB workshop is 

    • Blog Post: Highlighting IETF work that came out of IAB workshops 
      and other success stories.

  Mirja Kühlewind will work with Dhruv Dhody to come up with text for 
  the website and blog post.


3. Errata processing for RFCs about the RFC Series

  The IAB agreed to transfer the processing of errata for the following 
  RFCs about the RFC Series to the RFC Series Approval Board (RSAB):

    • RFC 5620 RFC Editor Model (Version 1)
    • RFC 7669 Assigning Digital Object Identifiers to RFCs
    • RFC 8728 RFC Editor Model (Version 2)
    • RFC 9280 RFC Editor Model (Version 3)
    • RFC 8729 The RFC Series and RFC Editor
    • RFC 6949 RFC Series Format Requirements and Future Development
    • RFC 7749 The "xml2rfc" Version 2 Vocabulary
    • RFC 7990 RFC Format Framework
    • RFC 7991 The "xml2rfc" Version 3 Vocabulary
    • RFC 7992 HTML Format for RFCs
    • RFC 7993 Cascading Style Sheets (CSS) Requirements for RFCs
    • RFC 7994 Requirements for Plain-Text RFCs
    • RFC 7995 PDF Format for RFCs 
    • RFC 7996 SVG Drawings for RFCs: SVG 1.2 RFC
    • RFC 7997 The Use of Non-ASCII Characters in RFCs
    • RFC 7998 "xml2rfc" Version 3 Preparation Tool Description
    • RFC 8153 Digital Preservation Considerations for the RFC Series
    • RFC 7322 RFC Style Guide
    • RFC 5741 RFC 7841 RFC Streams, Headers, and Boilerplates
    • RFC 8700 Fifty Years of RFCs