当前位置: 首页 > news >正文

ChinaSoft 论坛巡礼 | 系统与网络安全论坛

2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日在上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”,学术、工业、教育、竞赛等分论坛活动40余场,期待您的参与!

目前大会火热报名中!

CCF ChinaSoft 2023官方首页:

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023

b25b56efda9142ef9fe7e551007a9bf7.jpeg

✦  +

+

论坛巡礼

论坛名称:系统与网络安全论坛

时间: 2023年12月2日(周六),14:00 – 18:00

地点: 上海国际会议中心,3B会议室

论坛简介:

     近年来,随着移动通信、云计算、人工智能、区块链等技术的快速发展,传统系统软件与网络应用被赋予新特性和新场景,新兴系统软件与网络应用也不断涌现。与此同时,各类系统攻击、网络犯罪等安全问题频繁发生,给社会和国家安全带来了极大的危害。CCF ChinaSoft2023“系统与网络安全”论坛主要关注网络空间中新兴系统软件与网络软件的安全检测、防御与溯源等技术,经过公开征集论文,共收到35份稿件,经过两轮评审,最终10篇论文通过评审被邀请到论坛汇报。另外,本论坛还邀请了学术界和产业界的专家学者来分享他们最新的研究成果及见解。

日程安排

Schedule

db72b6a32ba9b4b9b49f00ba0a2b08da.png

1f3543812ec77814d5857ab8b51671da.png

论坛主席

Forum Chairmen

ee001bf9122ff002715746d30e1da934.jpeg

向剑文

武汉理工大学

    武汉理工大学计算机与人工智能学院副院长、教授、博士生导师,湖北省百人计划特聘专家,湖北省创新群体负责人,CCF系统软件专委会与软件工程专委会执行委员、中国电子学会可靠性分会委员、工业控制系统安全与可靠测评共性技术工信部重点实验室学术委员会委员。主要研究方向包括网络安全和可靠性工程等。主持国家重点研发计划课题、国家自然科学基金、国家242信息安全专项、湖北省重点研发计划、湖北省自然科学基金重点等多个科研项目,担任包括ISSRE、DSN等多个国际会议大会主席或组织工作。

b6e1327642ee8b598580815768d69491.jpeg

陈厅

电子科技大学

    主要从事软件安全,尤其是区块链攻击交易检测、智能合约行为识别和区块链资源滥用防御的研究工作。发表高水平论文35篇,在国际公认的安全/软件工程/网络顶级国际会议上(CCS、NDSS、ICSE、ASE、INFOCOM等)发表论文8篇,谷歌总引用1780次。获得2012国家科技进步二等奖(排名第六)、2010 四川省科技进步一等奖(排名第五)。入选四川省学术和技术带头人后备人选,被评为2019 成都区块链年度优秀个人(唯一高校获奖者)。主持一项国家重点研发计划课题和两项国家自然基金项目,拥有8项发明专利授权,包括1项美国专利,相关成果已在三家高科技企业推广应用。担任知名安全SCI期刊《Security and CommunicationNetworks》客座编辑、区块链知名国际会议IEEE International Symposium on Blockchain程序委员会主席。连续两年担任安全四大顶会之一NDSS程序委员会委员,连续5年担任通信领域旗舰国际会议Globecom程序委员会委员。

09561994618e7732d8567861b886c594.jpeg

王浩宇

华中科技大学

    华中科技大学网络空间安全学院教授,博士生导师, Security PRIDE团队负责人,华科网安-烽火通信网络安全联合研究中心主任,华中科技大学OpenHarmony技术俱乐部主任。研究方向为新兴软件系统安全,近年共发表论文100余篇,包括CCF-A类论文和CSRankings顶会论文70余篇。曾三次获得CCF A类顶会最佳/杰出论文奖,2021年度北京市科技进步一等奖,2021年度中国通信学会科技进步二等奖,2022年度中国电子学会科技进步二等奖等奖励。

ce1fe3cb67992a89c780b39ad8602d44.png

罗夏朴 

