`
totoxian
  • 浏览: 1040493 次
  • 性别: Icon_minigender_2
  • 来自: 西安
文章分类
社区版块
存档分类
最新评论

ssl证书链的验证的其它方式

 
阅读更多

<!-- [if !mso]> <mce:style><!-- v/:* {behavior:url(#default#VML);} o/:* {behavior:url(#default#VML);} w/:* {behavior:url(#default#VML);} .shape {behavior:url(#default#VML);} --> <!-- [endif]--><!-- [if gte mso 9]><xml> <w:WordDocument> <w:View>Normal</w:View> <w:Zoom>0</w:Zoom> <w:PunctuationKerning/> <w:DrawingGridVerticalSpacing>7.8 磅</w:DrawingGridVerticalSpacing> <w:DisplayHorizontalDrawingGridEvery>0</w:DisplayHorizontalDrawingGridEvery> <w:DisplayVerticalDrawingGridEvery>2</w:DisplayVerticalDrawingGridEvery> <w:ValidateAgainstSchemas/> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:Compatibility> <w:SpaceForUL/> <w:BalanceSingleByteDoubleByteWidth/> <w:DoNotLeaveBackslashAlone/> <w:ULTrailSpace/> <w:DoNotExpandShiftReturn/> <w:AdjustLineHeightInTable/> <w:BreakWrappedTables/> <w:SnapToGridInCell/> <w:WrapTextWithPunct/> <w:UseAsianBreakRules/> <w:DontGrowAutofit/> <w:UseFELayout/> </w:Compatibility> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> </w:WordDocument> </xml><![endif]--><!-- [if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" LatentStyleCount="156"> </w:LatentStyles> </xml><![endif]--> ssl 证书链的验证主要分为两种方式,自上而下和自下而上,其中自上而下又可以分为两种方式,其中一种就是 openssl 的实现方式,也就是《 openssl 的证书链的验证 》中介绍的其中一种方式,另一种是自上而下与自下而上结合的方式;在自下而上的验证方式中也可以分为两种方式,一种是平坦遍历的方式,另一种是分级别的遍历方式。鉴于自上而下的单链方式和基于等级的自下而上的方式已经在《 openssl 的证书链的验证 》中有所介绍,本文仅介绍余下来的另外两种方式,首先看看自上而下与自下而上结合的方式,下图为一个 CA 体系的真实逻辑结构:

<!-- [if mso & !supportInlineShapes & supportFields]><span lang=EN-US><span style="mso-element:field-begin;mso-field-lock:yes" mce_style="mso-element:field-begin;mso-field-lock:yes"></span><span style='mso-spacerun:yes'>&nbsp;</span>SHAPE<span style="mso-spacerun:yes" mce_style="mso-spacerun:yes">&nbsp; </span>/* MERGEFORMAT <span style="mso-element:field-separator" mce_style="mso-element:field-separator"></span></span><![endif]--><!-- [if gte vml 1]><v:group id="_x0000_s1035" editas="orgchart" style='width:414pt;height:195pt;mso-position-horizontal-relative:char; mso-position-vertical-relative:line' coordorigin="1570,3205" coordsize="19529,4278"> <o:lock v:ext="edit" aspectratio="t"/> <o:diagram v:ext="edit" dgmstyle="0" dgmscalex="28994" dgmscaley="64525" dgmfontsize="5" constrainbounds="0,0,0,0"> <o:relationtable v:ext="edit"> <o:rel v:ext="edit" idsrc="#_s1050" iddest="#_s1050"/> <o:rel v:ext="edit" idsrc="#_s1051" iddest="#_s1050" idcntr="#_s1049"/> <o:rel v:ext="edit" idsrc="#_s1052" iddest="#_s1050" idcntr="#_s1048"/> <o:rel v:ext="edit" idsrc="#_s1053" iddest="#_s1050" idcntr="#_s1047"/> <o:rel v:ext="edit" idsrc="#_s1054" iddest="#_s1051" idcntr="#_s1046"/> <o:rel v:ext="edit" idsrc="#_s1055" iddest="#_s1051" idcntr="#_s1045"/> <o:rel v:ext="edit" idsrc="#_s1056" iddest="#_s1051" idcntr="#_s1044"/> <o:rel v:ext="edit" idsrc="#_s1057" iddest="#_s1051" idcntr="#_s1043"/> <o:rel v:ext="edit" idsrc="#_s1059" iddest="#_s1052" idcntr="#_s1041"/> <o:rel v:ext="edit" idsrc="#_s1060" iddest="#_s1053" idcntr="#_s1040"/> <o:rel v:ext="edit" idsrc="#_s1061" iddest="#_s1053" idcntr="#_s1039"/> <o:rel v:ext="edit" idsrc="#_s1058" iddest="#_s1054" idcntr="#_s1042"/> <o:rel v:ext="edit" idsrc="#_s1062" iddest="#_s1056" idcntr="#_s1038"/> <o:rel v:ext="edit" idsrc="#_s1063" iddest="#_s1061" idcntr="#_s1037"/> </o:relationtable> </o:diagram> <v:shapetype id="_x0000_t75" coordsize="21600,21600" o:spt="75" o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f"> <v:stroke joinstyle="miter"/> <v:formulas> <v:f eqn="if lineDrawn pixelLineWidth 0"/> <v:f eqn="sum @0 1 0"/> <v:f eqn="sum 0 0 @1"/> <v:f eqn="prod @2 1 2"/> <v:f eqn="prod @3 21600 pixelWidth"/> <v:f eqn="prod @3 21600 pixelHeight"/> <v:f eqn="sum @0 0 1"/> <v:f eqn="prod @6 1 2"/> <v:f eqn="prod @7 21600 pixelWidth"/> <v:f eqn="sum @8 21600 0"/> <v:f eqn="prod @7 21600 pixelHeight"/> <v:f eqn="sum @10 21600 0"/> </v:formulas> <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/> <o:lock v:ext="edit" aspectratio="t"/> </v:shapetype><v:shape id="_x0000_s1036" type="#_x0000_t75" style='position:absolute; left:1570;top:3205;width:19529;height:4278' o:preferrelative="f"> <v:fill o:detectmouseclick="t"/> <v:path o:extrusionok="t" o:connecttype="none"/> <o:lock v:ext="edit" text="t"/> </v:shape><v:shapetype id="_x0000_t33" coordsize="21600,21600" o:spt="33" o:oned="t" path="m,l21600,r,21600e" filled="f"> <v:stroke joinstyle="miter"/> <v:path arrowok="t" fillok="f" o:connecttype="none"/> <o:lock v:ext="edit" shapetype="t"/> </v:shapetype><v:shape id="_s1037" o:spid="_x0000_s1037" type="#_x0000_t33" style='position:absolute;left:18472;top:6316;width:375;height:779;rotation:180' o:connectortype="elbow" adj="-1241660,-112442,-1241660" strokeweight="2.25pt"/> <v:shape id="_s1038" o:spid="_x0000_s1038" type="#_x0000_t33" style='position:absolute; left:7955;top:6316;width:375;height:779;rotation:180' o:connectortype="elbow" adj="-635909,-112442,-635909" strokeweight="2.25pt"/> <v:shapetype id="_x0000_t34" coordsize="21600,21600" o:spt="34" o:oned="t" adj="10800" path="m,l@0,0@0,21600,21600,21600e" filled="f"> <v:stroke joinstyle="miter"/> <v:formulas> <v:f eqn="val #0"/> </v:formulas> <v:path arrowok="t" fillok="f" o:connecttype="none"/> <v:handles> <v:h position="#0,center"/> </v:handles> <o:lock v:ext="edit" shapetype="t"/> </v:shapetype><v:shape id="_s1039" o:spid="_x0000_s1039" type="#_x0000_t34" style='position:absolute;left:17619;top:4686;width:389;height:1317; rotation:270;flip:x' o:connectortype="elbow" adj="10830,88181,-546450" strokeweight="2.25pt"/> <v:shape id="_s1040" o:spid="_x0000_s1040" type="#_x0000_t34" style='position:absolute; left:16305;top:4689;width:389;height:1311;rotation:270' o:connectortype="elbow" adj="10830,-88498,-478668" strokeweight="2.25pt"/> <v:shapetype id="_x0000_t32" coordsize="21600,21600" o:spt="32" o:oned="t" path="m,l21600,21600e" filled="f"> <v:path arrowok="t" fillok="f" o:connecttype="none"/> <o:lock v:ext="edit" shapetype="t"/> </v:shapetype><v:shape id="_s1041" o:spid="_x0000_s1041" type="#_x0000_t32" style='position:absolute;left:13020;top:5344;width:389;height:1;rotation:270' o:connectortype="elbow" adj="-410826,-1,-410826" strokeweight="2.25pt"/> <v:shape id="_s1042" o:spid="_x0000_s1042" type="#_x0000_t33" style='position:absolute; left:2697;top:6317;width:375;height:778;rotation:180' o:connectortype="elbow" adj="-333102,-112600,-333102" strokeweight="2.25pt"/> <v:shape id="_s1043" o:spid="_x0000_s1043" type="#_x0000_t34" style='position:absolute; left:8418;top:3373;width:389;height:3943;rotation:270;flip:x' o:connectortype="elbow" adj="10830,29429,-342984" strokeweight="2.25pt"/> <v:shape id="_s1044" o:spid="_x0000_s1044" type="#_x0000_t34" style='position:absolute; left:7103;top:4688;width:389;height:1314;rotation:270;flip:x' o:connectortype="elbow" adj="10830,88339,-275141" strokeweight="2.25pt"/> <v:shape id="_s1045" o:spid="_x0000_s1045" type="#_x0000_t34" style='position:absolute; left:5789;top:4688;width:389;height:1314;rotation:270' o:connectortype="elbow" adj="10830,-88339,-207360" strokeweight="2.25pt"/> <v:shape id="_s1046" o:spid="_x0000_s1046" type="#_x0000_t34" style='position:absolute; left:4474;top:3373;width:389;height:3944;rotation:270' o:connectortype="elbow" adj="10830,-29429,-139518" strokeweight="2.25pt"/> <v:shape id="_s1047" o:spid="_x0000_s1047" type="#_x0000_t34" style='position:absolute; left:14332;top:1549;width:389;height:5257;rotation:270;flip:x' o:connectortype="elbow" adj="10830,11764,-512498" strokeweight="2.25pt"/> <v:shape id="_s1048" o:spid="_x0000_s1048" type="#_x0000_t34" style='position:absolute; left:12361;top:3520;width:389;height:1316;rotation:270;flip:x' o:connectortype="elbow" adj="10830,46994,-410826" strokeweight="2.25pt"/> <v:shape id="_s1049" o:spid="_x0000_s1049" type="#_x0000_t34" style='position:absolute; left:9075;top:1549;width:389;height:5257;rotation:270' o:connectortype="elbow" adj="10830,-11764,-241251" strokeweight="2.25pt"/> <v:roundrect id="_s1050" o:spid="_x0000_s1050" style='position:absolute; left:10771;top:3205;width:2254;height:778;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="0" o:dgmnodekind="1" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>root<o:p></o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1051" o:spid="_x0000_s1051" style='position:absolute; left:5513;top:4372;width:2254;height:778;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="0" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>A-1<o:p></o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1052" o:spid="_x0000_s1052" style='position:absolute; left:12086;top:4372;width:2254;height:778;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="0" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>A-2<o:p></o:p></span></p> <p class=MsoNormal><span lang=EN-US><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1053" o:spid="_x0000_s1053" style='position:absolute; left:16029;top:4372;width:2254;height:778;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="0" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>A-3<o:p></o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1054" o:spid="_x0000_s1054" style='position:absolute; left:1570;top:5539;width:2253;height:778;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>B-1<o:p></o:p></span></p> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:4.5pt;mso-bidi-font-size:12.0pt'><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1055" o:spid="_x0000_s1055" style='position:absolute; left:4199;top:5539;width:2253;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>B-2<o:p></o:p></span></p> <p class=MsoNormal><span lang=EN-US><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1056" o:spid="_x0000_s1056" style='position:absolute; left:6828;top:5539;width:2253;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>B-3<o:p></o:p></span></p> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:4.0pt;mso-bidi-font-size:12.0pt'><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1057" o:spid="_x0000_s1057" style='position:absolute; left:9457;top:5539;width:2254;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>B-4<o:p></o:p></span></p> <p class=MsoNormal><span lang=EN-US><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1058" o:spid="_x0000_s1058" style='position:absolute; left:3072;top:6706;width:2253;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>C-1<o:p></o:p></span></p> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:4.5pt;mso-bidi-font-size:12.0pt'><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1059" o:spid="_x0000_s1059" style='position:absolute; left:12087;top:5539;width:2253;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>B-5<o:p></o:p></span></p> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:4.5pt;mso-bidi-font-size:12.0pt'><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1060" o:spid="_x0000_s1060" style='position:absolute; left:14716;top:5539;width:2252;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>B-6<o:p></o:p></span></p> <p class=MsoNormal><span lang=EN-US><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1061" o:spid="_x0000_s1061" style='position:absolute; left:17344;top:5539;width:2252;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>B-7<o:p></o:p></span></p> <p class=MsoNormal><span lang=EN-US><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1062" o:spid="_x0000_s1062" style='position:absolute; left:8330;top:6706;width:2253;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>C-2<o:p></o:p></span></p> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:4.5pt;mso-bidi-font-size:12.0pt'><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1063" o:spid="_x0000_s1063" style='position:absolute; left:18846;top:6706;width:2253;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>C-3<o:p></o:p></span></p> <p class=MsoNormal><span lang=EN-US><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><w:wrap type="none"/> <w:anchorlock/> </v:group><![endif]--><!-- [if !vml]-->root[a1[b1[c1],b2,b3[c2],b4],a2[b5],a3[b6,b7[c3]]]<!-- [endif]--> <!-- [if mso & !supportInlineShapes & supportFields]><span lang=EN-US><v:shape id="_x0000_i1025" type="#_x0000_t75" style='width:414pt; height:195pt'> <v:imagedata croptop="-65520f" cropbottom="65520f"/> </v:shape><span style="mso-element:field-end" mce_style="mso-element:field-end"></span></span><![endif]-->

下面是 openssl 框架将上述结构载入内存的实际结构,可以看出,具体的颁发关系已经没有了,只剩下了一个只有级别的吊链结构,我们要做的就是在这个吊链结构中遍历,而且是自上而下的遍历,寻找一切有可能的验证路径,这就涉及到了图算法,也就是图的遍历算法,但是实际上这个图并没有想象的那么复杂,而可以被看做是一棵树,具体的算法见下面的伪代码和文字解释:

<!-- [if mso & !supportInlineShapes & supportFields]><span lang=EN-US><span style="mso-element:field-begin;mso-field-lock:yes" mce_style="mso-element:field-begin;mso-field-lock:yes"></span><span style='mso-spacerun:yes'>&nbsp;</span>SHAPE<span style="mso-spacerun:yes" mce_style="mso-spacerun:yes">&nbsp; </span>/* MERGEFORMAT <span style="mso-element:field-separator" mce_style="mso-element:field-separator"></span></span><![endif]--><!-- [if gte vml 1]><v:group id="_x0000_s1026" editas="orgchart" style='width:414pt;height:195pt;mso-position-horizontal-relative:char; mso-position-vertical-relative:line' coordorigin="1570,1353" coordsize="3757,4277"> <o:lock v:ext="edit" aspectratio="t"/> <o:diagram v:ext="edit" dgmstyle="0" dgmscalex="150716" dgmscaley="64540" dgmfontsize="11" constrainbounds="0,0,0,0"> <o:relationtable v:ext="edit"> <o:rel v:ext="edit" idsrc="#_s1031" iddest="#_s1031"/> <o:rel v:ext="edit" idsrc="#_s1032" iddest="#_s1031" idcntr="#_s1030"/> <o:rel v:ext="edit" idsrc="#_s1033" iddest="#_s1032" idcntr="#_s1029"/> <o:rel v:ext="edit" idsrc="#_s1034" iddest="#_s1033" idcntr="#_s1028"/> </o:relationtable> </o:diagram> <v:shape id="_x0000_s1027" type="#_x0000_t75" style='position:absolute;left:1570; top:1353;width:3757;height:4277' o:preferrelative="f"> <v:fill o:detectmouseclick="t"/> <v:path o:extrusionok="t" o:connecttype="none"/> <o:lock v:ext="edit" text="t"/> </v:shape><v:shape id="_s1028" o:spid="_x0000_s1028" type="#_x0000_t33" style='position:absolute;left:2697;top:4464;width:376;height:778;rotation:180' o:connectortype="elbow" adj="-133748,-245491,-133748" strokeweight="2.25pt"/> <v:shape id="_s1029" o:spid="_x0000_s1029" type="#_x0000_t32" style='position:absolute; left:2503;top:3491;width:389;height:1;rotation:270' o:connectortype="elbow" adj="-262312,-1,-262312" strokeweight="2.25pt"/> <v:shape id="_s1030" o:spid="_x0000_s1030" type="#_x0000_t32" style='position:absolute; left:2503;top:2325;width:389;height:1;rotation:270' o:connectortype="elbow" adj="-261573,-1,-261573" strokeweight="2.25pt"/> <v:roundrect id="_s1031" o:spid="_x0000_s1031" style='position:absolute; left:1570;top:1353;width:2254;height:778;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="0" o:dgmnodekind="1" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><b style='mso-bidi-font-weight:normal'><span lang=EN-US style="font-size: 13.0pt;mso-bidi-font-size:14.0pt" mce_style="font-size: 13.0pt;mso-bidi-font-size:14.0pt">root<o:p></o:p></span></b></p> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1032" o:spid="_x0000_s1032" style='position:absolute; left:1570;top:2520;width:2254;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="0" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>A-1, A-2, A-3<o:p></o:p></span></p> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span lang=EN-US style="font-size:14.0pt" mce_style="font-size:14.0pt"><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span lang=EN-US>,,</span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1033" o:spid="_x0000_s1033" style='position:absolute; left:1570;top:3686;width:2254;height:778;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>B-1, B-2, B-3, B-4, B-5, B-6, B-7<o:p></o:p></span></p> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'><o:p>&nbsp;</o:p></span></p> <p class=MsoNormal><span lang=EN-US><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><v:roundrect id="_s1034" o:spid="_x0000_s1034" style='position:absolute; left:3073;top:4853;width:2254;height:777;v-text-anchor:middle' arcsize="10923f" o:dgmlayout="2" o:dgmnodekind="0" fillcolor="#bbe0e3"> <v:textbox inset="0,0,0,0"> <![if !mso]> <table cellpadding=0 cellspacing=0 width="100%"> <tr> <td><![endif]> <div> <p class=MsoNormal align=center style="text-align:center" mce_style="text-align:center"><span lang=EN-US style='font-size:14.0pt'>C-1, C-2, C-3</span></p> <p class=MsoNormal><span lang=EN-US style="font-size:14.0pt" mce_style="font-size:14.0pt">C-1,</span></p> <p class=MsoNormal><span lang=EN-US><o:p>&nbsp;</o:p></span></p> </div> <![if !mso]></td> </tr> </table> <![endif]></v:textbox> </v:roundrect><w:wrap type="none"/> <w:anchorlock/> </v:group><![endif]--><!-- [if !vml]--><!-- [endif]--> <!-- [if mso & !supportInlineShapes & supportFields]><span lang=EN-US><v:shape id="_x0000_i1026" type="#_x0000_t75" style='width:414pt; height:195pt'> <v:imagedata croptop="-65520f" cropbottom="65520f"/> </v:shape><span style="mso-element:field-end" mce_style="mso-element:field-end"></span></span><![endif]-->

root

a1-a2-a3

b1-b2-b3-b4-b5-b6-b7

c1-c2-c3

伪代码如下,如不具体,请指导或添加,可以道明的是,肯定不完整,我真心希望有志同道合的家伙和我一起探讨linux内核或者openssl的点点滴滴:

Root->A1->B1->C2(failed)

B2->C2(failed)

…. (可能导致复杂的回溯算法,见下面的解释)

B3->C2(right)

Get upper level and set to A

Set B3 to To_cert

RETRY:

For-each in A as a

If a can verify To_cert

Get upper level and set to A

Set a to To_cert

RETRY.

If all upper failed

Failed!

首先从 root 依次往下验证,每一层按照从链表头到尾的顺序,直到验证失败,然后回到验证方的兄弟,将之作为新的验证方重新验证被验证方,如果所有兄弟都已用尽,也就是说全部验证失败,那么被验证方做上标记,作废之,并且回到全军覆没的兄弟的再上一层的已经参加过验证的兄弟,然后将之作为新的验证方,重新开始验证全军覆没的兄弟的第一个,依次类推!注意有个例外情况,那就是验证最下层用户证书的时候,因为用户证书只有一个,并且是确定的一个,那么如果上层的所有兄弟都验证失败,就可以证明结果的失败,没有必要往上继续回溯了,否则就要回溯。只要在回溯的过程中有验证正确的,那么就要开始向上验证,一直到根,如果到不了根,那么这条回溯路径上的所有的证书将被做上标记,以后不再参与验证,全部作废,因为一个证书只能由一个 ca 颁发,所以从 root 到用户证书的路径如果有的话只有一条,这个看似复杂的基于图的回溯算法实际上很少有需要完全遍历的情况。

最后一种方式就是平坦的验证方式,就是针对每个证书,都要尽可能遍历store中的所有证书进行验证,代码如下,比较简单,但是对于用int类型做depth来说,最大的证书链深度也就限定为了32
static int OpenSSL_VerifyChain(X509 **chain, int n, X509 *cert)
{
int i;
unsigned long flag = 0;
int rv = 0;
X509_NAME *name1, *name2;
EVP_PKEY *pkey;
...
while(1) {
if(i == n)
return -rv;
name1 = X509_get_issuer_name(cert);
name2 = X509_get_subject_name(cert);
if(OpenSSL_X509NameEqual(name1,name2)) {
pkey = X509_get_pubkey(cert);
if(!X509_verify(cert, pkey))
return -rv;
return rv;
}
for(i = 0; i < n; i++) {
if(flag & (1<<i)) //跳过已经验证过的证书
continue;
name2 = X509_get_subject_name(*(chain+i));
if(OpenSSL_X509NameEqual(name1,name2)){
if(!OpenSSL_CertValidity(*(chain+i)))
return -rv;
pkey = X509_get_pubkey(*(chain+i));
if(!X509_verify(cert, pkey))
return -rv;
//一个位作为索引,以该索引取得的证书以后不用再参与验证了,已经完成关于它的验证了
flag |= 1<<i;
cert = *(chain+i); //继续下一个
break;
}
}
rv++;
}
}

分享到:
评论

相关推荐

Global site tag (gtag.js) - Google Analytics