Structured Specifications in IETF Documents Stephen McQuistin Colin - - PowerPoint PPT Presentation

▶
structured specifications in ietf documents
SMART_READER_LITE
LIVE PREVIEW

Structured Specifications in IETF Documents Stephen McQuistin Colin - - PowerPoint PPT Presentation

Mar 24, 2024 110 likes •242 views

Structured Specifications in IETF Documents Stephen McQuistin Colin Perkins HotRFC @ IETF 103 ASCII packet diagrams are useful 2 ASCII packet diagrams are useful but .. 3 4 ASCII packet diagrams 5 ASCII packet diagrams 6

slide-1
SLIDE 1

Structured Specifications in IETF Documents

Stephen McQuistin Colin Perkins HotRFC @ IETF 103

slide-2
SLIDE 2

2

ASCII packet diagrams are useful

slide-3
SLIDE 3

3

ASCII packet diagrams are useful

but ..

slide-4
SLIDE 4

4

slide-5
SLIDE 5

5

ASCII packet diagrams

slide-6
SLIDE 6

ASCII packet diagrams

6

slide-7
SLIDE 7

ASCII packet diagrams

7

slide-8
SLIDE 8

ASCII packet diagrams

8

slide-9
SLIDE 9

ASCII packet diagrams

9

slide-10
SLIDE 10

ASCII packet diagrams

10

slide-11
SLIDE 11

ASCII packet diagrams

11

many variations with
 subtle differences

slide-12
SLIDE 12

Parsing packet diagrams

12

  • Subtle differences in structure and English prose make

parsing packet diagrams difficult

  • But many benefits if we can parse them: can generate parser

code, perform continuous integration → better standards

  • Many efforts to introduce structured descriptions: ABNF,


ASN.1, TLS presentation language, ..

  • Clusters of adoption → need a broad framework, not another

description language

slide-13
SLIDE 13

Discussion

13

  • Help us understand: what are the technical and social
  • bstacles to adoption of structured languages?
  • Work is part of a broader project on improving the standards

process using structured languages and formal methods

  • Stephen McQuistin 


sm@smcquistin.uk

  • Colin Perkins


csp@csperkins.org