{"id":3531,"date":"2019-08-19T21:14:33","date_gmt":"2019-08-19T12:29:33","guid":{"rendered":"https:\/\/www.inforsec.org\/wp\/?p=3531"},"modified":"2019-09-16T16:45:59","modified_gmt":"2019-09-16T08:00:59","slug":"%e3%80%90%e6%b5%b7%e5%a4%96%e5%ad%a6%e8%80%85%e6%9a%91%e6%9c%9f%e8%ae%bf%e9%97%ae%e3%80%91%e8%87%aa%e5%8a%a8%e5%8c%96%e6%8c%96%e6%8e%98tcp%e4%be%a7%e4%bf%a1%e9%81%93%e6%bc%8f%e6%b4%9e%e7%9a%84","status":"publish","type":"post","link":"http:\/\/202.112.238.40\/wp\/?p=3531","title":{"rendered":"\u3010\u6d77\u5916\u5b66\u8005\u6691\u671f\u8bbf\u95ee\u3011\u81ea\u52a8\u5316\u6316\u6398TCP\u4fa7\u4fe1\u9053\u6f0f\u6d1e\u7684\u4e00\u4e2a\u5c1d\u8bd5\u2014\u2014 \u52a0\u5dde\u5927\u5b66\u6cb3\u6ee8\u5206\u6821\u94b1\u5fd7\u4e918\u670820\u65e5\u4e0e\u60a8\u76f8\u7ea6\u6e05\u534e\uff01"},"content":{"rendered":"\n

\u65f6\u95f4\uff1a8\u670820\u65e5\uff08\u5468\u4e8c\uff09\u4e0a\u534810:00-11:30
<\/strong><\/p>\n\n\n\n

\u5730\u70b9\uff1a\u6e05\u534e\u5927\u5b66FIT\u697c 3-225<\/strong><\/p>\n\n\n\n

\u6f14\u8bb2\u4eba\uff1a\u94b1\u5fd7\u4e91  \u52a0\u5dde\u5927\u5b66\u6cb3\u6ee8\u5206\u6821 (University of California, Riverside)  \u526f\u6559\u6388<\/strong><\/p>\n\n\n\n

\u5185\u5bb9\u7b80\u4ecb\uff1a<\/strong>\u4e4b\u524d\u7684 TCP \u4fa7\u4fe1\u9053\u6f0f\u6d1e\u5de5\u4f5c\u90fd\u4f9d\u8d56\u4eba\u5de5\u6316\u6398\uff0c\u7814\u7a76\u4eba\u5458\u5f88\u96be\u786e\u5b9a\u662f\u5426\u5728\u5185\u6838\u4e2d\u8fd9\u4e00\u7c7b\u578b\u7684\u6f0f\u6d1e\u5df2\u7ecf\u4fee\u8865\u5b8c\u5168\u3002\u6b64\u6b21\u5de5\u4f5c\u5c1d\u8bd5\u7528\u6a21\u578b\u68c0\u9a8c (model checking) \u7684\u529e\u6cd5\u6765\u81ea\u52a8\u5316\u7684\u68c0\u6d4b\u6392\u67e5\u6f0f\u6d1e\u3002\u901a\u8fc7\u5206\u6790\u65b0\u7248\u672c\u7684 Linux \u548c FreeBSD (\u4e5f\u7528\u4e8emacOS) \u7684\u5185\u6838 TCP \u5b9e\u73b0\uff0c\u6211\u4eec\u53d1\u73b0\u591a\u4e2a\u6709\u8da3\u7684\u6f0f\u6d1e\uff0c\u5305\u62ec\u53ef\u4ee5\u88ab\u5229\u7528\u5224\u65ad\u4efb\u610f\u4e24\u4e2a\u673a\u5668\u4e4b\u95f4\u662f\u5426\u5b58\u5728 TCP \u8fde\u63a5\u3002<\/p>\n\n\n\n

\"\"<\/figure><\/div>\n\n\n\n

\u4e2a\u4eba\u7b80\u4ecb\uff1a<\/strong>\u94b1\u5fd7\u4e91\u662f\u52a0\u5dde\u5927\u5b66\u6cb3\u6ee8\u5206\u6821 (University of California, Riverside) \u7684\u526f\u6559\u6388\u3002\u4ed6\u7684\u7814\u7a76\u5174\u8da3\u5728\u4e8e\u7f51\u7edc\uff0c\u64cd\u4f5c\u7cfb\u7edf\uff0c\u4ee5\u53ca\u8f6f\u4ef6\u5b89\u5168\u3002\u5176\u4e2d\u6d89\u53ca\u5230TCP\/IP\u534f\u8bae\u7684\u8bbe\u8ba1\u4e0e\u5b9e\u73b0\uff0c\u5b89\u5353\/Linux\u64cd\u4f5c\u7cfb\u7edf\u7684\u6f0f\u6d1e\u6316\u6398\u548c\u5206\u6790\uff0c\u4ee5\u53ca\u4fa7\u4fe1\u9053\u5728\u7f51\u7edc\u7cfb\u7edf\u9886\u57df\u4e2d\u7684\u5b89\u5168\u6027\u7814\u7a76\u3002\u7814\u7a76\u83b7\u5f97 IRTF Applied Networking Research Prize, Facebook Internet Defense Prize Finalist, GeekPwn\u6700\u5927\u8111\u6d1e\u5956\u3002\u8be5\u9879\u5de5\u4f5c\u53d1\u8868\u5728CCS2019\u3002 <\/p>\n\n\n\n

\u8054\u7cfb\u4eba\uff1a<\/strong>\u6bb5\u6d77\u65b0\uff0c duanhx@tsinghua.edu.cn \u6e05\u534e\u5927\u5b66\u7f51\u7edc\u79d1\u5b66\u4e0e\u7f51\u7edc\u7a7a\u95f4\u7814\u7a76\u9662<\/p>\n","protected":false},"excerpt":{"rendered":"

\u65f6\u95f4\uff1a8\u670820\u65e5\uff08\u5468\u4e8c\uff09\u4e0a\u534810:00-11:30 \u5730\u70b9\uff1a\u6e05\u534e\u5927\u5b66FIT\u697c 3-225 \u6f14\u8bb2\u4eba\uff1a\u94b1\u5fd7… Continue reading → <\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":3526,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-3531","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-events"],"_links":{"self":[{"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/posts\/3531","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=3531"}],"version-history":[{"count":3,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/posts\/3531\/revisions"}],"predecessor-version":[{"id":3575,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/posts\/3531\/revisions\/3575"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=\/wp\/v2\/media\/3526"}],"wp:attachment":[{"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3531"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3531"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/202.112.238.40\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3531"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}