**************************************** Testing multiple tuple widths **************************************** **************************************** Testing tuple width 2 **************************************** **************************************** Testing multiple match methods **************************************** **************************************** Testing match 0 **************************************** Evaluating 561 tuples of 2 for 34 protocols. Testing 1 tuples using --summary --match=0 --arachne --timer=4 --max-runs=4 --max-length=18 Evaluated single results. Correct protocols: ['ccitt509', 'kaochow', 'yahalomBan', 'yahalomlowe', 'kaochow2', 'kaochow3', 'nssymmetric', 'otwayrees', 'wmfbrutus', 'bke', 'soph', 'nsl3', 'nsl7', 'denningsaccosh', 'yahalom', 'sophkx', 'isoiec11770213', 'woolamce', 'nssymmetricamended', 'kaochowPalm', 'andrewBan'] Partly flawed protocols: ['woolamcmv', 'andrewLoweBan', 'ksl', 'boyd', 'yahalompaulson', 'gongnonce', 'ns3', 'gongnonceb', 'spliceAShcCJ'] Completely flawed protocols: ['spliceAS', 'woolampif', 'tmn', 'spliceAShc'] Testing 2 tuples using --summary --match=0 --arachne --timer=4 --max-runs=4 --max-length=18 *** 0 290/561 kaochow IV Niagree_6 nsl7 *** 1 290/561 kaochow RV Nisynch_8 nsl7 *** 2 290/561 kaochow RV Niagree_9 nsl7 *** 3 290/561 kaochow IV Nisynch_5 nsl7 *** 4 312/561 kaochow2 RV Nisynch_8 nsl7 *** 5 312/561 kaochow2 RV Niagree_9 nsl7 *** 6 312/561 kaochow2 IV Niagree_6 nsl7 *** 7 312/561 kaochow2 IV Nisynch_5 nsl7 *** 8 333/561 kaochow3 IV Niagree_6 nsl7 *** 9 333/561 kaochow3 RV Nisynch_8 nsl7 *** 10 333/561 kaochow3 RV Niagree_9 nsl7 *** 11 333/561 kaochow3 IV Nisynch_5 nsl7 *** 12 377/561 ns3 IV Secret_i1 soph *** 13 377/561 ns3 IV Secret_i2 soph *** 14 377/561 ns3 IV Niagree_i3 soph *** 15 377/561 ns3 IV Nisynch_i4 soph *** 16 379/561 ns3 IV Secret_i2 spliceAShc *** 17 380/561 ns3 IV Secret_i2 spliceAS *** 18 395/561 nsl3 RV Secret_r1 soph *** 19 395/561 nsl3 IV Secret_i2 soph *** 20 395/561 nsl3 IV Secret_i1 soph *** 21 395/561 nsl3 IV Nisynch_i4 soph *** 22 395/561 nsl3 IV Niagree_i3 soph *** 23 397/561 nsl3 RV Secret_r2 spliceAShc *** 24 397/561 nsl3 IV Secret_i2 spliceAShc *** 25 398/561 nsl3 RV Secret_r2 spliceAS *** 26 398/561 nsl3 IV Secret_i2 spliceAS *** 27 483/561 spliceAShcCJ CV Secret_7 soph *** 28 483/561 spliceAShcCJ SV Secret_8 soph *** 29 495/561 spliceAShcCJ CV Secret_7 spliceAShc *** 30 495/561 spliceAShcCJ SV Secret_8 spliceAShc *** 31 496/561 spliceAShcCJ CV Secret_7 spliceAS *** 32 496/561 spliceAShcCJ SV Secret_8 spliceAS *** 33 536/561 wmfbrutus BV Secret_3 yahalomBan *** 34 557/561 yahalom BV Secret_6 yahalomBan *** 35 559/561 yahalomlowe IV Niagree_9 yahalom *** 36 559/561 yahalomlowe IV Nisynch_10 yahalom Processed 561 tuple combinations in total. Found 37 new attacks. These were helped by: nsl7: All-Correct. This possibly breaks ['kaochow', 'kaochow2', 'kaochow3'] spliceAS: All-Flawed. This possibly breaks ['ns3', 'nsl3', 'spliceAShcCJ'] yahalom: All-Correct. This possibly breaks ['yahalomlowe'] yahalomBan: All-Correct. This possibly breaks ['wmfbrutus', 'yahalom'] spliceAShc: All-Flawed. This possibly breaks ['ns3', 'nsl3', 'spliceAShcCJ'] soph: All-Correct. This possibly breaks ['ns3', 'nsl3', 'spliceAShcCJ'] **************************************** Testing match 1 **************************************** Evaluating 561 tuples of 2 for 34 protocols. Testing 1 tuples using --summary --match=1 --arachne --timer=4 --max-runs=4 --max-length=18 Evaluated single results. Correct protocols: ['ccitt509', 'kaochow', 'yahalomBan', 'yahalomlowe', 'kaochow2', 'kaochow3', 'nssymmetric', 'otwayrees', 'wmfbrutus', 'bke', 'soph', 'nsl3', 'nsl7', 'denningsaccosh', 'yahalom', 'sophkx', 'isoiec11770213', 'woolamce', 'nssymmetricamended', 'kaochowPalm', 'andrewBan'] Partly flawed protocols: ['woolamcmv', 'andrewLoweBan', 'ksl', 'boyd', 'yahalompaulson', 'gongnonce', 'ns3', 'gongnonceb', 'spliceAShcCJ'] Completely flawed protocols: ['spliceAS', 'woolampif', 'tmn', 'spliceAShc'] Testing 2 tuples using --summary --match=1 --arachne --timer=4 --max-runs=4 --max-length=18 *** 0 121/561 boyd RV Secret_10 woolampif *** 1 121/561 boyd IV Secret_6 woolampif *** 2 125/561 boyd RV Secret_10 yahalom *** 3 125/561 boyd IV Secret_6 yahalom *** 4 144/561 ccitt509 RV Secret_8 spliceAShc *** 5 144/561 ccitt509 RV Secret_9 spliceAShc *** 6 145/561 ccitt509 RV Secret_9 spliceAS *** 7 145/561 ccitt509 RV Secret_8 spliceAS *** 8 145/561 ccitt509 IV Secret_5 spliceAS *** 9 145/561 ccitt509 IV Secret_4 spliceAS *** 10 146/561 ccitt509 RV Secret_8 tmn *** 11 146/561 ccitt509 IV Secret_5 tmn *** 12 146/561 ccitt509 IV Secret_4 tmn *** 13 146/561 ccitt509 RV Secret_9 tmn *** 14 159/561 kaochow RV Secret_10 denningsaccosh *** 15 159/561 kaochow RV Niagree_9 denningsaccosh *** 16 177/561 woolamcmv BV Secret_11 denningsaccosh *** 17 177/561 denningsaccosh AV Secret_4 woolamcmv *** 18 177/561 woolamcmv AV Secret_8 denningsaccosh *** 19 177/561 denningsaccosh AV Niagree_6 woolamcmv *** 20 177/561 denningsaccosh AV Nisynch_5 woolamcmv *** 21 177/561 woolamcmv SV Secret_14 denningsaccosh *** 22 180/561 denningsaccosh AV Niagree_6 yahalomlowe *** 23 180/561 denningsaccosh AV Nisynch_5 yahalomlowe *** 24 218/561 gongnonce IV Niagree_9 nsl7 *** 25 218/561 gongnonce IV Nisynch_8 nsl7 *** 26 301/561 kaochow RV Secret_10 woolamce *** 27 301/561 kaochow IV Niagree_6 woolamce *** 28 301/561 kaochow RV Nisynch_8 woolamce *** 29 301/561 kaochow RV Niagree_9 woolamce *** 30 301/561 kaochow IV Secret_7 woolamce *** 31 301/561 kaochow IV Nisynch_5 woolamce *** 32 303/561 kaochow RV Secret_10 woolampif *** 33 303/561 kaochow IV Niagree_6 woolampif *** 34 303/561 kaochow RV Nisynch_8 woolampif *** 35 303/561 kaochow RV Niagree_9 woolampif *** 36 303/561 kaochow IV Nisynch_5 woolampif *** 37 305/561 kaochow RV Secret_10 yahalomlowe *** 38 305/561 kaochow IV Niagree_6 yahalomlowe *** 39 305/561 kaochow IV Nisynch_5 yahalomlowe *** 40 305/561 kaochow RV Nisynch_8 yahalomlowe *** 41 305/561 kaochow RV Niagree_9 yahalomlowe *** 42 306/561 kaochow RV Secret_10 yahalompaulson *** 43 306/561 kaochow IV Niagree_6 yahalompaulson *** 44 306/561 yahalompaulson RV Secret_11 kaochow *** 45 306/561 kaochow RV Nisynch_8 yahalompaulson *** 46 306/561 kaochow RV Niagree_9 yahalompaulson *** 47 306/561 yahalompaulson IV Secret_8 kaochow *** 48 306/561 kaochow IV Nisynch_5 yahalompaulson *** 49 381/561 ns3 IV Secret_i2 tmn *** 50 390/561 nsl3 IV Nisynch_i4 nsl7 *** 51 390/561 nsl3 IV Niagree_i3 nsl7 *** 52 399/561 nsl3 RV Secret_r2 tmn *** 53 399/561 nsl3 IV Secret_i2 tmn *** 54 469/561 otwayrees BV Secret_6 yahalom *** 55 470/561 sophkx IV Secret_4 soph *** 56 497/561 spliceAShcCJ CV Secret_7 tmn *** 57 497/561 spliceAShcCJ SV Secret_8 tmn *** 58 538/561 wmfbrutus BV Secret_3 yahalompaulson *** 59 548/561 woolamcmv AV Secret_8 yahalomlowe *** 60 548/561 yahalomlowe IV Niagree_9 woolamcmv *** 61 548/561 yahalomlowe IV Secret_8 woolamcmv *** 62 548/561 yahalomlowe IV Nisynch_10 woolamcmv *** 63 548/561 woolamcmv SV Secret_14 yahalomlowe *** 64 549/561 yahalompaulson RV Secret_11 woolamcmv *** 65 553/561 yahalompaulson RV Secret_11 woolampif *** 66 560/561 yahalom BV Secret_6 yahalompaulson Processed 561 tuple combinations in total. Found 67 new attacks. These were helped by: woolamcmv: Mixed. This possibly breaks ['denningsaccosh', 'yahalomlowe', 'yahalompaulson'] kaochow: All-Correct. This possibly breaks ['yahalompaulson'] nsl7: All-Correct. This possibly breaks ['gongnonce', 'kaochow', 'nsl3'] denningsaccosh: All-Correct. This possibly breaks ['kaochow', 'woolamcmv'] spliceAS: All-Flawed. This possibly breaks ['ccitt509', 'ns3', 'nsl3', 'spliceAShcCJ'] yahalom: All-Correct. This possibly breaks ['boyd', 'otwayrees', 'yahalomlowe'] woolampif: All-Flawed. This possibly breaks ['boyd', 'kaochow', 'yahalompaulson'] yahalomBan: All-Correct. This possibly breaks ['wmfbrutus', 'yahalom'] spliceAShc: All-Flawed. This possibly breaks ['ccitt509', 'ns3', 'nsl3', 'spliceAShcCJ'] woolamce: All-Correct. This possibly breaks ['kaochow'] yahalompaulson: Mixed. This possibly breaks ['kaochow', 'wmfbrutus', 'yahalom'] yahalomlowe: All-Correct. This possibly breaks ['denningsaccosh', 'kaochow', 'woolamcmv'] soph: All-Correct. This possibly breaks ['nsl3', 'sophkx', 'spliceAShcCJ'] tmn: All-Flawed. This possibly breaks ['ccitt509', 'ns3', 'nsl3', 'spliceAShcCJ'] **************************************** Testing match 2 **************************************** Evaluating 561 tuples of 2 for 34 protocols. Testing 1 tuples using --summary --match=2 --arachne --timer=4 --max-runs=4 --max-length=18 Evaluated single results. Correct protocols: ['ccitt509', 'kaochow', 'yahalomlowe', 'kaochow2', 'kaochow3', 'nssymmetric', 'wmfbrutus', 'bke', 'soph', 'nsl3', 'nsl7', 'sophkx', 'isoiec11770213', 'woolamce', 'nssymmetricamended', 'kaochowPalm', 'andrewBan'] Partly flawed protocols: ['woolamcmv', 'andrewLoweBan', 'ksl', 'boyd', 'gongnonce', 'ns3', 'gongnonceb', 'denningsaccosh', 'yahalom', 'spliceAShcCJ'] Completely flawed protocols: ['spliceAS', 'yahalomBan', 'otwayrees', 'woolampif', 'tmn', 'spliceAShc', 'yahalompaulson'] Testing 2 tuples using --summary --match=2 --arachne --timer=4 --max-runs=4 --max-length=18 *** 0 118/561 wmfbrutus BV Secret_3 boyd *** 1 119/561 boyd RV Secret_10 woolamce *** 2 119/561 boyd IV Secret_6 woolamce *** 3 122/561 boyd RV Secret_10 yahalomBan *** 4 122/561 boyd IV Secret_6 yahalomBan *** 5 124/561 boyd RV Secret_10 yahalompaulson *** 6 124/561 boyd IV Secret_6 yahalompaulson *** 7 138/561 ccitt509 IV Secret_5 nssymmetricamended *** 8 138/561 ccitt509 RV Secret_8 nssymmetricamended *** 9 138/561 ccitt509 RV Secret_9 nssymmetricamended *** 10 138/561 ccitt509 IV Secret_4 nssymmetricamended *** 11 139/561 ccitt509 IV Secret_4 nssymmetric *** 12 139/561 ccitt509 RV Secret_8 nssymmetric *** 13 139/561 ccitt509 RV Secret_9 nssymmetric *** 14 139/561 ccitt509 IV Secret_5 nssymmetric *** 15 157/561 denningsaccosh BV Niagree_9 isoiec11770213 *** 16 166/561 denningsaccosh BV Secret_7 nssymmetricamended *** 17 166/561 denningsaccosh BV Niagree_9 nssymmetricamended *** 18 167/561 denningsaccosh BV Niagree_9 nssymmetric *** 19 167/561 denningsaccosh BV Secret_7 nssymmetric *** 20 168/561 denningsaccosh BV Niagree_9 otwayrees *** 21 175/561 denningsaccosh AV Niagree_6 wmfbrutus *** 22 175/561 denningsaccosh BV Niagree_9 wmfbrutus *** 23 179/561 denningsaccosh AV Secret_4 yahalomBan *** 24 179/561 denningsaccosh AV Niagree_6 yahalomBan *** 25 180/561 yahalomlowe RV Niagree_13 denningsaccosh *** 26 180/561 yahalomlowe RV Nisynch_12 denningsaccosh *** 27 180/561 yahalomlowe RV Secret_11 denningsaccosh *** 28 181/561 denningsaccosh AV Secret_4 yahalompaulson *** 29 181/561 denningsaccosh AV Niagree_6 yahalompaulson *** 30 182/561 denningsaccosh AV Niagree_6 yahalom *** 31 186/561 kaochow RV Secret_10 gongnonceb *** 32 186/561 kaochow RV Nisynch_8 gongnonceb *** 33 186/561 kaochow RV Niagree_9 gongnonceb *** 34 202/561 wmfbrutus BV Secret_3 gongnonceb *** 35 212/561 kaochow RV Secret_10 gongnonce *** 36 213/561 kaochow2 RV Secret_10 gongnonce *** 37 214/561 kaochow3 RV Secret_10 gongnonce *** 38 228/561 wmfbrutus BV Secret_3 gongnonce *** 39 253/561 wmfbrutus BV Secret_3 isoiec11770213 *** 40 277/561 wmfbrutus BV Secret_3 kaochowPalm *** 41 300/561 wmfbrutus BV Secret_3 kaochow *** 42 303/561 kaochow IV Secret_7 woolampif *** 43 304/561 kaochow RV Secret_10 yahalomBan *** 44 304/561 kaochow IV Niagree_6 yahalomBan *** 45 304/561 kaochow RV Nisynch_8 yahalomBan *** 46 304/561 kaochow RV Niagree_9 yahalomBan *** 47 304/561 kaochow IV Secret_7 yahalomBan *** 48 304/561 kaochow IV Nisynch_5 yahalomBan *** 49 306/561 kaochow IV Secret_7 yahalompaulson *** 50 322/561 wmfbrutus BV Secret_3 kaochow2 *** 51 325/561 kaochow2 RV Nisynch_8 woolampif *** 52 325/561 kaochow2 RV Niagree_9 woolampif *** 53 325/561 kaochow2 IV Niagree_6 woolampif *** 54 325/561 kaochow2 IV Secret_7 woolampif *** 55 325/561 kaochow2 IV Nisynch_5 woolampif *** 56 325/561 kaochow2 RV Secret_10 woolampif *** 57 326/561 kaochow2 RV Nisynch_8 yahalomBan *** 58 326/561 kaochow2 RV Niagree_9 yahalomBan *** 59 326/561 kaochow2 IV Niagree_6 yahalomBan *** 60 326/561 kaochow2 IV Secret_7 yahalomBan *** 61 326/561 kaochow2 IV Nisynch_5 yahalomBan *** 62 326/561 kaochow2 RV Secret_10 yahalomBan *** 63 328/561 kaochow2 RV Nisynch_8 yahalompaulson *** 64 328/561 kaochow2 RV Niagree_9 yahalompaulson *** 65 328/561 kaochow2 IV Secret_7 yahalompaulson *** 66 328/561 kaochow2 IV Niagree_6 yahalompaulson *** 67 328/561 kaochow2 IV Nisynch_5 yahalompaulson *** 68 328/561 kaochow2 RV Secret_10 yahalompaulson *** 69 343/561 wmfbrutus BV Secret_3 kaochow3 *** 70 346/561 kaochow3 RV Secret_10 woolampif *** 71 346/561 kaochow3 IV Niagree_6 woolampif *** 72 346/561 kaochow3 RV Nisynch_8 woolampif *** 73 346/561 kaochow3 RV Niagree_9 woolampif *** 74 346/561 kaochow3 IV Secret_7 woolampif *** 75 346/561 kaochow3 IV Nisynch_5 woolampif *** 76 347/561 kaochow3 RV Secret_10 yahalomBan *** 77 347/561 kaochow3 RV Niagree_9 yahalomBan *** 78 349/561 kaochow3 RV Secret_10 yahalompaulson *** 79 349/561 kaochow3 RV Nisynch_8 yahalompaulson *** 80 349/561 kaochow3 IV Niagree_6 yahalompaulson *** 81 349/561 kaochow3 IV Secret_7 yahalompaulson *** 82 349/561 kaochow3 IV Nisynch_5 yahalompaulson *** 83 349/561 kaochow3 RV Niagree_9 yahalompaulson *** 84 363/561 wmfbrutus BV Secret_3 ksl *** 85 371/561 ns3 IV Niagree_i3 nsl3 *** 86 371/561 ns3 IV Nisynch_i4 nsl3 *** 87 372/561 ns3 IV Niagree_i3 nsl7 *** 88 372/561 ns3 IV Nisynch_i4 nsl7 *** 89 373/561 ns3 IV Secret_i2 nssymmetricamended *** 90 374/561 ns3 IV Secret_i2 nssymmetric *** 91 391/561 nsl3 RV Secret_r2 nssymmetricamended *** 92 391/561 nsl3 IV Secret_i2 nssymmetricamended *** 93 392/561 nsl3 RV Secret_r2 nssymmetric *** 94 392/561 nsl3 IV Secret_i2 nssymmetric *** 95 429/561 spliceAShcCJ CV Secret_7 nssymmetricamended *** 96 429/561 spliceAShcCJ SV Secret_8 nssymmetricamended *** 97 444/561 spliceAShcCJ CV Secret_7 nssymmetric *** 98 444/561 spliceAShcCJ SV Secret_8 nssymmetric *** 99 533/561 wmfbrutus BV Secret_3 woolamce *** 100 535/561 wmfbrutus BV Secret_3 woolampif *** 101 537/561 yahalomlowe IV Niagree_9 wmfbrutus *** 102 537/561 yahalomlowe IV Nisynch_10 wmfbrutus *** 103 539/561 wmfbrutus BV Secret_3 yahalom *** 104 542/561 woolamce BV Secret_8 yahalomBan *** 105 544/561 woolamce BV Secret_8 yahalompaulson *** 106 547/561 woolamcmv BV Secret_11 yahalomBan *** 107 547/561 woolamcmv AV Secret_8 yahalomBan *** 108 549/561 woolamcmv BV Secret_11 yahalompaulson *** 109 549/561 woolamcmv AV Secret_8 yahalompaulson *** 110 557/561 yahalom AV Secret_5 yahalomBan *** 111 560/561 yahalom AV Secret_5 yahalompaulson Processed 561 tuple combinations in total. Found 112 new attacks. These were helped by: woolampif: All-Flawed. This possibly breaks ['boyd', 'kaochow', 'kaochow2', 'kaochow3', 'wmfbrutus'] spliceAS: All-Flawed. This possibly breaks ['nsl3', 'spliceAShcCJ'] kaochow: All-Correct. This possibly breaks ['wmfbrutus'] yahalomlowe: All-Correct. This possibly breaks ['denningsaccosh'] kaochow2: All-Correct. This possibly breaks ['wmfbrutus'] kaochow3: All-Correct. This possibly breaks ['wmfbrutus'] nssymmetric: All-Correct. This possibly breaks ['ccitt509', 'denningsaccosh', 'ns3', 'nsl3', 'spliceAShcCJ'] otwayrees: All-Flawed. This possibly breaks ['denningsaccosh'] yahalomBan: All-Flawed. This possibly breaks ['boyd', 'denningsaccosh', 'kaochow', 'kaochow2', 'kaochow3', 'wmfbrutus', 'woolamce', 'woolamcmv', 'yahalom'] wmfbrutus: All-Correct. This possibly breaks ['denningsaccosh', 'yahalomlowe'] ksl: Mixed. This possibly breaks ['wmfbrutus'] tmn: All-Flawed. This possibly breaks ['ccitt509', 'ns3', 'nsl3', 'spliceAShcCJ'] spliceAShc: All-Flawed. This possibly breaks ['spliceAShcCJ'] boyd: Mixed. This possibly breaks ['wmfbrutus'] kaochowPalm: All-Correct. This possibly breaks ['wmfbrutus'] gongnonce: Mixed. This possibly breaks ['kaochow', 'kaochow2', 'kaochow3', 'wmfbrutus'] soph: All-Correct. This possibly breaks ['nsl3', 'sophkx'] gongnonceb: Mixed. This possibly breaks ['kaochow', 'wmfbrutus'] nsl3: All-Correct. This possibly breaks ['ns3'] nsl7: All-Correct. This possibly breaks ['gongnonce', 'kaochow', 'ns3', 'nsl3'] denningsaccosh: Mixed. This possibly breaks ['woolamcmv', 'yahalomlowe'] yahalom: Mixed. This possibly breaks ['boyd', 'denningsaccosh', 'wmfbrutus', 'yahalomlowe'] isoiec11770213: All-Correct. This possibly breaks ['denningsaccosh', 'wmfbrutus'] woolamce: All-Correct. This possibly breaks ['boyd', 'kaochow', 'wmfbrutus'] nssymmetricamended: All-Correct. This possibly breaks ['ccitt509', 'denningsaccosh', 'ns3', 'nsl3', 'spliceAShcCJ'] yahalompaulson: All-Flawed. This possibly breaks ['boyd', 'denningsaccosh', 'kaochow', 'kaochow2', 'kaochow3', 'wmfbrutus', 'woolamce', 'woolamcmv', 'yahalom'] **************************************** Testing tuple width 3 **************************************** **************************************** Testing multiple match methods **************************************** **************************************** Testing match 0 **************************************** Evaluating 5984 tuples of 3 for 34 protocols. Evaluated single results. Correct protocols: ['ccitt509', 'kaochow', 'yahalomBan', 'yahalomlowe', 'kaochow2', 'kaochow3', 'nssymmetric', 'otwayrees', 'wmfbrutus', 'bke', 'soph', 'nsl3', 'nsl7', 'denningsaccosh', 'yahalom', 'sophkx', 'isoiec11770213', 'woolamce', 'nssymmetricamended', 'kaochowPalm', 'andrewBan'] Partly flawed protocols: ['woolamcmv', 'andrewLoweBan', 'ksl', 'boyd', 'yahalompaulson', 'gongnonce', 'ns3', 'gongnonceb', 'spliceAShcCJ'] Completely flawed protocols: ['spliceAS', 'woolampif', 'tmn', 'spliceAShc'] Testing 3 tuples using --summary --match=0 --arachne --timer=4 --max-runs=4 --max-length=18 Processed 5984 tuple combinations in total. Found 0 new attacks. **************************************** Testing match 1 **************************************** Evaluating 5984 tuples of 3 for 34 protocols. Evaluated single results. Correct protocols: ['ccitt509', 'kaochow', 'yahalomBan', 'yahalomlowe', 'kaochow2', 'kaochow3', 'nssymmetric', 'otwayrees', 'wmfbrutus', 'bke', 'soph', 'nsl3', 'nsl7', 'denningsaccosh', 'yahalom', 'sophkx', 'isoiec11770213', 'woolamce', 'nssymmetricamended', 'kaochowPalm', 'andrewBan'] Partly flawed protocols: ['woolamcmv', 'andrewLoweBan', 'ksl', 'boyd', 'yahalompaulson', 'gongnonce', 'ns3', 'gongnonceb', 'spliceAShcCJ'] Completely flawed protocols: ['spliceAS', 'woolampif', 'tmn', 'spliceAShc'] Testing 3 tuples using --summary --match=1 --arachne --timer=4 --max-runs=4 --max-length=18 *** 0 2587/5984 denningsaccosh AV Niagree_6 nssymmetricamended yahalom *** 1 2587/5984 denningsaccosh AV Nisynch_5 nssymmetricamended yahalom *** 2 2686/5984 denningsaccosh AV Niagree_6 wmfbrutus yahalom *** 3 2686/5984 denningsaccosh AV Nisynch_5 wmfbrutus yahalom *** 4 2687/5984 woolamce BV Secret_8 denningsaccosh woolamcmv *** 5 2697/5984 yahalom AV Secret_5 denningsaccosh woolamcmv *** 6 2702/5984 yahalomlowe RV Niagree_13 denningsaccosh yahalomBan *** 7 2702/5984 yahalomlowe RV Nisynch_12 denningsaccosh yahalomBan *** 8 2702/5984 yahalomlowe RV Secret_11 denningsaccosh yahalomBan *** 9 2704/5984 denningsaccosh AV Nisynch_5 yahalomBan yahalom *** 10 2704/5984 denningsaccosh AV Niagree_6 yahalomBan yahalom *** 11 2705/5984 yahalomlowe RV Niagree_13 denningsaccosh yahalompaulson *** 12 2705/5984 yahalomlowe RV Nisynch_12 denningsaccosh yahalompaulson *** 13 2705/5984 yahalomlowe RV Secret_11 denningsaccosh yahalompaulson *** 14 2707/5984 denningsaccosh AV Nisynch_5 yahalompaulson yahalom *** 15 2707/5984 denningsaccosh AV Niagree_6 yahalompaulson yahalom *** 16 4208/5984 yahalomBan AV Secret_5 kaochow yahalompaulson *** 17 4208/5984 yahalomBan BV Secret_6 kaochow yahalompaulson *** 18 5019/5984 nsl7 RV Secret_4 nsl3 soph *** 19 5021/5984 nsl7 RV Secret_5 nsl3 spliceAShc *** 20 5022/5984 nsl7 RV Secret_5 nsl3 spliceAS *** 21 5023/5984 nsl7 RV Secret_5 nsl3 tmn Processed 5984 tuple combinations in total. Found 22 new attacks. These were helped by: woolamcmv: Mixed. This possibly breaks ['woolamce', 'yahalom'] nsl3: All-Correct. This possibly breaks ['nsl7'] denningsaccosh: All-Correct. This possibly breaks ['woolamce', 'yahalom', 'yahalomlowe'] spliceAS: All-Flawed. This possibly breaks ['nsl7'] yahalom: All-Correct. This possibly breaks ['denningsaccosh'] kaochow: All-Correct. This possibly breaks ['yahalomBan'] yahalomBan: All-Correct. This possibly breaks ['yahalomlowe', 'denningsaccosh'] spliceAShc: All-Flawed. This possibly breaks ['nsl7'] wmfbrutus: All-Correct. This possibly breaks ['denningsaccosh'] nssymmetricamended: All-Correct. This possibly breaks ['denningsaccosh'] yahalompaulson: Mixed. This possibly breaks ['yahalomlowe', 'denningsaccosh', 'yahalomBan'] soph: All-Correct. This possibly breaks ['nsl7'] tmn: All-Flawed. This possibly breaks ['nsl7'] **************************************** Testing match 2 **************************************** Evaluating 5984 tuples of 3 for 34 protocols. Evaluated single results. Correct protocols: ['ccitt509', 'kaochow', 'yahalomlowe', 'kaochow2', 'kaochow3', 'nssymmetric', 'wmfbrutus', 'bke', 'soph', 'nsl3', 'nsl7', 'sophkx', 'isoiec11770213', 'woolamce', 'nssymmetricamended', 'kaochowPalm', 'andrewBan'] Partly flawed protocols: ['woolamcmv', 'andrewLoweBan', 'ksl', 'boyd', 'gongnonce', 'ns3', 'gongnonceb', 'denningsaccosh', 'yahalom', 'spliceAShcCJ'] Completely flawed protocols: ['spliceAS', 'yahalomBan', 'otwayrees', 'woolampif', 'tmn', 'spliceAShc', 'yahalompaulson'] Testing 3 tuples using --summary --match=2 --arachne --timer=4 --max-runs=4 --max-length=18 *** 0 450/5984 spliceAShcCJ SV Secret_8 andrewBan soph *** 1 1309/5984 ns3 IV Niagree_i3 bke tmn *** 2 1309/5984 ns3 IV Nisynch_i4 bke tmn *** 3 1414/5984 soph IV Niagree_3 bke tmn *** 4 1744/5984 ns3 IV Niagree_i3 boyd tmn *** 5 1744/5984 ns3 IV Nisynch_i4 boyd tmn *** 6 1849/5984 soph IV Niagree_3 boyd tmn *** 7 2150/5984 ns3 IV Niagree_i3 ccitt509 tmn *** 8 2150/5984 ns3 IV Nisynch_i4 ccitt509 tmn *** 9 2255/5984 soph IV Niagree_3 ccitt509 tmn *** 10 2437/5984 kaochow RV Secret_10 denningsaccosh nsl7 *** 11 2528/5984 ns3 IV Niagree_i3 denningsaccosh tmn *** 12 2528/5984 ns3 IV Nisynch_i4 denningsaccosh tmn *** 13 2633/5984 soph IV Niagree_3 denningsaccosh tmn *** 14 2981/5984 spliceAShcCJ SV Secret_8 gongnonceb soph *** 15 3306/5984 spliceAShcCJ SV Secret_8 gongnonce soph *** 16 3606/5984 spliceAShcCJ SV Secret_8 isoiec11770213 soph *** 17 3780/5984 ns3 IV Niagree_i3 kaochowPalm tmn *** 18 3780/5984 ns3 IV Nisynch_i4 kaochowPalm tmn *** 19 3882/5984 spliceAShcCJ SV Secret_8 kaochowPalm soph *** 20 4135/5984 spliceAShcCJ SV Secret_8 kaochow soph *** 21 4210/5984 yahalomlowe RV Niagree_13 kaochow yahalompaulson *** 22 4366/5984 spliceAShcCJ SV Secret_8 kaochow2 soph *** 23 4441/5984 yahalomlowe RV Niagree_13 kaochow2 yahalompaulson *** 24 4514/5984 kaochow3 IV Secret_7 nsl7 yahalomBan *** 25 4514/5984 kaochow3 IV Niagree_6 nsl7 yahalomBan *** 26 4514/5984 kaochow3 RV Nisynch_8 nsl7 yahalomBan *** 27 4514/5984 kaochow3 IV Nisynch_5 nsl7 yahalomBan *** 28 4576/5984 spliceAShcCJ SV Secret_8 kaochow3 soph *** 29 4651/5984 yahalomlowe RV Niagree_13 kaochow3 yahalompaulson *** 30 4886/5984 ns3 IV Niagree_i3 nssymmetricamended tmn *** 31 4886/5984 ns3 IV Nisynch_i4 nssymmetricamended tmn *** 32 4901/5984 ns3 IV Niagree_i3 nssymmetric tmn *** 33 4901/5984 ns3 IV Nisynch_i4 nssymmetric tmn *** 34 5015/5984 nsl7 RV Secret_5 nssymmetricamended nsl3 *** 35 5016/5984 nsl7 RV Secret_5 nssymmetric nsl3 *** 36 5349/5984 soph IV Niagree_3 nssymmetricamended tmn *** 37 5454/5984 soph IV Niagree_3 nssymmetric tmn Processed 5984 tuple combinations in total. Found 38 new attacks. These were helped by: bke: All-Correct. This possibly breaks ['ns3', 'soph'] spliceAS: All-Flawed. This possibly breaks ['nsl7'] kaochow: All-Correct. This possibly breaks ['spliceAShcCJ', 'yahalomlowe'] kaochow2: All-Correct. This possibly breaks ['spliceAShcCJ', 'yahalomlowe'] kaochow3: All-Correct. This possibly breaks ['spliceAShcCJ', 'yahalomlowe'] nssymmetric: All-Correct. This possibly breaks ['ns3', 'nsl7', 'soph'] gongnonce: Mixed. This possibly breaks ['spliceAShcCJ'] yahalomBan: All-Flawed. This possibly breaks ['kaochow3'] tmn: All-Flawed. This possibly breaks ['ns3', 'soph', 'nsl7'] ccitt509: All-Correct. This possibly breaks ['ns3', 'soph'] boyd: Mixed. This possibly breaks ['ns3', 'soph'] kaochowPalm: All-Correct. This possibly breaks ['ns3', 'spliceAShcCJ'] spliceAShc: All-Flawed. This possibly breaks ['nsl7'] soph: All-Correct. This possibly breaks ['spliceAShcCJ', 'nsl7'] woolamcmv: Mixed. This possibly breaks ['yahalom'] gongnonceb: Mixed. This possibly breaks ['spliceAShcCJ'] nsl3: All-Correct. This possibly breaks ['nsl7'] nsl7: All-Correct. This possibly breaks ['kaochow', 'kaochow3'] denningsaccosh: Mixed. This possibly breaks ['kaochow', 'ns3', 'soph', 'yahalom'] isoiec11770213: All-Correct. This possibly breaks ['spliceAShcCJ'] nssymmetricamended: All-Correct. This possibly breaks ['ns3', 'nsl7', 'soph'] yahalompaulson: All-Flawed. This possibly breaks ['yahalomlowe'] andrewBan: All-Correct. This possibly breaks ['spliceAShcCJ']