会议总议程

Size: px

Start display at page:

Download "会议总议程"

士凌
7 years ago
Views:

1 第八届中国可信计算与信息安全学术会议 (CTCIS 2014) 程序册湖北恩施 2014 年 9 月日主办单位 : 指导单位 : 中国计算机学会教育部高等学校信息安全类专业教学指导委员会承办单位 : 华中科技大学湖北民族学院中国计算机学会容错计算专业委员会赞助单位 : 国际可信计算联盟 TCG Intel 微软清华大学出版社武汉天喻信息产业股份有限公司协办单位 : 武汉大学公安部第三研究所湖北省计算机学会

大学湖北民族学院中国计算机学会容错计算专业委员会赞助单位 : 国际可信计算联盟 TCG Intel 微软

2 目录大会议程... 1 分会场报告议程... 2 Session 1. 可信云计算... 2 Session 2. 网络安全... 3 Session 3. 密码学... 4 Session 4. 内容安全与隐私保护等... 5 Session 5. 自由论坛报告... 6 酒店及交通信息... 7 会议组织... 8 华中科技大学简介...11 湖北民族学院简介...12

3 大会议程日期时间内容地点 9 月 12 日 8:30-23:00 参会代表报到注册 B 栋一楼大厅 18:00-20:30 自助餐宴会厅 - 二楼 C 厅 21:00- 程序委员会扩大会议宴会厅 - 四楼 - 会议室 1 8:30-9:00 开幕式湖北民族学院领导致辞沈昌祥院士致辞主持人教指委领导致辞邹德清主管单位领导致辞教授计算机容错专委会领导致辞公安部三所领导致辞 9:00-9:30 集体合影 ( 茶歇 ) 宴会厅 - 三楼 - 多功能会议室 9 月 13 日 9:30-10:20 特邀报告 1 10:20-11:10 特邀报告 2 主持人郑明辉题目 : 中国可信计算的创新与发展报告人 : 沈昌祥院士题目 : 信息安全技术的发展畅想报告人 : 荆继武教授宴会厅 - 三楼 - 多功能会议室教授题目 : 可信计算在工业控制嵌入式 11:10-12:00 特邀报告 3 系统中的应用研究报告人 : 张焕国教授 12:10-13:40 自助午餐宴会厅 - 一楼 - 餐厅 9 月 14 日 9 月 15 日 14:00-17:30 分会场论文报告可信云计算宴会厅 - 四楼 - 会议室 1 网络安全宴会厅 - 四楼 - 会议室 2 18:00 欢迎晚宴 ( 所有参会代表 ) (17:30 在酒店门口集合乘车出发 ) 待定题目 : 大玩家安全威胁的应对 8:30-9:20 特邀报告 4 主持人报告人 : 杜跃进教授赵波题目 : 网络空间安全科学的理论基础 9:20-10:10 特邀报告 5 教授报告人 :Prof. Shouhuai Xu 宴会厅 - 三楼 - 多功能会议室 10:10-10:30 会间休息 ( 茶歇 ) 题目 : 社交网络中的安全与隐私问题 10:30-11:20 特邀报告 6 主持人报告人 :Prof. Yang Xiang 石文昌题目 : 密码学的新发展 11:20-12:10 特邀报告 7 教授报告人 : 曹珍富教授宴会厅 - 三楼 - 多功能会议室 12:10-13:40 自助午餐宴会厅 - 一楼 - 餐厅密码学宴会厅 - 四楼 - 会议室 1 14:00-18:00 分会场论文报告内容安全与隐私保护宴会厅 - 四楼 - 会议室 2 自由报告论坛宴会厅 - 四楼 - 会议室 3 18:15 自助晚餐宴会厅 - 一楼 - 餐厅参观考察和代表返程全天 ( 早 08:00 在酒店门口集合乘车出发, 待定下午 17:30 左右返回宾馆,18:00 晚餐 ) 1

人郑明辉题目 : 中国可信计算的创新与发展报告人 : 沈昌祥院士题目 : 信息安全技术的发展畅想报告人 : 荆继武教授宴会厅 - 三楼 - 多功能会议室教授题目 : 可信计算在工业控制嵌入式 11:10-12:00 特邀报告 3 系统中的应用研究

