These are the slides I presented at the 41st IETF.

Matt


A New (sequence ) Structure

{rivest,elien,fredette,morcos}@theory.lcs.mit.edu


(sequence ) Name Problems

Example:
K1         => K1 bob friends friends
K1 bob     => K2
K2 friends => K3
K3 friends => K1 bob friends parents
K1 bob     => K2
K2 friends => K3
K3 parents => K4


Named Subsequences

Example:
(sequence
  (def S1 (sequence (cert (issuer K1) (subject K2))
                    (cert (issuer K2) (subject K3))))
  (cert (issuer K0) (subject K1))
  (ref S1)
  (cert (issuer K3) (subject K4)))


New (sequence ) Grammar

<new-seq-ent>:: <seq-ent> | <seq-def> | <seq-ref> ;

<seq-def>:: "(" "def" <seq-def-name> <seq-def-value> ")" ;
<seq-def-name>:: <hash> | <byte-string> ;
<seq-def-value>:: <pub-key> | <cert> | <sequence> ;

<seq-ref>:: "(" "ref" <seq-def-name> ")" ;


(sequence ) k-of-n Problems


(process-threshold )

Example:
(sequence
  (def S1 (cert (issuer K2) (subject K3)))
  (def S1 (cert (issuer K4) (subject K3)))
  (cert (issuer K0) (subject (k-of-n 3 4 K1 K2 K3 K4)))
  (process-threshold kill S1 keep S2))


New (sequence ) Grammar, II

<new-seq-ent>:: <seq-ent> | <seq-def> | <seq-ref> | <proc-t> ;

<proc-t>:: "(" "process-threshold" <proc-t-ent>* ")" ;
<proc-t-ent>:: <proc-t> | <seq-def-name> ;


Miscellaneous


April 6, 1998
fredette@theory.lcs.mit.edu