香港理工大学

    香港理工大学计算机系教授,博士生导师,在移动安全和隐私、区块链/智能合约、网络安全和隐私,以及软件工程等方向取得丰硕科研成果,多次在相关领域的顶级会议和期刊上发表论文,包括IEEE S&P、USENIX SEC、ACM CCS、NDSS、ICSE、ESEC/FSE、ASE、ISSTA等,累计发表CCF A 类论文过百篇;获10项最佳论文奖,包括2022年ISSTA SIGSOFT杰出论文奖、 2021年ICSE SIGSOFT杰出论文奖、2018 年INFOCOM 最佳论文奖、2016 年ISSRE 最佳研究论文奖等;并荣获多项工业界奖项,如亚太区资讯安全领导成就表彰计划(2017)、CCF-腾讯犀牛鸟基金优秀奖(2014)等;其研究成果被业界主要公司所使用,并有一批成果通过开源方式贡献给学术界和工业界;其现任IEEE/ACM Transactions on Networking和IEEE Transactions on Dependable and Secure Computing编委,多次担任安全及软工顶会程序委员会委员,并为RAID’23和Securecomm’23的大会主席。

7eb647fc77e471f7cb5859a82bd221e8.jpeg

杨珉

复旦大学

    复旦大学计算机科学技术学院院长兼党委副书记,复旦大学中国网络空间战略研究所副所长,上海市青年联合会第十二届副主席,第八届国务院学位委员会网络空间安全学科评议组成员、教育部长江学者特聘教授。主要研究领域包括网络安全,主要包括恶意代码检测、漏洞分析挖掘、AI 安全、区块链安全、Web 安全和系统安全机制等。

论坛嘉宾

Forum Guests

040bfca1e40185ee39538b6d76b28df4.jpeg

何跃鹰 

网络安全应急技术国家工程研究中心

    现任网络安全应急技术国家工程研究中心常务副主任,工业控制系统网络安全应急技术工信部重点实验室主任,北航、北理工、武汉理工大学等校兼职研究生导师,主要致力于工控物联网安全和数据跨境安全检测等方向的研究。领导团队研究成果“面向超大规模流量的·网络生物数据安全检测关键技术及应用”获2021年中国通信学会科技进步奖一等奖,研究成果“面向国家关键基础设施的·网络安全威胁检测技术及应用”获2022年中国电子学会科技进步奖二等奖。被聘为IEEE PES电力系统信息与网络安全技术分委会副主席,中国应急管理学会石油石化安全与应急工作委员会副主任委员,北京市“两区”建设专家咨询委员会专家。

报告题目:

软件供应链安全治理研究与实践

报告摘要:

   随着软件开发方式的变革以及开源软件的蓬勃发展,软件供应链安全风险日益严峻。本报告介绍软件供应链安全国家战略,分析开源软件的主要安全风险,给出软件供应链安全分析系统解决方案及其典型应用,并总结了软件供应链安全治理的平台架构和工作流程。

a33080a5b1b0c9a8d5f4ff6ecafb0cbf.png

南雨宏

中山大学

    中山大学软件工程学院“百人计划“副教授,校青年拔尖人才。博士毕业于复旦大学,曾任普渡大学博士后研究员、普渡CERIAS访问学者。主要研究方向为软件安全及隐私保护,研究对象涉及移动操作系统、物联网平台、区块链及智能合约。在系统安全会议USENIX Security、ACM CCS,NDSS会议发表论文共计10余篇。曾获ACM SIGSAC中国优秀博士论文奖、WOOT 2020最佳论文奖、北美CSAW Applied Security Research Top-10 Finalist等荣誉。主持国家自然科学基金青年基金、广东省重点领域专项、广东省面上、阿里AIR基金等项目。研究累计发现30余项软件安全及隐私问题,13项漏洞获国家漏洞库CNVD高危评级,以及获得Apple、Google、Facebook、Microsoft、Bluetooth SIG、Slack等厂商确认及致谢。

报告题目:

大规模物联网设备隐私泄露隐患研究