4 分会场报告议程 Session 1. 可信云计算地点 : 宴会厅 - 四楼 - 会议室 1 日期 :2014 年 9 月 13 日时间主持人报告人题目 14:00-14:30 陈恺, 微软公司特邀报告 : 安全开发生命周期赵波, 武汉大学云环境下可信网络连接研究叶思海, 华为公司端到端可信云计算安全架构实践 14:30-15:30 王清贤教授马川, 燕山大学陈锦富, 江苏大学 A behavior analysis and detection method for distributed systems An Approach of Security Testing for Third-Party Component based on State Mutation 陈建钧, 成都信息工程学院 WSNs 中基于簇结构的云信任模型研究赵磊, 武汉大学 Collaborative Reversing of Input Formats and Program Data Structures for Security Applications 15:30-15:50 会间休息 ( 茶歇 ) 张文博, 北京工业大学 A Security Communication Model for Vehicular Clouds Based on Trusted Computing 王超, 南京邮电大学 DroidDefence: Extended Fine-grained Android Application Permission Management System 陈曦, 招商银行 A Trust Management Scheme Based on Behavior Feedback for Opportunistic Networks 余发江, 武汉大学 A Formal Analysis of TPM 2.0 HMAC Authentication 15:50-17:30 张建标教授韩兰胜, 华中科技大学张大伟, 北京交通大学 Malicious Code Detection Model based on Behavior Association 基于 DAA 和 TLS 的匿名远程证明协议崔竞松, 武汉大学基于 KVM 的 Windows 客户机进程查杀技术谭霜, 国防科学技术大学 An Efficient Method for Checking the Integrity of Data in Cloud 杨光, 北京交通大学 An ID-based node key management scheme based on PTPM in MANETs 傅建明, 武汉大学 S-Tracker: 基于栈异常的 Shellcode 检测方法 2

全架构实践 14:30-15:30 王清贤教授马川, 燕山大学陈锦富, 江苏大学 A behavior analysis and detection method for distributed systems An Approach of Security Testing for Third-Party Component based on State

5 Session 2. 网络安全地点 : 宴会厅 - 四楼 - 会议室 2 日期 :2014 年 9 月 13 日时间主持人报告人题目周冲, 华为公司安全免疫系统构建自愈的健装系统陈雷, 中国刑事警察学院 Resource Allocation in Wireless Cooperative Multicast Networks for Outage Probability Minimization 宋元章, 中国科学院长春光学基于网络流量相关性和数据融合的 P2P botnet 精密机械与物理研究所检测方法石乐义, 中国石油大学 ( 华东 ) A sensor anonymity enhancement scheme based on pseudonym for clustered wireless sensor network 14:00-15:30 张付志教授刘巍然, 北京航空航天大学雷程, 信息工程大学 SAKE: Scalable Authenticated Key Exchange in Mobile E-Health Networks Multilayer Collaborative Traceback Technique based on Net-flow Fingerprint 吕建明, 华南理工大学 Deepflow: Hiding Anonymous Communication Traffic in P2P Streaming Networks 陈林, 四川大学 The research and practice of dynamic network security architecture for IaaS platform 邓入弋, 武汉大学 A Remote Data Checking Approach Based on Network Coding 15:30-15:50 会间休息 ( 茶歇 ) 杨媚, 吉林大学基于多维观测特征的 MF-HMM 模型识别新型 LDoS 驱动的高分散低速率 QoS 侵犯王环环, 江苏大学 Worst-input Mutation Approach to Web Services 马洪亮, 北京交通大学 A Lightweight Method for Detecting Javascript-based Malicious Web pages 彭国军, 武汉大学一种基于对抗的安全软件安全性分析方法 15:50-17:30 付才副教授刘光军, 西安文理学院李敏, 华中科技大学 Low-complexity Secure Network Coding Against Wiretapping Using Intra-/Inter-generation Coding A Hierarchical Virus Immunization Method for Community Networks 王鹃, 武汉大学 A trusted payment system on mobile platform 刘飚, 北京电子科技学院 Correlation Power Attack on AES Cipher Chip with Rotating S-boxes Masking 陈琳, 北京工业大学 Research of Multi-level Identification Technology for Peer to Peer Application 朱辉, 西安电子科技大学 PTFA: A Secure and Privacy-Preserving Traffic Flow Analysis Scheme for Intelligent Transportation System 3

