电子科技大学计算机科学与工程学院导师介绍：张小松

　　►个人简介
　　张小松，教授

　　►联系方式
　　电话：************
　　邮箱：johnsonzxs@uestc.edu.cn

　　►教育背景
　　1968年6月出生，四川双流人，教授、博导。本科毕业于上海交通大学，硕士、博士毕业于电子科大学。
　　*教育部长江学者特聘教授；
　　*第十一批四川省学术技术带头人；
　　*国家科学技术奖励评审专家；
　　*保密通信国防重点实验室客座专家；
　　*国家信息技术安全研究中心-电子科技大学网络安全技术实验室主任；
　　*电子科技大学大数据研究中心副主任兼安全大数据研究所所长。

　　►科研方向
　　长期致力于网络与信息安全、计算机应用技术的研究和人才培养，重点围绕网络空间安全中，IT基础架构、大数据安全及应用、嵌入式平台安全、网络攻击检测与软件脆弱性等关键领域和支撑技术开展创新研究和技术攻关，近来主要兴趣和方向包括：
　　1、软件安全性分析；
　　2、大数据环境下的网络信息安全；
　　3、自主可控的安全虚拟化基础架构关键技术及产业推广应用；
　　4、可信安全嵌入式系统；
　　5、复杂电磁环境多目标优化（智能航路规划，信号最优化覆盖）

　　►研究项目
　　自2006年建立网络技术实验室起，领导团队围绕网络空间安全的国家战略及科学问题，系统开展方法、理论研究以及关键技术攻关，截至2014年底，主持承担包括军973课题、863重点课题、国防预研课题、型号课题、省部科技支撑课题、企业横向合作课题50多项，主持研制的网络和信息化平台在应用中取得重要的社会和经济效益，近年来分别获得：
　　2012年度中华人民共和国科学技术进步二等奖（第1完成人）
　　2013年度四川省科技进步一等奖（第2完成人）
　　2010年度四川省科技进步一等奖（第1完成人）
　　2008年度四川省科技进步二等奖（第1完成人）
　　2013电力行业信息化优秀成果一等奖（第3完成人）