报告摘要:

    物联网终端设备广泛应用于智能家居、健康医疗等场景中。由于此类设备经常携带大量与个人隐私紧密相关的敏感数据,其隐私泄露的风险及隐患长久以来受到广泛关注。已有针对物联网设备的隐私泄露分析检测方案集中于对设备进行动态测试。然而,鉴于物联网设备类型丰富、形式多样,动态测试往往依赖于特定实验环境及人工辅助,无法有效支撑大规模合规审查、平台监管等隐私保护的迫切需求。针对该挑战,本报告将介绍如何利用物联网设备中广泛存在的配套移动应用,实现对物联网设备所承载隐私数据进行有效的分析推断,进一步实现不依赖于物联网设备对相关隐私数据实现大规模、自动化分析。

0e4c51ced2af38a301f8c0db012a2b3f.jpeg

相关文章:

ChinaSoft 论坛巡礼 | 系统与网络安全论坛

2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日在上海国际会议中心举行。 本次大会主题是“智能化软件创新推动数字经济与社…...

Ubuntu Gitlab安javascript:void(‘numberedlist‘)装

原因: 代码越改越多,越难维护,开发代码和发布代码融为一体;2人以上开发,都会修改代码,修改次数一多,代码难以维护 其中:前往Gitlab官网:gitlab/gitlab-ce - Packages pa…...

11.4-GPT4AllTools版本已开始对小部分GPT3.5用户内测推送

OpenAI已经开始小规模推送GPT4 AllTools功能,部分GPT博主已经第一时间体验了此功能,此功能特色是整合目前的多模态功能以及文件上传和联网模块,无需切换,更要全面综合 可上传包括 PDF、数据文件在内的任意文档,并进行分…...

竞赛选题 深度学习手势检测与识别算法 - opencv python

文章目录 0 前言1 实现效果2 技术原理2.1 手部检测2.1.1 基于肤色空间的手势检测方法2.1.2 基于运动的手势检测方法2.1.3 基于边缘的手势检测方法2.1.4 基于模板的手势检测方法2.1.5 基于机器学习的手势检测方法 3 手部识别3.1 SSD网络3.2 数据集3.3 最终改进的网络结构 4 最后…...

语言模型AI——聊聊GPT使用情形与影响

GPT的出现象征着人工智能自然语言处理技术的一次巨大飞跃。从编程助手到写作利器,它的身影在各个行业中越来越常见。百度【文心一言】、CSDN【C知道】等基于GPT的产品相继推出,让我们看到了其广泛的应用前景。然而,随着GPT的普及,…...

浅谈事件冒泡和事件捕获

事件冒泡和事件捕获分别由微软和网景公司提出&#xff0c;这两个概念都是为了解决页面中事件流&#xff08;事件发生顺序&#xff09;的问题。 <div id"div1"><div id"div2"><div id"div3">click</div></div> <…...

CSS 背景、文本、字体

CSS背景&#xff1a; CSS背景属性用于定义HTML元素的背景。CSS属性定义背景效果&#xff1a;background-color&#xff1b;background-image&#xff1b;background-repeat&#xff1b;background-attachment&#xff1b;background-position。 background-color属性定义元素…...

爬取Elastic Stack采集的Nginx内容

以下是一个简单的Go语言爬虫程序&#xff0c;用于爬取Elastic Stack采集的Nginx内容。请注意&#xff0c;这只是一个基本的示例&#xff0c;实际使用时可能需要根据具体情况进行修改和扩展。 package mainimport ("fmt""net/http""io/ioutil" )…...

python 机器学习 常用函数

一 np.random.randint "randint" 是 "random integer" 的缩写&#xff0c;表示生成随机整数。 np.random.randint 是 NumPy 库中的一个函数&#xff0c;用于生成随机整数。以下是该函数的一般语法&#xff1a; np.random.randint(low, high, size)其中…...

手写操作系统篇:环境配置

文章目录 前言C环境配置Rust环境配置Qemu安装 前言 这篇博客先配置好我们之后的开发环境&#xff0c;下载一些依赖的软件包 建议大家使用ubuntu操作系统 C环境配置 sudo apt-get update && sudo apt-get upgrade sudo apt-get install git wget build-essential gdb…...

地理信息系统原理-空间数据结构(7)

​四叉树编码 1.四叉树编码定义 四叉树数据结构是一种对栅格数据的压缩编码方法&#xff0c;其基本思想是将一幅栅格数据层或图像等分为四部分&#xff0c;逐块检查其格网属性值&#xff08;或灰度&#xff09;&#xff1b;如果某个子区的所有格网值都具有相同的值&#xff0…...