Networks for Outage Probability Minimization 宋元章, 中国科学院长春光学基于网络流量相关性和数据融合的 P2P botnet 精密机械与物理研究所检测方法石乐义, 中国石油大学 ( 华东 ) A sensor anonymity enhancement

6 Session 3. 密码学地点 : 宴会厅 - 四楼 - 会议室 1 日期 :2014 年 9 月 14 日时间主持人报告人题目 14:00-14:30 王绍斌,Intel 公司特邀报告 : 安全计算环境钟卫东, 武警工程大学 An Efficient and Practical Public Key Cryptosystem with CCA-security on Standard Model 薛静锋, 北京理工大学 An improved ID-based group key agreement protocol 14:30-15:30 杨晓元教授吴阳, 福州大学贺春姣, 中国地质大学云计算中可验证的语义模糊可搜索加密方案 Toward a RSU-unavailable lightweight certificateless key agreement scheme for VANET 高倩, 北京交通大学 Two image encryption methods with hiding effect based on moiré pattern 曹杰, 北京电子科技学院一种基于 NTRU 新型签名方案的设计 15:30-15:50 会间休息 ( 茶歇 ) 赵建, 中国人民解放军信息 Attribute-Based Encryption for Circuits on 工程大学 Lattices 张爽, 北京电子科技学院 Targeted Fully Homomorphic Encryption Based on Double Decryption Algorithm for Polynomials 张薇, 武警工程大学 Efficient Fully Homomorphic Encryption with Circularly Secure Key Switching Process 15:50-17:30 王鹃副教授刘冠丽, 重庆邮电大学陈智罡, 南京航空航天大学 Asymmetrical quantum encryption protocol based on quantum search algorithm A Fully Homomorphic Encryption Scheme with Better Key Size 韩益亮, 武警工程大学标准模型下可证安全的多变量密码方案宋军, 中国地质大学 A privacy-preserving distance-based incentive scheme in opportunistic VANETs 毛少武, 武汉大学 A resistant quantum key exchange protocol and its corresponding encryption scheme Software Defect Prediction Using Fuzzy Integral 李克文, 中国石油大学 ( 华东 ) Fusion Based on GA-FM 4

CCA-security on Standard Model 薛静锋, 北京理工大学 An improved ID-based group key agreement protocol 14:30-15:30 杨晓元教授吴阳, 福州大学贺春姣, 中国地质大学云计算中可验证的语义模糊可搜索加密方案 Toward

7 Session 4. 内容安全与隐私保护等地点 : 宴会厅 - 四楼 - 会议室 2 日期 :2014 年 9 月 14 日时间主持人报告人题目胡国香, 中南民族大学 A class of Hamming weight of linear codes with dimension 5 吴小松, 四川大学 An Improved Initial Cluster Centers Selection Algorithm for K-means Based on Features Correlative Degree 朱晓玲, 合肥工业大学 A Location Privacy Preserving Solution to Resist Passive and Active Attacks in VANET 14:00-15:30 田俊峰教授杜钢, 武汉大学付帅, 西安电子科技大学 IDVE: A Mechanism of Consistent Virtual Domain Migration for Inter-datacenter A Robust and Privacy-Preserving Aggregation Scheme for Secure Smart Grid Communications in Digital Communities 李志慧, 陕西师范大学参与者人数为九的一类连通超图存取结构的信息率张帆, 武汉轻工大学基于静态插装和约束求解的 C 源代码整数漏洞检测方法王瑾榕, 西北大学面向自动化建模的软件攻击技术分类研究 15:30-15:50 会间休息 ( 茶歇 ) 伊华伟, 燕山大学 A robust collaborative recommendation algorithm based on k-distance and Tukey M-estimator 张伊璇, 北京经开投资开发 Application of Game Theory for Dynamic 股份有限公司 Access Control in Security Systems 罗欣荣, 暨南大学 Fragile Audio Watermarking with Perfect Restoration Capacity Based on an Adapted Integer Transform 15:50-17:30 羌卫中副教授张学军, 西安交通大学董浩, 西北大学 Privacy Quantification Model based on Bayes Conditional risk for Location-based Services 基于反调试的 JavaScript 代码保护方法研究王倩, 南京邮电大学支持偏好度动态适应的 Skyline 服务选择方法严骐, 南京邮电大学基于用户偏好的 IIFS-SEA 服务评估方法鲁剑锋, 浙江师范大学 An Optimized Approach for Resolving the Inconsistency Conflicts in Access 张敏情, 武警工程大学基于选择性集成分类器的通用隐写分析 5

