{"id":5983,"date":"2023-05-29T09:47:03","date_gmt":"2023-05-29T01:02:03","guid":{"rendered":"https:\/\/www.inforsec.org\/wp\/?p=5983"},"modified":"2023-05-29T09:47:03","modified_gmt":"2023-05-29T01:02:03","slug":"%e3%80%90inforsec2023-%e5%b9%b4%e4%bc%9a%e8%ae%ba%e5%9d%9b%e5%9b%9e%e9%a1%be%e3%80%91%e7%8e%8b%e5%b8%85%ef%bc%9a%e8%bd%af%e4%bb%b6%e4%be%a7%e4%bf%a1%e9%81%93%e6%bc%8f%e6%b4%9e%e6%a3%80%e6%b5%8b","status":"publish","type":"post","link":"http:\/\/202.112.238.40\/wp\/?p=5983","title":{"rendered":"\u3010InForSec2023 \u5e74\u4f1a\u8bba\u575b\u56de\u987e\u3011\u738b\u5e05\uff1a\u8f6f\u4ef6\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u68c0\u6d4b"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">2023\u5e744\u67088\u65e5\uff5e9\u65e5\uff0c\u7531InForSec\u3001\u5357\u65b9\u79d1\u6280\u5927\u5b66\u65af\u53d1\u57fa\u65af\u53ef\u4fe1\u81ea\u4e3b\u7cfb\u7edf\u7814\u7a76\u9662\u3001\u6e05\u534e\u5927\u5b66\u7f51\u7edc\u79d1\u5b66\u4e0e\u7f51\u7edc\u7a7a\u95f4\u7814\u7a76\u9662\u3001\u590d\u65e6\u5927\u5b66\u8f6f\u4ef6\u5b66\u9662\u7cfb\u7edf\u8f6f\u4ef6\u4e0e\u5b89\u5168\u5b9e\u9a8c\u5ba4\u3001\u56fd\u79d1\u5b66\u9662\u8ba1\u7b97\u6280\u672f\u7814\u7a76\u6240\u5904\u7406\u5668\u82af\u7247\u5168\u56fd\u91cd\u70b9\u5b9e\u9a8c\u5ba4\u3001\u4e2d\u56fd\u79d1\u5b66\u9662\u8f6f\u4ef6\u7814\u7a76\u6240\u53ef\u4fe1\u8ba1\u7b97\u4e0e\u4fe1\u606f\u4fdd\u969c\u5b9e\u9a8c\u5ba4\u3001\u4e2d\u56fd\u79d1\u5b66\u9662\u5927\u5b66\u56fd\u5bb6\u8ba1\u7b97\u673a\u7f51\u7edc\u5165\u4fb5\u9632\u8303\u4e2d\u5fc3\u3001\u6d59\u6c5f\u5927\u5b66NESA Lab\u3001\u5c71\u4e1c\u5927\u5b66\u7f51\u7edc\u7a7a\u95f4\u5b89\u5168\u5b66\u9662\u3001\u767e\u5ea6\u5b89\u5168\u3001\u5947\u5b89\u4fe1\u96c6\u56e2\u3001\u8682\u8681\u96c6\u56e2\u3001\u963f\u91cc\u5b89\u5168\u7b49\u5355\u4f4d\u8054\u5408\u4e3b\u529e\u7684\u201cInForSec 2023\u5e74\u7f51\u7edc\u7a7a\u95f4\u5b89\u5168\u56fd\u9645\u5b66\u672f\u7814\u7a76\u6210\u679c\u5206\u4eab\u53ca\u9752\u5e74\u5b66\u8005\u8bba\u575b\u201d\u5728\u5357\u65b9\u79d1\u6280\u5927\u5b66\u6210\u529f\u53ec\u5f00\u3002\u6765\u81ea\u6e05\u534e\u5927\u5b66\u3001\u590d\u65e6\u5927\u5b66\u3001\u6d59\u6c5f\u5927\u5b66\u3001\u5317\u4eac\u90ae\u7535\u5927\u5b66\u3001\u4e2d\u56fd\u79d1\u5b66\u9662\u5927\u5b66\u7b4966\u6240\u9ad8\u6821\u53ca\u79d1\u7814\u9662\u6240\u7684230\u4f59\u4eba\u73b0\u573a\u51fa\u5e2d\u4f1a\u8bae\uff0c900\u4f59\u4eba\u901a\u8fc7\u89c6\u9891\u4f1a\u8bae\u7cfb\u7edf\u53ca\u76f4\u64ad\u7cfb\u7edf\u53c2\u4e0e\u4e86\u672c\u6b21\u8bba\u575b\u3002<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u6211\u4eec\u5c06\u5bf9\u4f1a\u8bae\u7cbe\u5f69\u62a5\u544a\u8fdb\u884c\u5185\u5bb9\u56de\u987e\uff0c\u672c\u6587\u5206\u4eab\u7684\u662f\u9999\u6e2f\u79d1\u6280\u5927\u5b66\u52a9\u7406\u6559\u6388\u738b\u5e05\u7684\u62a5\u544a\u2014\u2014\u300a\u8f6f\u4ef6\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u68c0\u6d4b\u300b\u3002<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u738b\u5e05\u8001\u5e08\u9996\u5148\u5411\u5927\u5bb6\u4ecb\u7ecd\u4e86\u4ec0\u4e48\u662f\u4fa7\u4fe1\u9053\u653b\u51fb\u3002\u968f\u7740\u5404\u79cd\u5b89\u5168\u9632\u5fa1\u6280\u672f\u7684\u63d0\u5347\uff0c\u5728\u5f88\u591a\u60c5\u51b5\u4e0b\u653b\u51fb\u8005\u5e76\u65e0\u6cd5\u76f4\u63a5\u7684\u4e0e\u88ab\u653b\u51fb\u8f6f\u4ef6\u8fdb\u884c\u4ea4\u4e92\uff0c\u4fa7\u4fe1\u9053\u653b\u51fb\u5c31\u662f\u5728\u8fd9\u7c7b\u573a\u666f\u4e2d\u7684\u4e3b\u6d41\u653b\u51fb\u65b9\u6cd5\uff0c\u7b80\u800c\u8a00\u4e4b\uff0c\u4fa7\u4fe1\u9053\u653b\u51fb\u65f6\u901a\u8fc7\u89c2\u5bdf\u73b0\u5b9e\u4e2d\u7684\u7269\u7406\u4fe1\u606f\u7684\u53d8\u5316\uff0c\u4ece\u4e00\u5b9a\u7a0b\u5ea6\u4e0a\u63a8\u6d4b\u51fa\u76ee\u6807\u7a0b\u5e8f\u7684\u4e00\u4e9b\u673a\u5bc6\u4fe1\u606f\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/1-1024x576.png\" alt=\"\" class=\"wp-image-5984\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/1-1024x576.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/1-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/1-768x432.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/1-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/1-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/1.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u4e3a\u4e86\u5e2e\u52a9\u5927\u5bb6\u66f4\u5177\u4f53\u7684\u7406\u89e3\u4fa7\u4fe1\u9053\u653b\u51fb\uff0c\u738b\u8001\u5e08\u5411\u5927\u5bb6\u4ecb\u7ecd\u4e86\u4e00\u4e2a\u7ecf\u5178\u7684\u57fa\u4e8e\u65f6\u95f4\u7684\u4fa7\u4fe1\u9053\u653b\u51fb\uff0c\u5982\u4e0b\u56fe\u7684\u62bd\u8c61\u4ee3\u7801\u6240\u793a\uff0c\u5f53k\u4e3a1\u65f6\uff0c\u8fdb\u5165\u4e00\u4e2a\u6267\u884c\u6bd4\u8f83\u6162\u7684\u5206\u652f\uff0c\u5176\u4ed6\u503c\u65f6\u5219\u8fdb\u5165\u4e00\u4e2a\u6267\u884c\u6bd4\u8f83\u5feb\u7684\u5206\u652f\uff0c\u90a3\u4e48\u901a\u8fc7\u89c2\u5bdf\u7a0b\u5e8f\u7684\u6267\u884c\u65f6\u95f4\u65f6\u53ef\u4ee5\u63a8\u6d4b\u51fak\u7684\u503c\u662f\u5426\u4e3a1\u3002\u8fd9\u4e2a\u4f8b\u5b50\u770b\u8d77\u6765\u5f88\u7b80\u5355\uff0c\u4f46\u8fd9\u79cd\u65b9\u6cd5\u53ef\u4ee5\u975e\u5e38\u6709\u6548\u7684\u7528\u4e8e\u653b\u51fbRSA\u52a0\u5bc6\u7b97\u6cd5\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"575\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/2-1024x575.png\" alt=\"\" class=\"wp-image-5985\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/2-1024x575.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/2-300x168.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/2-768x431.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/2-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/2-250x140.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/2.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption><br><\/figcaption><\/figure>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/3-1024x576.png\" alt=\"\" class=\"wp-image-5986\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/3-1024x576.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/3-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/3-768x432.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/3-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/3-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/3.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u4e0d\u8fc7\uff0c\u738b\u8001\u5e08\u6307\u51fa\u8fd9\u79cd\u57fa\u4e8e\u7a0b\u5e8f\u5206\u652f\u7684\u653b\u51fb\u5c40\u9650\u6027\u8d8a\u6765\u8d8a\u5927\uff0c\u5f88\u591a\u5f00\u53d1\u8005\u5df2\u7ecf\u6709\u610f\u7684\u907f\u514d\u5c06\u4e00\u4e9b\u673a\u5bc6\u4fe1\u606f\u5199\u5728\u6761\u4ef6\u68c0\u67e5\u4e2d\uff0c\u56e0\u6b64\uff0c\u738b\u8001\u5e08\u53c8\u5411\u5927\u5bb6\u4ecb\u7ecd\u4e86\u66f4\u52a0\u5de7\u5999\u7684\u57fa\u4e8e\u7f13\u5b58\u7684\u4fa7\u4fe1\u9053\u653b\u51fb\uff0c\u5176\u6838\u5fc3\u601d\u60f3\u5728\u4e8e\u4ece\u7f13\u5b58\u4e2d\u8bfb\u53d6\u6570\u636e\u7684\u901f\u5ea6\u8981\u5feb\u4e8e\u4ece\u5185\u5b58\u4e2d\u8bfb\u53d6\u6570\u636e\uff0c\u53ef\u4ee5\u8bf4\u57fa\u4e8e\u7f13\u5b58\u7684\u4fa7\u4fe1\u9053\u653b\u51fb\u662f\u76ee\u524d\u6700\u6d41\u884c\u548c\u6700\u4e25\u5cfb\u7684\u4fa7\u4fe1\u9053\u653b\u51fb\uff0c\u6bd4\u5982\u8457\u540d\u7684CPU spectre\u548cmeltdown\u6f0f\u6d1e\u4e5f\u4f7f\u7528\u4e86\u57fa\u4e8e\u7f13\u5b58\u7684\u4fa7\u4fe1\u9053\u653b\u51fb\uff0c\u5728\u8fd9\u79cd\u653b\u51fb\u6a21\u578b\u4e0b\uff0c\u653b\u51fb\u8005\u62e5\u6709\u548c\u53d7\u5bb3\u8005\u8bbf\u95ee\u76f8\u540c\u7f13\u5b58\u7684\u80fd\u529b\uff0c\u4ece\u800c\u53ef\u4ee5\u5b9e\u73b0\u76d1\u6d4b\u5230\u88ab\u653b\u51fb\u7a0b\u5e8f\u6267\u884c\u8fc7\u7a0b\u4e2d\u5982\u4f55\u8bbf\u95ee\u4e86\u54ea\u4e9b\u7f13\u5b58\u7ebf\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"578\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/4-1024x578.png\" alt=\"\" class=\"wp-image-5987\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/4-1024x578.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/4-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/4-768x434.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/4-150x85.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/4-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/4.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption><br><\/figcaption><\/figure>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"577\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/5-1024x577.png\" alt=\"\" class=\"wp-image-5988\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/5-1024x577.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/5-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/5-768x433.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/5-150x85.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/5-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/5.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u5728\u4ecb\u7ecd\u5b8c\u4fa7\u4fe1\u9053\u653b\u51fb\u76f8\u5173\u7684\u4e00\u4e9b\u80cc\u666f\u77e5\u8bc6\u540e\uff0c\u738b\u8001\u5e08\u5bf9\u4fa7\u4fe1\u9053\u653b\u51fb\u7684\u7814\u7a76\u8fdb\u884c\u4e86\u603b\u7ed3\u3002\u738b\u8001\u5e08\u8ba4\u4e3a\u8f6f\u4ef6\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u53ef\u4ee5\u5206\u4e3a\u4e09\u4e2a\u5173\u952e\u6b65\u9aa4\uff0c\u9996\u5148\u662f\u8f6f\u4ef6\u7684\u673a\u5bc6\u4fe1\u606f\u80fd\u591f\u5f71\u54cd\u7a0b\u5e8f\u884c\u4e3a\uff0c\u5176\u6b21\u662f\u7a0b\u5e8f\u884c\u4e3a\u5f71\u54cd\u4e86\u7269\u7406\u4e16\u754c\u7684\u72b6\u6001\uff0c\u6700\u540e\u88ab\u5f71\u54cd\u7684\u7269\u7406\u4e16\u754c\u7684\u72b6\u6001\u80fd\u591f\u88ab\u653b\u51fb\u8005\u5229\u7528\u53bb\u6062\u590d\u673a\u5bc6\u4fe1\u606f\u3002\u76ee\u524d\u4e3b\u8981\u7684\u8f6f\u4ef6\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u68c0\u6d4b\u7684\u7814\u7a76\u90fd\u5173\u6ce8\u4e8e\u7b2c\u4e00\u70b9\u548c\u7b2c\u4e8c\u70b9\uff0c\u5728\u524d\u4e24\u70b9\u540c\u65f6\u6ee1\u8db3\u7684\u60c5\u51b5\u4e0b\uff0c\u8db3\u4ee5\u8bc1\u660e\u4e00\u4e2a\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u7684\u5b58\u5728\uff0c\u800c\u7b2c\u4e09\u70b9\u7684\u7814\u7a76\u4ecd\u7136\u662f\u6bd4\u8f83\u56f0\u96be\u7684\u3002\u63a5\u4e0b\u6765\uff0c\u738b\u8001\u5e08\u5bf9\u524d\u4e24\u70b9\u76f8\u5173\u7684\u7814\u7a76\u8fdb\u5c55\u548c\u6311\u6218\u8fdb\u884c\u4e86\u5206\u7c7b\u4ecb\u7ecd\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"578\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/6-1024x578.png\" alt=\"\" class=\"wp-image-5989\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/6-1024x578.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/6-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/6-768x434.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/6-150x85.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/6-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/6.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption><br><\/figcaption><\/figure>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"573\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/7-1024x573.png\" alt=\"\" class=\"wp-image-5990\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/7-1024x573.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/7-300x168.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/7-768x430.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/7-360x200.png 360w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/7-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/7-250x140.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/7.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u7b2c\u4e00\u4e2a\u6311\u6218\u662f\u53ef\u6269\u5c55\u6027\u95ee\u9898\uff0c\u738b\u8001\u5e08\u4ecb\u7ecd\u4e86\u76ee\u524d\u6700\u4e3b\u6d41\u7684\u57fa\u4e8e\u7ea6\u675f\u6c42\u89e3\u7684\u4fa7\u4fe1\u9053\u5bc6\u94a5\u4fe1\u606f\u6cc4\u6f0f\uff0c\u5b83\u7684\u4e3b\u8981\u601d\u60f3\u662f\u5bf9\u5bc6\u94a5\u76f8\u5173\u7684\u7a0b\u5e8f\u884c\u4e3a\u8fdb\u884c\u5f62\u5f0f\u5316\u7684\u8868\u5f81\uff0c\u7136\u540e\u518d\u8fdb\u884c\u7ea6\u675f\u6c42\u89e3\uff0c\u5982\u679c\u53ef\u89e3\uff0c\u5219\u4ee3\u8868\u80fd\u591f\u5f97\u5230\u653b\u51fb\u7ed3\u679c\uff0c\u8fd9\u79cd\u65b9\u6cd5\u662f\u6bd4\u8f83\u76f4\u89c2\u7684\uff0c\u4f46\u662f\u5b58\u5728\u4e00\u4e2a\u5f88\u5927\u7684\u95ee\u9898\u5c31\u662f\u901f\u5ea6\u95ee\u9898\uff0c\u5b9e\u9645\u6267\u884c\u8d77\u6765\u4f1a\u975e\u5e38\u7684\u6162\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1080\" height=\"620\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/8-1024x588.png\" alt=\"\" class=\"wp-image-5991\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/8-1024x588.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/8-300x172.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/8-768x441.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/8-150x86.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/8-250x144.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/8.png 1080w\" sizes=\"auto, (max-width: 1080px) 100vw, 1080px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u9488\u5bf9\u901f\u5ea6\u8fc7\u6162\u7684\u95ee\u9898\uff0c\u738b\u8001\u5e08\u4ecb\u7ecd\u4e86\u51e0\u7bc7\u76f8\u5173\u7684\u7814\u7a76\u5de5\u4f5c\uff0c\u9996\u5148\u662f\u738b\u8001\u5e08\u535a\u58eb\u671f\u95f4\u5b8c\u6210\u4e86\u4e24\u7bc7\u76f8\u5173\u7684\u7814\u7a76\uff0c\u4e3b\u8981\u76ee\u6807\u5c31\u662f\u52a0\u901f\u6a21\u62df\u7a0b\u5e8f\u4e0e\u5bc6\u94a5\u76f8\u5173\u7684\u884c\u4e3a\u3002\u8fd9\u4e24\u7bc7\u5de5\u4f5c\u540d\u4e3aCacheD\u548cCacheS\uff0c\u5206\u522b\u4ece\u52a8\u6001\u548c\u9759\u6001\u7684\u89d2\u5ea6\u8fdb\u884c\u5206\u6790\uff0c\u524d\u8005\u4f7f\u7528\u67d3\u8272\u5206\u6790+\u7b26\u53f7\u6267\u884c\u505a\u5230\u4e86\u8f83\u9ad8\u7cbe\u5ea6\u548c\u901f\u5ea6\u7684\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u68c0\u6d4b\uff0c\u540e\u8005\u4f7f\u7528\u67d3\u8272\u5206\u6790+\u62bd\u8c61\u89e3\u91ca\uff08abstract interpretation\uff09\u505a\u5230\u4e86\u8f83\u9ad8\u7cbe\u5ea6\u548c\u901f\u5ea6\u7684\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u68c0\u6d4b\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"577\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/9-1024x577.png\" alt=\"\" class=\"wp-image-5992\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/9-1024x577.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/9-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/9-768x433.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/9-150x85.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/9-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/9.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u7136\u540e\u662f\u548c\u65b0\u52a0\u5761\u5357\u6d0b\u7406\u5de5 Prof. Zhang Tianwei \u8001\u5e08\u56e2\u961f\u5408\u4f5c\u7684\u5de5\u4f5c\uff0c\u4f7f\u7528\u7c7b\u578b\u7cfb\u7edf\uff08refinement type systems\uff09\u505a\u5230\u4e86\u8f83\u9ad8\u7cbe\u5ea6\u4e14\u9ad8\u901f\u7684\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u68c0\u6d4b\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"575\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/10-1024x575.png\" alt=\"\" class=\"wp-image-5993\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/10-1024x575.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/10-300x168.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/10-768x431.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/10-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/10-250x140.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/10.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u6b64\u5916\uff0c\u8fd8\u6709\u548c\u5357\u65b9\u79d1\u6280\u5927\u5b66\u5f20\u6bb7\u4e7e\u8001\u5e08\u5408\u4f5c\u7684CipherH\uff0c\u4f7f\u7528\u52a8\u6001\u9759\u6001\u6df7\u5408\u5206\u6790\u505a\u5230\u4e86\u8f83\u9ad8\u7cbe\u5ea6\u4e14\u9ad8\u901f\u7684\u5bc6\u6587\u4fa7\u4fe1\u9053\u68c0\u6d4b\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/11-1024x576.png\" alt=\"\" class=\"wp-image-5994\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/11-1024x576.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/11-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/11-768x432.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/11-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/11-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/11.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u9488\u5bf9\u4e0d\u540c\u4fa7\u4fe1\u9053\u7684\u5efa\u6a21\u95ee\u9898\uff0c\u738b\u8001\u5e08\u4ecb\u7ecd\u4e86\u548c\u5357\u65b9\u79d1\u6280\u5927\u5b66\u5f20\u6bb7\u4e7e\u8001\u5e08\u6700\u65b0\u5408\u4f5c\u7684\uff0c\u4f7f\u7528\u7b26\u53f7\u6267\u884c\u548c\u7ea6\u675f\u6c42\u89e3\u6280\u672f\u5728\u53ef\u4fe1\u8ba1\u7b97\u73af\u5883\uff08TEE\uff09\u91cc\u9762\u5bfb\u627e\u65b0\u7684\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/13-1024x576.png\" alt=\"\" class=\"wp-image-5995\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/13-1024x576.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/13-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/13-768x432.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/13-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/13-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/13.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u5b9a\u91cf\u5206\u6790\u65b9\u5411\uff0c\u738b\u8001\u5e08\u4f7f\u7528\u4e92\u4fe1\u606f\u71b5\u76f8\u5173\u6280\u672f\u53bb\u5b9a\u91cf\u4f30\u8ba1\u7a0b\u5e8f\u4fe1\u606f\u6cc4\u6f0f\uff0c\u53ef\u4ee5\u66f4\u7cbe\u786e\u7684\u4f30\u8ba1\u7a0b\u5e8f\u5404\u4e2a\u4fe1\u606f\u6cc4\u6f0f\u70b9\u7684\u5371\u5bb3\u7a0b\u5ea6\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/66-1024x576.png\" alt=\"\" class=\"wp-image-6002\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/66-1024x576.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/66-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/66-768x432.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/66-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/66-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/66.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"577\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/14-1024x577.png\" alt=\"\" class=\"wp-image-5996\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/14-1024x577.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/14-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/14-768x433.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/14-150x85.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/14-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/14.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u5728\u65b0\u578b\u6570\u636e\u5904\u7406\u65b9\u9762\uff0c\u738b\u8001\u5e08\u4ecb\u7ecd\u4e86\u5728\u4eba\u5de5\u667a\u80fd\u5e94\u7528\u573a\u666f\u7684\u4fa7\u4fe1\u9053\u653b\u51fb\u7814\u7a76\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"574\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/15-1-1024x574.png\" alt=\"\" class=\"wp-image-5998\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/15-1-1024x574.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/15-1-300x168.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/15-1-768x430.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/15-1-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/15-1-250x140.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/15-1.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"576\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/16-1024x576.png\" alt=\"\" class=\"wp-image-5999\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/16-1024x576.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/16-300x169.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/16-768x432.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/16-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/16-250x141.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/16.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u6700\u540e\uff0c\u738b\u8001\u5e08\u5206\u4eab\u4e86\u81ea\u5df1\u5bf9\u4e8e\u8f6f\u4ef6\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u672a\u6765\u7814\u7a76\u65b9\u5411\u7684\u4e00\u4e9b\u770b\u6cd5\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"575\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/17-1024x575.png\" alt=\"\" class=\"wp-image-6000\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/17-1024x575.png 1024w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/17-300x168.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/17-768x431.png 768w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/17-150x84.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/17-250x140.png 250w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/17.png 1080w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>\u6f14\u8bb2\u8005\u7b80\u4ecb<\/strong><\/p>\n\n\n\n<figure class=\"wp-block-image is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.inforsec.org\/wp\/wp-content\/uploads\/2023\/05\/19.png\" alt=\"\" class=\"wp-image-6001\" width=\"345\" height=\"345\" srcset=\"http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/19.png 689w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/19-150x150.png 150w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/19-300x300.png 300w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/19-200x200.png 200w, http:\/\/202.112.238.40\/wp\/wp-content\/uploads\/2023\/05\/19-144x144.png 144w\" sizes=\"auto, (max-width: 345px) 100vw, 345px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u738b\u5e05\u535a\u58eb\u73b0\u4efb\u804c\u4e8e\u9999\u6e2f\u79d1\u6280\u5927\u5b66\u8ba1\u7b97\u673a\u7cfb\uff0c\u66fe\u5c31\u8bfb\u4e8e\u5317\u4eac\u5927\u5b66\u3001\u5bbe\u5915\u6cd5\u5c3c\u4e9a\u5dde\u7acb\u5927\u5b66\u548c\u82cf\u9ece\u4e16\u8054\u90a6\u7406\u5de5\uff0c\u4ece\u4e8b\u8ba1\u7b97\u673a\u5b89\u5168\u548c\u8f6f\u4ef6\u5de5\u7a0b\u65b9\u5411\u7684\u7814\u7a76\u3002\u4ed6\u6700\u8fd1\u7684\u7814\u7a76\u9886\u57df\u6db5\u76d6\u4fa7\u4fe1\u9053\u5206\u6790\u3001\u9006\u5411\u5de5\u7a0b\u3001\u4f9b\u5e94\u94fe\u5b89\u5168\u3001\u4eba\u5de5\u667a\u80fd\u5b89\u5168\u548c\u9690\u79c1\u589e\u5f3a\u6280\u672f\u7b49\u3002\u4ed6\u957f\u671f\u62c5\u4efbCCF-A\u7c7b\u8ba1\u7b97\u673a\u5b89\u5168\u548c\u8f6f\u4ef6\u5de5\u7a0b\u4f1a\u8bae\u7684\u7a0b\u5e8f\u59d4\u5458\uff0c\u4ed6\u7684\u7814\u7a76\u957f\u671f\u83b7\u5f97\u9999\u6e2f\u7814\u7a76\u8d44\u52a9\u5c40\u7b49\u7684\u8d44\u52a9\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>2023\u5e744\u67088\u65e5\uff5e9\u65e5\uff0c\u7531InForSec\u3001\u5357\u65b9\u79d1\u6280\u5927\u5b66\u65af\u53d1\u57fa\u65af\u53ef\u4fe1\u81ea\u4e3b\u7cfb\u7edf\u7814\u7a76\u9662\u3001\u6e05\u534e\u5927\u5b66\u7f51\u7edc\u79d1&#8230; <a class=\"continue-reading-link\" href=\"http:\/\/202.112.238.40\/wp\/?p=5983\"> Continue reading <span class=\"meta-nav\">&rarr; <\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[],"class_list":["post-5983","post","type-post","status-publish","format-standard","hentry","category-research"],"_links":{"self":[{"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/posts\/5983","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=5983"}],"version-history":[{"count":1,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/posts\/5983\/revisions"}],"predecessor-version":[{"id":6003,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/posts\/5983\/revisions\/6003"}],"wp:attachment":[{"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5983"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5983"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5983"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}