三国志14信息查询小程序(历史武将信息一览)制作更新过程03-主要页面的设计

1&#xff0c;小程序的默认显示 分为三部分&#xff0c;头部的标题、中间的内容区和底部的标签栏。点击标签可以切换不同页面&#xff0c;这是在app.json文件中配置的。代码如下&#xff1a; //所有用到的页面都需要在 pages 数组中列出&#xff0c;否则小程序可能会出现错误或…...

学习Opencv(蝴蝶书/C++)相关——2.用clang++或g++命令行编译程序

文章目录 1. c/cpp程序的执行1.1 cpp程序的编译过程1.2 预处理指令1.3 编译过程的细节2. macOS下使用Clang看cpp程序的编译过程2.1 示例2.1.1 第一步 预处理器-preprocessor2.1.2 第二步 编译器-compiler2.1.3 第三步 汇编器-assembler2.1.4 第四步 链接器-linker2.1.5 链接其他…...

【Unity细节】VS不能附加到Unity程序中解决方法大全

&#x1f468;‍&#x1f4bb;个人主页&#xff1a;元宇宙-秩沅 hallo 欢迎 点赞&#x1f44d; 收藏⭐ 留言&#x1f4dd; 加关注✅! 本文由 秩沅 原创 &#x1f636;‍&#x1f32b;️收录于专栏&#xff1a;unity细节和bug &#x1f636;‍&#x1f32b;️优质专栏 ⭐【…...

线上 kafka rebalance 解决

上周末我们服务上线完毕之后发生了一个kafka相关的异常&#xff0c;线上的kafka频繁的rebalance&#xff0c;详细的报错我已经贴到下面&#xff0c;根据字面意思&#xff1a;消费者异常 org.apache.kafka.clients.consumer.CommitFailedException: 无法完成提交&#xff0c;因为…...