　　►论文列表
　　截至2015年，在研究领域重要学术期刊上发表SCI、EI收录论文36篇(SCI收录13篇，其中ISI JCR一区论文6篇)，获授权发明专利8项，受理及公开26项,获计算机软件著作权登记10项。主要论文如下:
　　[1] Yong Yu,Jianbing Ni,Qi Xia,Xiaofen Wang, Haomiao Yang, Xiaosong Zhang.SDIVIP2: Shared Data Integrity Verification with Identity Privacy Preserving in Mobile Clouds.Concurrency and Computation: Practice and Experience(Accepted):
　　[2] Ting Chen, Xiao-song Zhang, Xiao-li Ji, Cong Zhu, Yue Wu. Test Generation for Embedded Executables via Concolic Execution in Real Environment. IEEE Transactions on Reliability, 2014. (SCI，IF 2.293, Accepted)
　　[3] Ting Chen, Xiao-song Zhang, Cong Zhu, Xiao-li Ji, Shi-ze Guo, Yue Wu. Design and Implementation of a Dynamic Symbolic Execution Tool for Windows Executables. Journal of Software: Evolution and Process. 2013, 25:1249-1272. (SCI，IF 1.273, CCF推荐B类刊物)
　　[4] Ting Chen, Xiao-song Zhang, Shi-ze Guo, Hong-yuan Li, Yue Wu. State of the art: Dynamic symbolic execution for automated test generation. Future Generation Computer Systems, 2013, 29(7): 1758-1773. (SCI，IF 1.864)
　　[5] Ting Chen, Xiao-song Zhang, Yue Wu. FPM: Four-factors Propagation Model for Passive P2P Worms. Future Generation Computer Systems, 2014,36(7): 133-141(SCI，IF 1.864)
　　[6] Ting Chen, Xiao-song Zhang*, Hong-yuan Li, Dong Wang, Yue Wu. Propagation Modeling of Active P2P Worms Based on Ternary Matrix. Journal of Network and Computer Applications, 2013, 36(5):1387-1394. (SCI，IF1.467)
　　[7] Ting Chen, Xiao-song Zhang, Hua Li, Xiong-da Li, Yue Wu. Fast Quarantining of Proactive Worms in Unstructured P2P Networks. Journal of Network and Computer Applications, 2011, 34:1648-1659. (SCI，IF1.467)
　　[8] Ying SUN,Yong Yu,Xiaosong Zhang*,Jiwen CHAI.On the Security of an Identity-Based Proxy Signature Scheme in the Standard Model.IEICE TRANS.FUNDAMENTALS,VOL.E96-A,NO.3 MARCH 2013:721-723(SCI,EI检索)
　　[9] Ting CHEN,Xiao-song ZHANG,XU XIAO,YUE WU,Chun-xiang XU.SEVE: Symbolic Execution based Vulnerability Exploring System[J]. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering,2013,32(2)：620-637(SCI：03321641311297016，IF0.373,EI：20131216126668)
　　[10]  Zhi LIU, Xiao-song ZHANG, Yue, WU, Ting CHEN.An Effecitve Taint-based Software Vulnerability Miner.[J]. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering,2013,32(2):467-484 (SCI：03321641311296873，IF0.373,EI：20131216126677)
　　[11]  Xiao-song ZHANG, Ting CHEN, Chun-xiang XU, Xiao-hui PAN.Proactive P2P Worm Containment via Automatic Authentication.[J]. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering,2013,32(2): 1163-1170(SCI：03321641311297106，IF0.373,EI：20131216126671)
　　[12]  Zhang Xiaosong, Chen Ting, Chen Dapeng, Liu Zhi. SISG: self-immune automated signature generation for polymorphic worms[J]. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering,2010,29(2): 445 - 467 (SCI：592IH, EI：20101312803311,IF 0.373)
　　[13]  Zhang Xiaosong,Chen Ting,Zheng Jiong,Li Hua.Proactive worm propagation modeling and analysis in unstructured peer-to-peer Networks[J]. Journal of Zhejinang University-SCIENCE C,2010,11(2):119-129 (SCI：568QQ,EI：20101912914212,IF 0.373)
　　[14]  Yong Yu, Chunxiang Xu, Xiaosong Zhang, Yongjian Liao. Designated verifier proxy signature scheme without random oracles[J]. Computers and Mathematics with Applications, May.2009 ,57 (4): 1352-1364(SCI, EI )
　　[15]  Xiaoli Ji, Xiaosong Zhang, Ting Chen, Xiaoshan Li and Lei Jiang. Loop Transparency for Scalable Dynamic Symbolic Execution [J]. Advances in Engineering Design and Optimization Ⅲ, 2012, Applied Mechanics and Materials Vols.201-202,Part 1: 242-245
　　[16]  Weiwei Wang,Xiaosong ZHANG,Ting Chen,Xueyang Wu,Xiaoshan Li.The Cloud Computing Based Software Testing Framework Design and Implementation[J]. Advances in Computer, Communication, Control and Automation, 2011, LNEE(121): 785-790 (EI: 20114814569195)
　　[17]  Xiaowei Yan,Xiaosong ZHANG,Ting Chen,Hongtian Zhao,Xiaoshan Li. The research and design of cloud computing security framework[J]. Advances in Computer, Communication, Control and Automation, 2011, LNEE(121): 757-763 (EI: 20114814569191)
　　[18]  Xiao-song ZHANG,Jiong Zheng,Hua Li.A Novel Approach for Host General Risk Assessment Based on Logical Recursion[J]. Electronics and Signal Processing, 2011, LNEE(1): 469-475 (EI: 20113214223771)
　　[19]  Zhang, Xiao-Song, Chen, Ting, Wang, Xiao-Lin, Huang, Yong, Bao, Hou-Bin. CRBA: A capacity restricted model evolved from BA model for complex network.[J]. Journal of Networks,2011,6(8): 1163-1170 (EI: 20113314243427)
　　[20]  Zhi Liu, Xiaosong Zhang,Xiongda Li.Proactive Vulnerability Finding via Information Flow Tracking[C]. Nanjing, Jiangsu, China:MINES 2010:481-485(EI:20110413613499)
　　[21]  Xiao-song Zhang, Jiong Zheng, Ji-wei Zou. A Simplified Model for Attack Paths Contruction in Multiple Hosts[C]. Harbin, China:PCSPA-2010:301-304(EI:20105213521161)
　　[22]  Xu Xiao, Xiao-song Zhang,Xiong-da Li. New Approach to Path Explosion Problem of Symbolic Execution [C]. Harbin, China:PCSPA-2010:1310-1313(EI:20105213521014)
　　[23]  Jiong Zheng,Xiao-song Zhang,Xiao-hui Pan. A Host Deployed Vulnerability Assessment System Based On OVAL[C]. Taiyuan,China: ICCASM 2010:V2-123-126(EI:20104913451889)
　　[24]  Zhang Xiaosong, Chen Ting, Chen Ruidong,Li Hua.Complex Network Modeling with Constant Capacity Restriction Based on BA Model[C]. Wuhan, China:CNMT 2009:315-318(EI：20101212778932)
　　[25]  Li Hua, Qin Zheng,Pan Xiaohui,Zhang Xiaosong.Propagation Model of Non-scanning Active Worm in Unstructured P2P Network. Wuhan，China:MINES 2009:378-381(EI：20101012757931)
　　[26]  Zhang Xiaosong,Liu Fei,Chen Ting,Li Hua. Research and Application of the Transparent Data Encryption in Intranet Data Leakage Prevention. BeiJing,China:CIS'2009:376-379（EI：20101112768893）
　　[27]      Zhang Xiaosong,Chen Ting, MaYue,LiHua.Peer-to-Peer Based Intrusion Detection Modelling and Analysis. Beijing, China:ICFIN 2009:213-217（EI：20095212570233）
　　[28]  Zhang Xiaosong,Pan Xiaohui,Long Xiaoshu. Analysis of Virtual Machine applied to Malware Detection System[C]. Wuhan, China: IEEC'2009:290-294（EI:20094712465399）
　　[29]  Liu Zhi, Xiaosong Zhang. A Novel Approach to Malicious Executables Detection and Containment Based on Distributed System Architecture[C]. Jinan, China:ICNC'2008:160-164 （EI:20085211803927）（ISTP：BJB64）
　　[30]  Zhang Xiaosong, Chen Ting,Wang Ding. A Novel Model for Critical Services Consolidation based on FVM. [C]. Wuhan, China: EBISS'2009:77-81（EI:20094212376970） （EI:20094212376970）(ISTP：BLZ43）
　　[31]  Da-Peng Chen, Xiao-song Zhang. Internet Anomaly Detection with Weighted Fuzzy Matching over Frequent Episode Rules[C]. Chengdu,China:ICACIA 2008:299-302（EI:20092412118490）（ISTP：BJX45）
　　[32]  Xiao-song Zhang，Lin Shao， Jiong Zheng. A novel method of software vulnerability detection based on fuzzing technique[C]. Chengdu,China:ICACIA 2008:270-273（EI:20092412118483）（ISTP：BJX45）
　　[33]  Xiao-song Zhang, Liu Zhi,Da-Peng Chen. A practical taint-based malware detection[C]. Chengdu,China:ICACIA 2008:73-77（EI:20092412118436）（ISTP：BJX45）
　　[34]      Ting Chen, Zhang Xiaosong,Liu Zhi. A Hybrid Detection Approach For Zero-day Polymorphic Shellcodes[C]. Wuhan, China: EBISS'2009:45-49（EI:20094212376957）（ISTP：BLZ43）
　　[35]      Xiaohui Pan,Zhang Xiaosong, Ting Chen. A Novel Hybrid Method for Polymorphic Worm Detection[C]. Wuhan, China: EBISS'2009:50-54（EI:20094212376968）（ISTP：BLZ43）
　　[36]  Xiao-song Zhang,Lei Huang,Chun-xiang Xu,Ting Chen.A Novel Method for Host Risk Assessment Based on Predecessor Attack[C]. Changsha, China:ICSIP 2010:495-498(EI：20114214443499)
　　[37]  Zhang Xiaosong,Chen Ting,Zheng Jiong,Li Hua.Active Worm Propagation Modeling in Unstructured P2P Networks[C]. Huangshan, China: ISCSCT’09:35-38(EI: 20101912914212)
　　[38]  刘智，张小松.一种基于污点分析的文件型软件漏洞发现方法.小型微型计算机系统，2012,33(1): 42-48
　　[39]  刘智，张小松, 吴跃. 一种有效的Return-Oriented-Programming攻击检测方法.小型微型计算机系统，2013,34(7):

　　►教学工作
　　(1)从教以来，先后为计算机应用技术和信息安全专业本科生讲授基础核心课程《微机原理与接口技术》、《数字逻辑设计》、《信息安全概论》和《网络安全协议》，开设本科公选课程《网络安全与信息对抗》；
　　(2) 主编普通高等学校信息安全“十一五”规划教材《网络安全协议》，参编普通高等教育“十一五”国家级规划教材《计算机组成原理与汇编语言程序设计（第二 版）》,主持翻译《软件测试（第二版）》、《计算机安全学（第二版）》译著教材；
　　(3) 作为负责人参与2007四川省精品课程《信息安全概论》建设（排名第三）；
　　(4) 2007年创立本科“凝聚网络安全技术工作室”，指导学生参加2008、2010、2013全国大学生信息安全竞赛，获二等奖、三等奖多项。