@@ -277,7 +277,7 @@ group consisting of Alice, Bob, and Charlie, with Alice
277277 <figure anchor =" fig-group-formation-example" >
278278 <name >Group Formation Example</name >
279279 <artset >
280- <artwork type =" svg" ><svg xmlns =" http://www.w3.org/2000/svg" version =" 1.1" height =" 464" width =" 592" viewBox =" 0 0 592 464" class =" diagram" text-anchor =" middle" font-family =" monospace" font-size =" 13px" stroke-linecap = " round " >
280+ <artwork type =" svg" ><svg xmlns =" http://www.w3.org/2000/svg" version =" 1.1" height =" 464" width =" 592" viewBox =" 0 0 592 464" class =" diagram" text-anchor =" middle" font-family =" monospace" font-size =" 13px" >
281281 <path d =" M 528,64 L 528,144" fill =" none" stroke =" black" />
282282 <path d =" M 528,176 L 528,208" fill =" none" stroke =" black" />
283283 <path d =" M 528,240 L 528,320" fill =" none" stroke =" black" />
@@ -294,38 +294,38 @@ group consisting of Alice, Bob, and Charlie, with Alice
294294 <path d =" M 264,240 L 480,240" fill =" none" stroke =" black" />
295295 <path d =" M 8,256 L 256,256" fill =" none" stroke =" black" />
296296 <path d =" M 144,272 L 480,272" fill =" none" stroke =" black" />
297- <path d =" M 104 ,288 L 480,288" fill =" none" stroke =" black" />
297+ <path d =" M 112 ,288 L 480,288" fill =" none" stroke =" black" />
298298 <path d =" M 88,304 L 344,304" fill =" none" stroke =" black" />
299- <path d =" M 88,320 L 368 ,320" fill =" none" stroke =" black" />
299+ <path d =" M 88,320 L 376 ,320" fill =" none" stroke =" black" />
300300 <path d =" M 296,352 L 480,352" fill =" none" stroke =" black" />
301301 <path d =" M 8,368 L 224,368" fill =" none" stroke =" black" />
302302 <path d =" M 176,384 L 480,384" fill =" none" stroke =" black" />
303- <path d =" M 152 ,400 L 480,400" fill =" none" stroke =" black" />
303+ <path d =" M 144 ,400 L 480,400" fill =" none" stroke =" black" />
304304 <path d =" M 88,416 L 312,416" fill =" none" stroke =" black" />
305305 <path d =" M 176,432 L 312,432" fill =" none" stroke =" black" />
306- <path d =" M 176,448 L 336 ,448" fill =" none" stroke =" black" />
307- <polygon class =" arrowhead" points =" 488,400 476,394.4 476,405.6" fill =" black" transform =" rotate(0,480,400)" />
308- <polygon class =" arrowhead" points =" 488,384 476,378.4 476,389.6" fill =" black" transform =" rotate(0,480,384)" />
309- <polygon class =" arrowhead" points =" 488,352 476,346.4 476,357.6" fill =" black" transform =" rotate(0,480,352)" />
310- <polygon class =" arrowhead" points =" 488,288 476,282.4 476,293.6" fill =" black" transform =" rotate(0,480,288)" />
311- <polygon class =" arrowhead" points =" 488,272 476,266.4 476,277.6" fill =" black" transform =" rotate(0,480,272)" />
312- <polygon class =" arrowhead" points =" 488,240 476,234.4 476,245.6" fill =" black" transform =" rotate(0,480,240)" />
313- <polygon class =" arrowhead" points =" 488,208 476,202.4 476,213.6" fill =" black" transform =" rotate(0,480,208)" />
314- <polygon class =" arrowhead" points =" 488,192 476,186.4 476,197.6" fill =" black" transform =" rotate(0,480,192)" />
315- <polygon class =" arrowhead" points =" 488,176 476,170.4 476,181.6" fill =" black" transform =" rotate(0,480,176)" />
316- <polygon class =" arrowhead" points =" 400,128 388,122.4 388,133.6" fill =" black" transform =" rotate(0,392,128)" />
317- <polygon class =" arrowhead" points =" 400,96 388,90.4 388,101.6" fill =" black" transform =" rotate(0,392,96)" />
318- <polygon class =" arrowhead" points =" 400,64 388,58.4 388,69.6" fill =" black" transform =" rotate(0,392,64)" />
319- <polygon class =" arrowhead" points =" 184,448 172,442.4 172,453.6" fill =" black" transform =" rotate(180,176,448)" />
320- <polygon class =" arrowhead" points =" 184,432 172,426.4 172,437.6" fill =" black" transform =" rotate(180,176,432)" />
321- <polygon class =" arrowhead" points =" 176,144 164,138.4 164,149.6" fill =" black" transform =" rotate(180,168,144)" />
322- <polygon class =" arrowhead" points =" 96,416 84,410.4 84,421.6" fill =" black" transform =" rotate(180,88,416)" />
323- <polygon class =" arrowhead" points =" 96,320 84,314.4 84,325.6" fill =" black" transform =" rotate(180,88,320)" />
324- <polygon class =" arrowhead" points =" 96,304 84,298.4 84,309.6" fill =" black" transform =" rotate(180,88,304)" />
325- <polygon class =" arrowhead" points =" 96,112 84,106.4 84,117.6" fill =" black" transform =" rotate(180,88,112)" />
326- <polygon class =" arrowhead" points =" 16,368 4,362.4 4,373.6" fill =" black" transform =" rotate(180,8,368)" />
327- <polygon class =" arrowhead" points =" 16,256 4,250.4 4,261.6" fill =" black" transform =" rotate(180,8,256)" />
328- <polygon class =" arrowhead" points =" 16,80 4,74.4 4,85.6" fill =" black" transform =" rotate(180,8,80)" />
306+ <path d =" M 176,448 L 344 ,448" fill =" none" stroke =" black" />
307+ <polygon class =" arrowhead" points =" 488,400 476,394.4 476,405.6 " fill =" black" transform =" rotate(0,480,400)" />
308+ <polygon class =" arrowhead" points =" 488,384 476,378.4 476,389.6 " fill =" black" transform =" rotate(0,480,384)" />
309+ <polygon class =" arrowhead" points =" 488,352 476,346.4 476,357.6 " fill =" black" transform =" rotate(0,480,352)" />
310+ <polygon class =" arrowhead" points =" 488,288 476,282.4 476,293.6 " fill =" black" transform =" rotate(0,480,288)" />
311+ <polygon class =" arrowhead" points =" 488,272 476,266.4 476,277.6 " fill =" black" transform =" rotate(0,480,272)" />
312+ <polygon class =" arrowhead" points =" 488,240 476,234.4 476,245.6 " fill =" black" transform =" rotate(0,480,240)" />
313+ <polygon class =" arrowhead" points =" 488,208 476,202.4 476,213.6 " fill =" black" transform =" rotate(0,480,208)" />
314+ <polygon class =" arrowhead" points =" 488,192 476,186.4 476,197.6 " fill =" black" transform =" rotate(0,480,192)" />
315+ <polygon class =" arrowhead" points =" 488,176 476,170.4 476,181.6 " fill =" black" transform =" rotate(0,480,176)" />
316+ <polygon class =" arrowhead" points =" 400,128 388,122.4 388,133.6 " fill =" black" transform =" rotate(0,392,128)" />
317+ <polygon class =" arrowhead" points =" 400,96 388,90.4 388,101.6 " fill =" black" transform =" rotate(0,392,96)" />
318+ <polygon class =" arrowhead" points =" 400,64 388,58.4 388,69.6 " fill =" black" transform =" rotate(0,392,64)" />
319+ <polygon class =" arrowhead" points =" 184,448 172,442.4 172,453.6 " fill =" black" transform =" rotate(180,176,448)" />
320+ <polygon class =" arrowhead" points =" 184,432 172,426.4 172,437.6 " fill =" black" transform =" rotate(180,176,432)" />
321+ <polygon class =" arrowhead" points =" 176,144 164,138.4 164,149.6 " fill =" black" transform =" rotate(180,168,144)" />
322+ <polygon class =" arrowhead" points =" 96,416 84,410.4 84,421.6 " fill =" black" transform =" rotate(180,88,416)" />
323+ <polygon class =" arrowhead" points =" 96,320 84,314.4 84,325.6 " fill =" black" transform =" rotate(180,88,320)" />
324+ <polygon class =" arrowhead" points =" 96,304 84,298.4 84,309.6 " fill =" black" transform =" rotate(180,88,304)" />
325+ <polygon class =" arrowhead" points =" 96,112 84,106.4 84,117.6 " fill =" black" transform =" rotate(180,88,112)" />
326+ <polygon class =" arrowhead" points =" 16,368 4,362.4 4,373.6 " fill =" black" transform =" rotate(180,8,368)" />
327+ <polygon class =" arrowhead" points =" 16,256 4,250.4 4,261.6 " fill =" black" transform =" rotate(180,8,256)" />
328+ <polygon class =" arrowhead" points =" 16,80 4,74.4 4,85.6 " fill =" black" transform =" rotate(180,8,80)" />
329329 <g class =" text" >
330330 <text x =" 24" y =" 36" >Alice</text >
331331 <text x =" 96" y =" 36" >Bob</text >
@@ -366,17 +366,15 @@ group consisting of Alice, Bob, and Charlie, with Alice
366366 <text x =" 16" y =" 276" >Add</text >
367367 <text x =" 48" y =" 276" >Bob</text >
368368 <text x =" 76" y =" 276" >to</text >
369- <text x =" 112" y =" 276" >Group </text >
369+ <text x =" 112" y =" 276" >group </text >
370370 <text x =" 556" y =" 276" >Step</text >
371371 <text x =" 584" y =" 276" >3</text >
372- <text x =" 32" y =" 292" >Welcome</text >
373- <text x =" 84" y =" 292" >(Bob)</text >
372+ <text x =" 52" y =" 292" >Welcome(Bob)</text >
374373 <text x =" 368" y =" 308" >Add</text >
375374 <text x =" 400" y =" 308" >Bob</text >
376375 <text x =" 428" y =" 308" >to</text >
377- <text x =" 464" y =" 308" >Group</text >
378- <text x =" 408" y =" 324" >Welcome</text >
379- <text x =" 464" y =" 324" >(Bob)</text >
376+ <text x =" 464" y =" 308" >group</text >
377+ <text x =" 436" y =" 324" >Welcome(Bob)</text >
380378 <text x =" 16" y =" 356" >Get</text >
381379 <text x =" 64" y =" 356" >Charlie</text >
382380 <text x =" 128" y =" 356" >Initial</text >
@@ -389,56 +387,53 @@ group consisting of Alice, Bob, and Charlie, with Alice
389387 <text x =" 16" y =" 388" >Add</text >
390388 <text x =" 64" y =" 388" >Charlie</text >
391389 <text x =" 108" y =" 388" >to</text >
392- <text x =" 144" y =" 388" >Group</text >
393- <text x =" 32" y =" 404" >Welcome</text >
394- <text x =" 104" y =" 404" >(Charlie)</text >
390+ <text x =" 144" y =" 388" >group</text >
391+ <text x =" 68" y =" 404" >Welcome(Charlie)</text >
395392 <text x =" 556" y =" 404" >Step</text >
396393 <text x =" 584" y =" 404" >4</text >
397394 <text x =" 336" y =" 420" >Add</text >
398395 <text x =" 384" y =" 420" >Charlie</text >
399396 <text x =" 428" y =" 420" >to</text >
400- <text x =" 464" y =" 420" >Group </text >
397+ <text x =" 464" y =" 420" >group </text >
401398 <text x =" 336" y =" 436" >Add</text >
402399 <text x =" 384" y =" 436" >Charlie</text >
403400 <text x =" 428" y =" 436" >to</text >
404- <text x =" 464" y =" 436" >Group</text >
405- <text x =" 376" y =" 452" >Welcome</text >
406- <text x =" 448" y =" 452" >(Charlie)</text >
401+ <text x =" 464" y =" 436" >group</text >
402+ <text x =" 420" y =" 452" >Welcome(Charlie)</text >
407403 </g >
408404 </svg >
409405 </artwork >
410406 <artwork type =" ascii-art" ><![CDATA[
411407Alice Bob Charlie AS DS
412408
413- Create account ---------------------------------> |
414- <------------------------------------- Credential |
415- Create account -----------------------> | Step 1
416- <--------------------------- Credential |
417- Create account -------------> |
418- <----------------- Credential |
419-
420- Initial Keying Material -----------------------------------> |
421- Initial Keying Material -------------------------> | Step 2
422- Initial Keying Material ---------------> |
423-
424- Get Bob Initial Keying Material ---------------------------> |
425- <------------------------------- Bob Initial Keying Material |
426- Add Bob to Group ------------------------------------------> | Step 3
427- Welcome (Bob) ---------------------------------------------> |
428- <-------------------------------- Add Bob to Group |
429- <----------------------------------- Welcome (Bob) |
430-
431- Get Charlie Initial Keying Material -----------------------> |
432- <--------------------------- Charlie Initial Keying Material |
433- Add Charlie to Group --------------------------------------> |
434- Welcome (Charlie) -----------------------------------------> | Step 4
435- <---------------------------- Add Charlie to Group |
436- <----------------- Add Charlie to Group |
437- <-------------------- Welcome (Charlie) |
409+ Create account ---------------------------------> |
410+ <------------------------------------- Credential |
411+ Create account -----------------------> | Step 1
412+ <--------------------------- Credential |
413+ Create account -------------> |
414+ <----------------- Credential |
415+
416+ Initial Keying Material -----------------------------------> |
417+ Initial Keying Material -------------------------> | Step 2
418+ Initial Keying Material ---------------> |
419+
420+ Get Bob Initial Keying Material ---------------------------> |
421+ <------------------------------- Bob Initial Keying Material |
422+ Add Bob to group ------------------------------------------> | Step 3
423+ Welcome(Bob) ----------------------------------------------> |
424+ <-------------------------------- Add Bob to group |
425+ <------------------------------------ Welcome(Bob) |
426+
427+ Get Charlie Initial Keying Material -----------------------> |
428+ <--------------------------- Charlie Initial Keying Material |
429+ Add Charlie to group --------------------------------------> |
430+ Welcome(Charlie) ------------------------------------------> | Step 4
431+ <---------------------------- Add Charlie to group |
432+ <----------------- Add Charlie to group |
433+ <--------------------- Welcome(Charlie) |
438434]]> </artwork >
439435 </artset >
440436 </figure >
441-
442437 <t >This process proceeds as follows.</t >
443438 <section anchor =" step-1-account-creation" >
444439 <name >Step 1: Account Creation</name >
0 commit comments