[100天算法】-第一个错误的版本(day 62)

题目描述 你是产品经理&#xff0c;目前正在带领一个团队开发新的产品。不幸的是&#xff0c;你的产品的最新版本没有通过质量检测。由于每个版本都是基于之前的版本开发的&#xff0c;所以错误的版本之后的所有版本都是错的。假设你有 n 个版本 [1, 2, ..., n]&#xff0c;你…...

React 学习系列: 类组件生命周期方法

类组件生命周期方法 constructor 在类组件挂载的时候调用&#xff0c;用于构建一个类组件实例。 在构建类组件实例的时候&#xff0c; 会先执行基类构造函数( React.Component ) 使用父组件传入的 props 来初始化 props 属性&#xff0c; 然后执行自定义构造函数来初始化 state…...

Flume从入门到精通一站式学习笔记

文章目录 什么是FlumeFlume的特性Flume高级应用场景Flume的三大核心组件Source&#xff1a;数据源channelsink Flume安装部署Flume的使用案例&#xff1a;采集文件内容上传至HDFS案例&#xff1a;采集网站日志上传至HDFS 各种自定义组件例如&#xff1a;自定义source例如&#…...

Python150题day08

2.基础语法篇 2.1 if 条件句 ①单个条件分支 使用input函数接收用户的输入&#xff0c;如果用户输入的整数是偶数&#xff0c;则使用print函数输出"你输入的整数是:{value],它是偶数”&#xff0c;[value]部分要替换成用户的输入。 解答: value input("请输⼊⼀…...

正则表达式的修饰符

正则表达式的修饰符是用来修改和调整正则表达式的特殊字符或元字符。修饰符可以改变正则表达式的行为和匹配方式。以下是一些常见的正则表达式修饰符&#xff1a; g&#xff08;全局&#xff09;&#xff1a;表示全局匹配&#xff0c;即在整个字符串中搜索所有匹配项&#xff…...

量化模型实测:百川2-13B-4bits在OpenClaw复杂任务中的精度损失

量化模型实测&#xff1a;百川2-13B-4bits在OpenClaw复杂任务中的精度损失 1. 测试背景与实验设计 去年在部署本地AI助手时&#xff0c;我遇到一个现实矛盾&#xff1a;大模型的能力与硬件成本难以兼得。当尝试用OpenClaw实现自动化办公流程时&#xff0c;发现13B参数的百川原…...

Balena Etcher:三步完成系统镜像烧录,告别复杂命令的困扰

Balena Etcher&#xff1a;三步完成系统镜像烧录&#xff0c;告别复杂命令的困扰 【免费下载链接】etcher Flash OS images to SD cards & USB drives, safely and easily. 项目地址: https://gitcode.com/GitHub_Trending/et/etcher 你是否曾经因为需要制作系统启动…...

OpenClaw性能调优:ollama-QwQ-32B模型批处理与缓存机制实战

OpenClaw性能调优&#xff1a;ollama-QwQ-32B模型批处理与缓存机制实战 1. 为什么需要性能调优&#xff1f; 上周我遇到了一个棘手的问题&#xff1a;需要让OpenClaw自动处理100份PDF文档的摘要生成任务。本以为只是简单的批量调用模型&#xff0c;结果发现处理速度慢得惊人—…...

别再让C盘爆红了!Windows 11上Ollama安装与模型存储路径修改保姆级教程

Windows 11上Ollama安装避坑指南&#xff1a;彻底解决C盘空间焦虑 每次看到C盘飘红&#xff0c;就像看到手机电量只剩5%一样让人焦虑。特别是当你兴冲冲地安装Ollama准备体验本地大模型时&#xff0c;却发现默认安装路径无情地吞噬着宝贵的C盘空间。本文将带你从零开始&#xf…...

ColorControl专业调校指南:从问题诊断到显示优化的参数配置全流程

ColorControl专业调校指南&#xff1a;从问题诊断到显示优化的参数配置全流程 【免费下载链接】ColorControl Easily change NVIDIA display settings and/or control LG TVs 项目地址: https://gitcode.com/gh_mirrors/co/ColorControl 一、问题诊断&#xff1a;你的显…...

MySQL 数据恢复利器:my2sql 实战解析与应用场景

1. my2sql 是什么&#xff1f;为什么你需要它&#xff1f; 如果你负责过MySQL数据库运维&#xff0c;肯定遇到过这样的场景&#xff1a;开发同事不小心执行了DELETE FROM users WHERE id1&#xff0c;然后慌慌张张跑过来问你能不能恢复数据。这时候如果只有全量备份binlog的传统…...

Telegram用户必看:Grok聊天机器人全功能实测与隐藏技巧大公开

Telegram用户必看&#xff1a;Grok聊天机器人全功能实测与隐藏技巧大公开 作为Telegram深度用户&#xff0c;你可能已经注意到聊天界面顶部多了一个新面孔——Grok聊天机器人。这款由xAI打造的AI助手正在悄然改变我们的通讯体验。不同于市面上大多数聊天机器人&#xff0c;Grok…...

Stable-Diffusion-V1-5 效率工具集:Ollama本地LLM辅助提示词生成

Stable-Diffusion-V1-5 效率工具集&#xff1a;Ollama本地LLM辅助提示词生成 你是不是也遇到过这种情况&#xff1a;脑子里有个绝妙的画面&#xff0c;但打开Stable Diffusion&#xff0c;面对那个空白的提示词输入框&#xff0c;却不知道从何写起。要么写得太简单&#xff0c…...

internlm2-chat-1.8b长文本处理实战:法律合同分析+关键条款提取教程

internlm2-chat-1.8b长文本处理实战&#xff1a;法律合同分析关键条款提取教程 你是不是也遇到过这样的烦恼&#xff1f;拿到一份几十页的法律合同&#xff0c;密密麻麻的文字看得人头晕眼花&#xff0c;想快速找到里面的关键条款&#xff0c;比如付款方式、违约责任、保密协议…...

Java 企业级应用:基于 SpringBoot 集成 Pixel Dream Workshop 构建内容中台

Java 企业级应用&#xff1a;基于 SpringBoot 集成 Pixel Dream Workshop 构建内容中台 1. 企业内容中台的业务场景与挑战 现代企业面临内容生产的三大痛点&#xff1a;创意产出效率低、设计资源不足、多平台适配成本高。以电商行业为例&#xff0c;一个中型电商平台每月需要…...