1<!DOCTYPE html> 2<html> 3 <head> 4 <meta charset="utf-8"> 5<title>WingTecher - Contact</title> 6<meta name="description" content="èç³»æ们"> 7<meta name="title" content="èç³»æ们"> 8<meta name="author" content="WingTecherResearchCMS"> 9<meta name="viewport" content="width=device-width, initial-scale=1.0"> 10<link rel="icon" type="image/png" href="http://wingtecher.com/themes/WingTecherResearch/assets/images/tsinghua-favicon.png" /> 11<meta name="generator" content="WingTecherResearchCMS" /> 12 13<link href="http://wingtecher.com/combine/efb1c5c913a996859b73f9106619e334-1547572532" rel="stylesheet" /> 14 15 <!-- 'assets/less/vendor.less', --> 16<!-- <link href="http://wingtecher.com/combine/f71ca4635f14f92bed96623d9d932423-1547572532" rel="stylesheet" /> --> 17<link href="http://wingtecher.com/combine/9ea791ea766cc49b4aedf96e6629d123-1547572532" rel="stylesheet" /> 18<link href="http://wingtecher.com/combine/1c7e458b74b9c8d5b511dda6a6292483-1629299609" rel="stylesheet" /> 19<link href="http://wingtecher.com/combine/88f70e0b786fae2f0fd374266104c67b-1547572532" rel="stylesheet" /> 20<link href="http://wingtecher.com/combine/5162cc54f72fa0ae3e8bd5fed84c7e2a-1547572532" rel="stylesheet" />
21<script src="http://wingtecher.com/combine/c0ce5e56aa161cd2dc02b90f3165c7dd-1547572532" type="text/javascript"></script>
vendor: 1 bytes, line 21
21
22<script src="http://wingtecher.com/combine/d2b24695b263ec4c3dc82771bf9cc576-1547572532" type="text/javascript"></script>
22 </head> 23 <body> 24 25 26 <!-- Top --> 27 <div id="top-nav"> 28 <div class="container"> 29 <!-- Put anything here, social links? --> 30 </div> 31 </div> 32 <!-- Header --> 33 <header class="header" id="layout-header"> 34 <section class="mainWrap"> 35 <!-- <div class="topLine"></div> --> 36 <section class="topWrap"> 37 <a class="thu-logo" href=""> 38 <img src="http://wingtecher.com/themes/WingTecherResearch/assets/images/thu_logo.png"> 39 </a> 40 <div class="logo name" > 41 <span class="chinese-name">软件系ç»å®å ¨ä¿éå°ç»</span> 42 <span class="english-name" style="text-align:right;">Software System Security Assurance Group â WingTecher Lab</span> 43 </div> 44 <div style="clear:both;"></div> 45 <!--<section class="search"> 46 <div class="ext"><a href="#"></a></div> 47 <form id="searchForm" target="_blank" action=""> 48 <input name="query" type="text" class="inp"> 49 <input name="ie" type="hidden" value="utf8"> 50 <a href="javascript:;" onclick="searchSub();" class="thuicon-search btn"></a> 51 </form> 52
52<script src="/publish/newthu/js/searchsub.js"></script>
52 53 </section> --> </section> 54 </section> 55 </header> 56 <header class="header" id="layout-header" style="background:#fff;"> 57 <section class="mainWrap" > 58 <section class="nav yahei clearfix"> 59 <section class="menu" id="smenu"><a class="thuicon-menu menuicon"></a>导èª</section> 60 <!-- Nav --> 61 <!-- <nav id="layout-nav"> --> 62 63 64 65 <ul id="nav"> 66 67 <li role="presentation" class=" "> 68 <a href="http://wingtecher.com/home">é¦é¡µ 69 </a> 70 71 </li> 72 <li role="presentation" class=" "> 73 <a href="http://wingtecher.com/person">å¢éæå 74 </a> 75 76 </li> 77 <li role="presentation" class=" "> 78 <a href="http://wingtecher.com/research">ç 究æ¹å 79 </a> 80 81 </li> 82 <li role="presentation" class=" "> 83 <a href="http://wingtecher.com/achievement">ç§ç ææ 84 </a> 85 86 </li> 87 <li role="presentation" class=" "> 88 <a href="http://wingtecher.com/blog/category/news">æ°é»å¨æ 89 </a> 90 91 </li> 92 <li role="presentation" class=" "> 93 <a href="http://wingtecher.com/bugs/cve">æ¼æ´å表 94 </a> 95 96 </li> 97 <li role="presentation" class="active "> 98 <a href="http://wingtecher.com/contact">èç³»æ们 99 </a> 100 101 </li> 102 <li role="presentation" class=" "> 103 <a href="http://wingtecher.com/homeen">English 104 </a> 105 106 </li> 107 108 </ul> 109 </nav> 110 </section> 111 </section> 112 </header> 113 114 <!-- Content --> 115 <article class="content"> 116 <section class="mainWrap relative"> 117 <div class="commContent clearfix"> 118 <article class="mainContent"> 119 <section class="article fullwidth"> 120 <!--å 容--> 121 <!-- <div class="row"> --> 122 <div style="margin:15px 30px 15px 30px;"> 123 <h1 style="font-size: 24px;color: #304174;text-align: center;margin-bottom: 20px;line-height: normal;">æ¸ å大å¦è½¯ä»¶å¦é¢è½¯ä»¶ç³»ç»å®å ¨ä¿éå°ç»</h1> 124 <!--<div style="width: 400px;margin: 0 auto;"> 125 <h1 style="font-size: 20px;color: #304174;text-align: center;margin-bottom: 20px;line-height: normal;">软件系ç»å®å ¨å¢é</h1> 126 </div> --> 127 <!-- <p align="justify" style=" font-size: 16px;line-height: 35px;margin: 10px 10px 0px 10px;padding:0px;">ãã软件系ç»å®å ¨æµè¯å¢éé¶å±äºæ¸ å大å¦è½¯ä»¶å¦é¢ï¼ç±å·¥ç¨é¢é¢å£«å家广æææ 任顾é®åæ导ï¼å¢éæåç±1åç¹èç 究åã1åå士åã15åå士ç¡å£«ç»æãå¢é以âä¿é大è§æ¨¡è½¯ä»¶ç³»ç»å®å ¨â为使å½ï¼éç¹å ³æ³¨äººå·¥æºè½ãåºåé¾ï¼å·¥æ§ç³»ç»ï¼æä½ç³»ç»çé¢åç软件å®å ¨ï¼è´åäºéè¿ç§æåæ°è½åãå©ç¨æ·±åº¦å¦ä¹ ï¼ç¬¦å·æ§è¡ä¸æ¨¡ç³æµè¯çææ¯ï¼å®ç°è½¯ä»¶ç¼ºé·åæ¼æ´çææï¼ä¸ºä¼ä¸æä¾å¤§è§æ¨¡è½¯ä»¶ç³»ç»çå®å ¨æµè¯ä¸æ¼æ´åææå¡ã</p> 128 <p align="justify" style=" font-size: 16px;line-height: 35px;margin: 0px 10px 0px 10px;padding:0px;">ããå¢éä¸å为ãé¿éãè ¾è®¯ãä¸è±çå ¬å¸è¿è¡æ·±åº¦å·¥ä¸åä½ï¼ææäºå¤§é软件æ¼æ´ï¼æ°ç¾ä¸ªè¢«æ¶å½å°ç¾å½
128å½å®¶ä¿¡æ¯å®å ¨æ¼æ´åºCVEä¸ï¼å表ICSEãFSEãTCãTPDSçä¼è®®æå50ä½ç¯ï¼ç»å åå¦ä¹è·å ¨å½å¤§å¦ç软件æµè¯å¤§èµç¹çå¥ï¼è®¡ç®æºå¦ä¼ä¼ç§å士论æï¼å¾®è½¯äºæ´²ç 究é¢é¸æ计åï¼ä¸å½ç§åéå¹´æ举人æ计åçå¥å±ã</p> --> 129 <p align="justify" style=" font-size: 16px;line-height: 35px;margin: 0px 10px 0px 10px;padding:0px;">ããç 究ç»ç 究æ°å´èæ´½ï¼æ¥æ¶å®ä¹ çãç¡å£«ãå士ãå士åç³è¯·ï¼æ¬¢è¿å¤å¥ã认çï¼æåæ°ç²¾ç¥çæå¿éå¹´å å ¥æ们ç 究ç»ï¼</p> 130 </div> 131 <!-- </div> --> 132 133 <!-- <div class="row"> --> 134 <div style="max-width: 400px;margin: 0 auto;"> 135 <div style="margin:15px 30px 15px 30px;"> 136 <div style="margin: 0 0 0px 0;padding: 15px 0 10px 0;font-weight: bold;text-align: center;font-size: 18px;color: rgb(51, 51, 51);line-height: normal;">èç³»æ¹å¼</div> 137 <!-- background: url(http://www.october_cms.com/themes/rainlab-relax/assets/images/line_4.png) no-repeat 50% bottom; --> 138 <ul> 139 <li class="info-li" style="font-family: âLucida Sans Unicodeâ, âLucida Grandeâ, Tahoma, Arial, Helvetica, sans-serif;font-size: 16px;font-weight: 400;line-height: 24px">å°åï¼å京å¸æµ·æ·åºæ¸ å大å¦ä¸ä¸»æ¥¼11åº319室</li> 140 <li class="info-li" style="font-family: âLucida Sans Unicodeâ, âLucida Grandeâ, Tahoma, Arial, Helvetica, sans-serif;font-size: 16px;font-weight: 400;line-height: 24px">é®ç¼ï¼100084</li> 141 <li class="info-li" style="font-family: âLucida Sans Unicodeâ, âLucida Grandeâ, Tahoma, Arial, Helvetica, sans-serif;font-size: 16px;font-weight: 400;line-height: 24px">çµè¯ï¼010-62791782</li> 142 <li class="info-li" style="font-family: âLucida Sans Unicodeâ, âLucida Grandeâ, Tahoma, Arial, Helvetica, sans-serif;font-size: 16px;font-weight: 400;line-height: 24px">é®ç®±ï¼[email protected]</li> 143 </ul> 144 </div> 145 </div> 146 <div id="dituContentDiv" style="max-width:450px;height:260px;border:#ccc solid 1px;text-align: center;margin: 0 auto;"> 147 <div style="width:100%;height:100%;" id="dituContent"></div> 148 </div> 149 <!-- </div> --> 150 <!--å 容ç»æ--> 151 </section> 152 </article> 153 </div> 154 </section> 155 </article> 156 <!--
156<script type="text/javascript"> 157 158 $(function(){ 159 var mydiv=$("#dituContentDiv"); 160 var mydiv_resize=function(){ 161 if($(window).width() < 450 ){ 162 $(mydiv).css("width",$(window).width()-10); 163 }else{ 164 $(mydiv).css("width",440); 165 } 166 }; 167 mydiv_resize(); 168 $(window).resize(function(){ 169 mydiv_resize(); 170 }); 171 }); 172 </script>
172 173
173<script type="text/javascript" src="https://api.map.baidu.com/api?v=1.0&type=webgl&ak=TARxnp6hPCSZzuNNc12Dv68vv7wzMKvP"></script>
173 174
174<script type="text/javascript"> 175 //å建ååå§åå°å¾å½æ°ï¼ 176 function initMap(){ 177 createMap();//å建å°å¾ 178 setMapEvent();//设置å°å¾äºä»¶ 179 addMapControl();//åå°å¾æ·»å æ§ä»¶ 180 addMarker();//åå°å¾ä¸æ·»å marker 181 } 182 183 //å建å°å¾å½æ°ï¼ 184 function createMap(){ 185 var map = new BMapGL.Map("dituContent");//å¨ç¾åº¦å°å¾å®¹å¨ä¸å建ä¸ä¸ªå°å¾ 186 var point = new BMapGL.Point(116.34101,40.006594);//å®ä¹ä¸ä¸ªä¸å¿ç¹åæ 187 map.centerAndZoom(point, 16);//设å®å°å¾çä¸å¿ç¹ååæ 并å°å°å¾æ¾ç¤ºå¨å°å¾å®¹å¨ä¸ 188 window.map = map;//å°mapåéåå¨å¨å ¨å± 189 } 190 191 //å°å¾äºä»¶è®¾ç½®å½æ°ï¼ 192 function setMapEvent(){ 193 map.enableDragging();//å¯ç¨å°å¾ææ½äºä»¶ï¼é»è®¤å¯ç¨(å¯ä¸å) 194 map.enableScrollWheelZoom();//å¯ç¨å°å¾æ»è½®æ¾å¤§ç¼©å° 195 map.enableDoubleClickZoom();//å¯ç¨é¼ æ åå»æ¾å¤§ï¼é»è®¤å¯ç¨(å¯ä¸å) 196 map.enableKeyboard();//å¯ç¨é®çä¸ä¸å·¦å³é®ç§»å¨å°å¾ 197 } 198 199 //å°å¾æ§ä»¶æ·»å å½æ°ï¼ 200 function addMapControl(){ 201 //åå°å¾ä¸æ·»å 缩æ¾æ§ä»¶ 202 var ctrl_nav = new BMapGL.NavigationControl({anchor:BMAP_ANCHOR_TOP_LEFT,type:BMAP_NAVIGATION_CONTROL_ZOOM}); 203 map.addControl(ctrl_nav); 204 //åå°å¾ä¸æ·»å 缩ç¥å¾æ§ä»¶ 205 // var ctrl_ove = new BMapGL.OverviewMapControl({anchor:BMAP_ANCHOR_BOTTOM_RIGHT,isOpen:0}); 206 // map.addControl(ctrl_ove); 207 //åå°å¾ä¸æ·»å æ¯ä¾å°ºæ§ä»¶ 208 var ctrl_sca = new BMapGL.ScaleControl({anchor:BMAP_ANCHOR_BOTTOM_LEFT}); 209 map.addControl(ctrl_sca); 210 } 211 212 //æ 注ç¹æ°ç» 213 var markerArr = [{title:"软件系ç»å®å ¨ä¿éå°ç»",content:"æ¸ å大å¦è½¯ä»¶å¦é¢è½¯ä»¶ç³»ç»å®å ¨ä¿éå°ç»",point:"116.341064|40.006573",isOpen:0,icon:{w:23,h:25,l:46,t:21,x:9,lb:12}} 214 ]; 215 //å建marker 216 function addMarker(){ 217 for(var i=0;i<markerArr.length;i++){ 218 var json = markerArr[i]; 219 var p0 = json.point.split("|")[0]; 220 var p1 = json.point.split("|")[1]; 221 var point = new BMapGL.Point(p0,p1); 222 var iconImg = createIcon(json.icon); 223 var marker = new BMapGL.Marker(point,{icon:iconImg}); 224 var iw = createInfoWindow(i); 225 var label = new BMapGL.Label(json.title,{"offset":new BMapGL.Size(json.icon.lb-json.icon.x+10,-20)}); 226 label.setStyle({borderRadius:"2px",padding:'2px',maxWidth:"none" }); 227 marker.setLabel(label); 228 map.addOverlay(marker); 229 label.setStyle({ 230 borderColor:"#808080", 231 color:"#333", 232 cursor:"pointer" 233 }); 234 235 (function(){ 236 var index = i; 237 var _iw = createInfoWindow(i); 238 var _marker = marker; 239 _marker.addEventListener("click",function(){ 240 this.openInfoWindow(_iw); 241 }); 242 _iw.addEventListener("open",function(){ 243 _marker.getLabel().hide(); 244 }) 245 _iw.addEventListener("close",function(){ 246 _marker.getLabel().show(); 247 }) 248 label.addEventListener("click",function(){ 249 _marker.openInfoWindow(_iw); 250 }) 251 if(!!json.isOpen){ 252 label.hide(); 253 _marker.openInfoWindow(_iw); 254 } 255 })() 256 } 257 } 258 //å建InfoWindow 259 function createInfoWindow(i){ 260 var json = markerArr[i]; 261 var iw = new BMapGL.InfoWindow("<b class='iw_poi_title' title='" + json.title + "'>" + json.title + "</b><div class='iw_poi_content'>"+json.content+"</div>"); 262 return iw; 263 } 264 //å建ä¸ä¸ªIcon 265 function createIcon(json){ 266 var icon = new BMapGL.Icon("http://wingtecher.com/themes/WingTecherResearch/assets/images/us_mk_icon.png", new BMapGL.Size(json.w,json.h),{imageOffset: new BMapGL.Size(-json.l,-json.t),infoWindowOffset:new BMapGL.Size(json.lb+5,1),offset:new BMapGL.Size(json.x,json.h)}) 267 return icon; 268 } 269 270 initMap();//å建ååå§åå°å¾ 271 </script>
271 --> 272 273 <!-- Footer --> 274 <footer id="layout-footer"> 275 <div class="container"> 276 277 <div class="row" id="footerSliceMenu"> 278<!-- --> 279 280 <!-- <div class="col-md-3"> 281 <ul class="menu-slice"></ul> 282 </div> 283 <div class="col-md-3"> 284 <ul class="menu-slice"></ul> 285 </div> 286 <div class="col-md-3"> 287 <ul class="menu-slice"></ul> 288 </div> 289 <div class="col-md-3"> 290 <div class="contact-details"> 291 <ul> 292 <li class="head-link"> 293 <a href="http://wingtecher.com/contact">Contact</a> 294 </li> 295 </ul> 296 <ul> 297 <li> 298 Phone: <strong>KL5-3226</strong> 299 </li> 300 <li> 301 Fax: <strong>KL5-3227</strong> 302 </li> 303 <li> 304 Email: <strong>[email protected]</strong> 305 </li> 306 <li> 307 Address: <strong>100 Pitt Street, Sydney, NSW 2000</strong> 308 </li> 309</ul> </div> 310 </div> 311 </div> --> 312 313<!-- <div class="credit text-right"> 314 <p> 315 © Copyright 2026 Your Company - Powered by 316 <i class="icon-leaf"></i> <a href="http://octobercms.com" target="_blank">OctoberCMS</a> 317 </p> 318 </div> --> 319</div> 320 321 </footer> 322 323 </body> 324</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.