豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数学运算」之「安全随机」之书。
寻观「安全外壳协议」之「协商」之书。
寻观「安全外壳协议」之「密钥交换」之书。
寻观「安全外壳会话」之「重换钥」之书。

「服务端重换名称列」乃化「字节串」而化「整数」而「字节串」也。
「服务端重换名称列」者会「载荷」而会「序」而
  鉴「读取协商名称列」于「载荷」于「序」而
    有（「可有」于「列文」）则「列文」
    或有「可无」则
      「发生事故」授以「字节串」于『重换钥缺少协商名称列』
也。

「服务端重换客户公钥」乃化「字节串」而「字节串」也。
「服务端重换客户公钥」者会「载荷」而
  鉴「读取曲线换钥初报」于「载荷」而
    有（「可有」于「公钥」）则「公钥」
    或有「可无」则
      「发生事故」授以「字节串」于『重换钥曲线初报非法』
也。

「：文言：验双向曲线、主钥、密法与无压缩，生成三十一号回报及待换钥态；首会话号不易。汉语：验证本轮 KEXINIT 算法和客户端 ECDH_INIT，生成服务端 ECDH_REPLY 及保留首次 session_id 的待切换密钥状态；调用方负责发送与 NEWKEYS 边界。：」
「准备服务端重换钥回报」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  （「字节串」合「重换钥状态」）
也。
「准备服务端重换钥回报」者
  会「客户版本」而
  会「服务版本」而
  会「客户协商」而
  会「服务协商」而
  会「曲线初报」而
  会「主种」而
  会「首会话号」而
  虑「无」者
    若「协商载荷可用吗」于「客户协商」则「元」否则「发生事故」授以「有」
    于『重换钥客户 KEXINIT 非法』
  而
  虑「无」者
    若「协商载荷可用吗」于「服务协商」则「元」否则「发生事故」授以「有」
    于『重换钥服务 KEXINIT 非法』
  而
  虑「客户曲线」者「服务端重换名称列」于「客户协商」于「零」而
  虑「客户主钥」者「服务端重换名称列」于「客户协商」于「一」而
  虑「客户客发密」者「服务端重换名称列」于「客户协商」于「二」而
  虑「客户服发密」者「服务端重换名称列」于「客户协商」于「三」而
  虑「客户客发压」者「服务端重换名称列」于「客户协商」于「六」而
  虑「客户服发压」者「服务端重换名称列」于「客户协商」于「七」而
  虑「可用曲线」者
    「名称列含名吗」于「客户曲线」于（「字符串转字节串」于『curve25519-sha256』）而
    虑「可用主钥」者
      「名称列含名吗」于「客户主钥」于（「字符串转字节串」于『ssh-ed25519』）
    而
    虑「可用客发密」者
      「名称列含名吗」于「客户客发密」于（「字符串转字节串」于『aes256-gcm@openssh.com』）
    而
    虑「可用服发密」者
      「名称列含名吗」于「客户服发密」于（「字符串转字节串」于『aes256-gcm@openssh.com』）
    而
    虑「可用客发压」者
      「名称列含名吗」于「客户客发压」于（「字符串转字节串」于『none』）
    而
    虑「可用服发压」者
      「名称列含名吗」于「客户服发压」于（「字符串转字节串」于『none』）
    而
    虑「无」者
      若「可用曲线」则「元」否则「发生事故」授以「有」于『重换钥无共同曲线』
    而
    虑「无」者
      若「可用主钥」则「元」否则「发生事故」授以「有」于『重换钥无共同主钥』
    而
    虑「无」者
      若「可用客发密」则「元」否则「发生事故」授以「有」
      于『重换钥客户发送密法不符』
    而
    虑「无」者
      若「可用服发密」则「元」否则「发生事故」授以「有」
      于『重换钥服务发送密法不符』
    而
    虑「无」者
      若「可用客发压」则「元」否则「发生事故」授以「有」
      于『重换钥客户发送压缩不符』
    而
    虑「无」者
      若「可用服发压」则「元」否则「发生事故」授以「有」
      于『重换钥服务发送压缩不符』
    而
    虑「无」者
      若「名称列含名吗」于（「服务端重换名称列」于「服务协商」于「零」）
      于（「字符串转字节串」于『curve25519-sha256』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端曲线未提供』
    而
    虑「无」者
      若「名称列含名吗」于（「服务端重换名称列」于「服务协商」于「一」）
      于（「字符串转字节串」于『ssh-ed25519』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端主钥未提供』
    而
    虑「无」者
      若「名称列含名吗」
        于（「服务端重换名称列」于「服务协商」于「二」）
        于（「字符串转字节串」于『aes256-gcm@openssh.com』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端接收密法未提供』
    而
    虑「无」者
      若「名称列含名吗」
        于（「服务端重换名称列」于「服务协商」于「三」）
        于（「字符串转字节串」于『aes256-gcm@openssh.com』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端发送密法未提供』
    而
    虑「无」者
      若「名称列含名吗」于（「服务端重换名称列」于「服务协商」于「六」）
      于（「字符串转字节串」于『none』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端接收压缩未提供』
    而
    虑「无」者
      若「名称列含名吗」于（「服务端重换名称列」于「服务协商」于「七」）
      于（「字符串转字节串」于『none』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端发送压缩未提供』
    而
    虑「客户公钥」者「服务端重换客户公钥」于「曲线初报」而
    虑「新种」者「获取安全随机字节串」于「三二」而
    虑「回报与密哈」者
      「生成曲线服务端回报」于「客户版本」于「服务版本」于「客户协商」于「服务协商」于「客户公钥」于「新种」于「主种」
    而
    （「回报与密哈」中「零」）
      与（「准备重换钥」于「首会话号」于（「回报与密哈」中「一」）于（「回报与密哈」中「二」）于「阴」）
也。