Initial Cluster Centers Selection Algorithm for K-means Based on Features Correlative Degree 朱晓玲, 合肥工业大学 A Location Privacy Preserving Solution to Resist Passive and Active Attacks in VANET

8 Session 5. 自由报告论坛地点 : 宴会厅 - 四楼 - 会议室 3 日期 :2014 年 9 月 14 日时间主持人主题待定待定 14:00-18:00 待更新待定待定 6

9 酒店及交通信息 [ 会议酒店距离恩施机场 1.4 公里, 行车约 3 分钟会议酒店 : 华龙城大酒店 : 电话 : 地址 : 恩施市施川大道 469 号 7

10 会议组织大会主席 : 沈昌祥, 中国工程院院士大会副主席 : 张焕国, 武汉大学教授大会主席助理 : 赵波, 武汉大学教授程序委员会主席 : 金海, 华中科技大学教授程序委员会副主席 : 邹德清, 华中科技大学教授程序委员会委员 ( 按拼音顺序 ): 白国强, 清华大学曹珍富, 上海交通大学陈钟, 北京大学陈克非, 上海交通大学陈兴蜀, 四川大学冯登国, 中国科学院软件研究所韩臻, 北京交通大学贺也平, 中国科学院软件研究所胡昌振, 北京理工大学贾春福, 南开大学李健, 北京工业大学刘增良, 国防大学刘建伟, 北京航空航天大学马建峰, 西安电子科技大学 8

大学陈钟, 北京大学陈克非, 上海交通大学陈兴蜀, 四川大学冯登国, 中国科学院软件研究所韩臻, 北京交通大学贺也平, 中国科学院软件研

11 孟丹, 中科院信息工程研究所林东岱, 中科院信息工程研究所秦玉海, 中国刑警学院秦志光, 电子科技大学单志广, 国家信息中心石文昌, 中国人民大学田俊峰, 河北大学王劲松, 天津理工大学王怀民, 国防科技大学王丽娜, 武汉大学王清贤, 解放军信息工程大学王小云, 清华大学温巧燕, 北京邮电大学谢晓尧, 贵州师范大学徐明, 国防科学技术大学许力, 福建师范大学杨波, 陕西师范大学杨晓元, 武警工程大学杨义先, 北京邮电大学俞能海, 中国科学技术大学张红旗, 解放军信息工程大学张宏莉, 哈尔滨工业大学张玉清, 中国科学院大学 9

清华大学温巧燕, 北京邮电大学谢晓尧, 贵州师范大学徐明, 国防科学技术大学许力, 福建师范大学杨波, 陕西师范大学杨晓元, 武警工

12 张建标, 北京工业大学赵波, 武汉大学赵一鸣, 复旦大学张付志, 燕山大学邹德清, 华中科技大学组织委员会主席 : 郑明辉, 湖北民族学院金波, 公安部第三研究所组织委员会副主席 : 付才, 华中科技大学羌卫中, 华中科技大学孔华锋, 公安部第三研究所组织委员会委员 : 徐鹏, 华中科技大学陈晶, 武汉大学韩兰胜, 华中科技大学 10

13 华中科技大学简介华中科技大学是国家教育部直属的全国重点大学, 由原华中理工大学同济医科大学武汉城市建设学院于 2000 年 5 月 26 日合并成立, 是首批列入国家 211 工程重点建设和国家 985 工程建设高校之一学校校园占地 7000 余亩, 园内树木葱茏, 碧草如茵, 环境优雅, 景色秀丽, 绿化覆盖率 72%, 被誉为森林式大学学校教学支撑体系完备, 各项公共服务设施齐全学校学科齐全结构合理, 基本构建起研究型大学的学科体系拥有哲学经济学法学教育学文学历史学理学工学农学医学管理学艺术学等 12 大学科门类 ; 设有 95 个本科专业,224 个硕士学位授权点,183 个博士学位授权点,35 个博士后科研流动站 ; 现有一级学科国家重点学科 7 个, 二级学科国家重点学科 15 个 ( 内科学外科学按三级 ), 国家重点 ( 培育 ) 学科 7 个学校实施人才兴校战略, 师资力量雄厚现有专任教师 3000 余人, 其中教授 900 余人, 副教授 1200 余人 ; 教师中有院士 12 人, 千人计划入选者 36 人, 外专千人计划入选者 4 人, 青年千人计划入选者 39 人, 长江学者特聘教授 43 人讲座教授 35 人, 国家杰出青年科学基金获得者 50 人, 973 计划项目首席科学家 14 人, 重大科学研究计划项目首席科学家 2 人, 教育部新世纪优秀人才支持计划入选者 224 人, 国家百千万人才工程入选者 36 人, 国家级教学名师 9 人学校秉承育人为本创新是魂责任以行的办学理念, 坚持一流教学一流本科的建设目标, 采取多种举措, 深化教育教学改革, 全面推进素质教育, 构建和完善充满活力的创新人才培养体系几十年来, 已为国家培养了近 40 万名高级人才按照应用领先基础突破协调发展的科技发展方略, 构建起了覆盖基础研究层高新技术研究层技术开发层三个层次的科技创新体系建设有武汉光电国家实验室 ( 筹 ) 脉冲强磁场实验装置等国家重大科技基础设施, 还拥有 5 个国家重点实验室 1 个国防科技重点实验室 6 个国家工程 ( 技术 ) 研究中心 1 个国家工程实验室 2 个国家专业实验室及一批省部级研究基地学校坚持服务乃宗旨, 贡献即发展的办学思路, 面向国民经济建设主战场, 学研产相结合, 密切与地方政府大型企业的合作关系, 通过设立驻外研究院产业化基地, 开展横向科技合作等方式为区域经济建设服务学校坚持开放式办学理念, 积极开展全方位多层次的国际交流与合作, 目前已与世界上 26 个国家和地区的 100 多所大学建立了良好的校际交流关系, 每年有约 300 批 1500 余人次的国 ( 境 ) 外专家学者来我校任教合作科研和开展学术交流活动附属协和医院同济医院是集医疗教学科研培训为一体的大型现代化综合性医院, 是湖北省乃至中南地区的医疗诊治中心附属梨园医院突出老年病学的特色, 是湖北省老年病防治研究中心华中科技大学正以创建世界一流大学为目标, 秉持明德厚学, 求是创新的校训, 敢于竞争, 善于转化, 聚精会神, 科学发展, 全面提升办学水平, 努力开创更加辉煌灿烂的明天 11

学历史学理学工学农学医学管理学艺术学等 12 大学科门类 ; 设有 95 个本科专业,224 个硕士学位授权点,183 个博士学位授权点,35 个博士后科研流动站 ; 现有一级学科国家重点学科 7 个, 二级学科国家重点学科 15 个 ( 内科学外科

14 湖北民族学院简介湖北民族学院是 1998 年经教育部批准, 由原湖北民族学院和恩施医学高等专科学校合并组建而成, 是一所以本科教育为主的省属普通本科院校, 是湖北省重点建设高校, 是湖北省政府和国家民委共建学校学校地处神奇美丽的恩施土家族苗族自治州校园面积亩, 校舍总建筑面积万平方米, 图书馆藏书 154 万余册, 建有完备的现代电子图书系统, 电子图书超过 150 万册 ; 教学科研仪器设备价值 1.4 亿元学校现设有文学与传媒学院理学院信息工程学院化学与环境工程学院医学院经济与管理学院生物科学与技术学院外国语学院体育学院艺术学院法学院马克思主义学院林学园艺学院中医药学院预科教育学院临床医学院民族研究院职业技术与继续教育学院等 18 个学院和一所按三级医院管理的附属医院共 55 个本科专业, 涵盖法学教育学文学理学工学农学医学管理学经济学艺术学十大学科门类有 23 个专业可以选修双学士学位有民族学数学化学工程与技术林学中医学 5 个一级学科硕士点, 文艺学等 24 个二级学科硕士点, 工程硕士 ( 电气工程 ) 临床医学新闻与传播 3 个领域招收专业学位硕士研究生民族学法学林学中医学, 与中央民族大学北京林业大学湖北中医药大学联合培养博士研究生学校坚持走内涵发展之路, 秉承艰苦奋斗甘于奉献自强不息追求卓越的民院精神和博学博爱立人达人的校训, 引领民院人不断奋发图强改革开放特别是近 20 年以来, 学校办学质量和层次不断提升, 年顺利通过教育部本科教学工作合格评价和本科教学水平评估,2006 年获得硕士学位授予权现有国家级特色专业点 3 个, 国家级专业综合改革试点 1 个, 国家大学生校外实践教育基地 1 个, 省级品牌专业 4 个, 省级精品课程 11 门, 省级教学团队 2 个, 省级实验教学示范中心 5 个, 省级大学生创新活动基地 1 个, 省级战略性新兴产业人才计划项目 5 项, 省级本科专业综合改革试点项目 4 个, 省级大学生校外实习实训基地 2 个有十二五湖北省重点学科 3 个 ( 民族学林学中医学 ), 十二五湖北省重点 ( 培育 ) 学科 4 个 ( 中国语言文学数学计算机科学与技术化学工程与技术 ), 有湖北省研究生教育创新基地 1 个, 民族学一级学科被纳入湖北省协同创新计划中国语言文学获批为一级学科国家民委重点学科, 应用数学获批为二级学科国家民委重点学科另有湖北省楚天学者特聘教授岗位学科 5 个有省部级重点实验室 ( 含基地 )6 个学校经过多年来的科学发展, 形成了一支结构合理素质良好的师资队伍学校现有专任教师 988 人, 兼职教师 237 人 ( 含外籍教师 12 人 ) 在专任教师中, 具有硕士以上学位 616 人, 具有高级专业技术职务教师 499 人, 其中教授 110 人教师队伍中, 博士硕士生导师一百余人, 新世纪百千万人才工程国家级人选 1 人, 全国优秀教师 2 人, 享受国务院津贴专家 2 人, 湖北省优秀教师 3 人, 省级各类专家 27 人, 聘有楚天学者 7 人学校坚持立足湖北, 面向西部, 辐射全国, 服务基层的办学定位, 面向全国 28 个省 ( 市自治区 ) 招生, 现有全日制硕士研究生普通本专科学生多人, 另有科技学院在校全日制本专科学生余人学校先后为社会培养输送各类专业技术人员十万余人, 毕业生分布于全国各地, 为国家特别是湖北民族地区经济和社会发展作出了突出贡献 12

4 亿元学校现设有文学与传媒学院理学院信息工程学院化学与环境工程学院医学院经济与管理学院生物科学与技术学院外国语学院体育学院艺术学院法学院马克思主义学院林学园艺学院中医药学院预科教育学院临床医学院民族研

填写要求一以 word 文档格式如实填写各项二表格文本中外文名词第一次出现时, 要写清全称和缩写, 再次出现时可以使用缩写三涉密内容不填写, 有可能涉密和不宜大范围公

填写要求一以 word 文档格式如实填写各项二表格文本中外文名词第一次出现时, 要写清全称和缩写, 再次出现时可以使用缩写三涉密内容不填写, 有可能涉密和不宜大范围公 2013 年度上海高校市级精品课程申报表 ( 本科 ) 学校名称东华大学课程名称计算机系统与网络技术课程类型理论课 ( 不含实践 ) 理论课 ( 含实践 ) 实验 ( 践 ) 课所属一级学科名称所属二级学科名称课程负责人申报日期工科计算机