报告题目【ISO/IEC9797-1标准认证安全评估】时间：2019年7月26日(星期五)上午09:00地点：仓山校区成功楼601会议室主讲：上海交通大学特别研究员，王磊主办：数学与信息学院,福建省网络安全与密码技术重点实验室参加对象：计算机专业相关教师和学生报告摘要：我们主要评估ISO/IEC9797-1安全认证标准：类CBC消息认证码的安全性。一方面，关注该类消息认证码在实际应用中的安全。我们发现其与金融标准ANSIX9.24-1存在着冲突，并提出了修复方案。另一方面，关注超越生日界安全。我们发现ISO/IEC9797-1推荐的标准算法不能满足超越生日界安全，并提出了改进的方案。报告人简介：王磊，上海交通大学，特别研究员。主要从事密码学研究，集中于对称密码算法的设计和分析，包括哈希函数、分组密码、消息认证码、加密认证码等。近年来开始从事区块链、金融科技安全相关研究。目前已在密码学主流期刊和会议上发表几十篇论文。

报告题目【PracticalSecurityforInternetofThings】时间：2019年7月26日(星期五)上午10:00地点：仓山校区成功楼603报告厅主讲：日本会津大学副教授，苏春华主办：数学与信息学院,福建省网络安全与密码技术重点实验室参加对象：计算机专业相关教师和学生报告摘要：TherapidevolutionofInternetofThings(IoT)bringsubiquitousapplicationsinoursociety.InIoT-enableeHealthenvironment,thedevicesarecollectsandprocessespersonalbio-data,suchasheartbeat,brain-weavesandbody-temperature,andenvironmentparameters,suchasGPSinformation,temperatureandhumidity,canbesuccessfullyandcorrectlyretrievedandanalyzedtosupportnewtypesofIoT-

报告题目【IntroductiontotheshrinkinggradientRiccisolitons】时间：2019年7月24日(星期三)下午16:35地点：旗山校区理工北楼601报告厅主讲：北京航空航天大学博士，张世金主办：数学与信息学院,福建省分析数学及应用重点实验室,数学研究中心参加对象：相关专业老师及学生报告摘要：Inthistalk,firstImainlyintroducesomeimportantresultsoftheshrinkinggradientRiccisolitons.Secondly,IwillintroducesomeresultsoftheshrinkinggradientRiccisolitons:(1)Volumegrowth;(2)ClassificationofKahlercasefornonnegativeholomorphicbisectional(ororthogonalbisectional)curvature.Thebisectionalcurvaturepartof(3)isajointworkwithGuoqiangWu.报告人

报告题目【Non-existenceofS^6typeofcomplexthreefoldinG2】时间：2019年7月24日(星期三)下午15:00地点：旗山校区理工北楼601报告厅主讲：美国加州大学Riverside教授，关庄丹主办：数学与信息学院,福建省分析数学及应用重点实验室,数学研究中心参加对象：相关专业老师及学生报告摘要：InthistalkIwilladdresssomeproblemsanddevelopmentswithcomplexhomogeneousspaces.Inparticular,weshalltoucharecentproblemofexistingofsphereofsixdimensiontypecomplexsubmanifoldsinthe14dimensionalcompactLiegroupG2.Theexistenceornon-existenceofacomplexstructureonS6hasauniquehistory.ThereareattemptsfromsomefamousfiguresastheProfessorC.C.H

报告题目【应用于捕食者模型的团体Q学习】时间：2019年7月22日(星期一)上午11:10地点：旗山校区数信大楼507学术报告厅主讲：北京大学信息科学技术学院博士，张明悦主办：数学与信息学院，数字福建环境监测物联网实验室参加对象：感兴趣的老师、研究生、部分本科生报告摘要：在许多单智能体决策任务上，强化学习达到甚至超过了人类水平，而在多智能体领域遇到了许多困难与挑战。提出了一种多智能体学习算法，基于随机博弈的框架，用Q学习进行状态-动作价值估计，根据价值函数进行简化后的均衡计算，以保证学习算法可以逼近马尔可夫完美均衡（MPE）。将该算法应用于捕食者模型（predator-preymodel），并进行实证研究，观察在学习算法下，捕食者、被捕食者群体的行为模式，并对其种群数量的动态变化进行统计。最后，探讨总结相关的多智能体强化学习算法。报告人简介：张明悦，高可信软件技术教育部重点实验室和北京大学信息科学技术学院博士，目前的主要研究方向为多智能体系统及相关算法与技术，重点关注多智能体强化学习算法（MARL），对自适应系统，强化学习，博弈论感兴趣。

报告摘要：ContemporarysoftwaresystemsareincreasinglydevelopedandoperatedaccordingtoaDevOpsstyle,whichsupportsacontinuous,iterativeviewofdevelopmentandoperation,combiningflexibilitywithadequatelevelsofmanagementandcontrol.Inaddition,thesoftwareitselfisdesignedinawaythatitcanpartlyself-manageitsevolution.Thishighlydynamicsettingseemstoprecludetheuseofformalmethods.Theagilemovementhastraditionallybeenhostiletoformalmethods,andtheformalmethodsworldhasntdonemuchtoembraceagility.Likewise,formalmethodsandru

报告题目【“软件定义”时代的软件工程】时间：2019年7月22日(星期一)下午15:30地点：旗山校区数信大楼507学术报告厅主讲：北京大学教授，金芝主办：数学与信息学院，数字福建环境监测物联网实验室参加对象：感兴趣的老师、研究生、部分本科生报告摘要：软件定义概念的兴起源于“软件定义网络”，后来延伸到存储、计算、数据中心、环境。本质上，“软件定义”的基本理念就是基础资源虚拟化和资源管控能力的可编程。“软件定义”的理念为我们带来了人-机-物互联互通有机融合的可能性，但也为软件技术带来前所未有的挑战，需要建立面向全栈资源的系统构建/重构的方法学，建立支持全过程可演化软件体系结构、运维机制以及内生安全性保障机制，实现对从面向单一预设的应用服务到普适场景化的个性化服务的支撑。本报告将从软件工程的视角出发分析“软件定义”带来的挑战。报告人简介：金芝，北京大学教授，973项目首席科学家。任北京大学高可信软件技术教育部重点实验室常务副主任，国务院学位委员会学科评议组成员（软件工程），中国计算机学会会士与常务理事，中国计算机学会软件工程专业委员会主任，任IEEETSEAssociateEditor，《

报告题目【面向人脸识别的数字图像取证技术研究进展】时间：2019年7月14日(星期日)上午09:00地点：数信大楼507学术报告厅主讲：湖南大学信息科学与工程学院教授，彭飞主办：数学与信息学院,数字福建大数据安全技术研究所,福建省公共服务大数据挖掘与应用工程技术研究中心参加对象：工程中心，研究所教师和研究生，感兴趣的师生报告摘要：随着人脸识别技术的发展与应用，人脸欺骗攻击对当前基于人脸识别的身份认证构成了严重的威胁。本报告介绍当前人脸识别系统主要面临的人脸欺骗攻击类型与特点，以及面向人脸识别的数字图像取证技术的发展现状。在此基础上介绍了我们在人脸伪造欺骗攻击检测、人脸融合攻击检测与合谋者复原、计算机生成人脸与真实人脸反取证等方面的研究工作，并对面向人脸识别的数字图像取证技术的发展进行了展望。报告人简介：彭飞，男，1977年生，湖南大学信息科学与工程学院教授、博士生导师，首届国家保密教育优秀教师。目前担任湖南大学信息科学与工程学院院长助理、全国信息隐藏暨多媒体安全专家委员会委员、中国图像图形学会数字媒体取证与安全委员会委员、中国保密协会教育分会常务理事、全国网络空间安全协会单位代表、湖南

报告题目【对象级图像/视频篡改的被动取证技术】时间：2019年7月14日(星期日)上午10:40地点：旗山校区数信大楼507学术报告厅主讲：湖南大学信息科学与工程学院教授，杨高波主办：数学与信息学院,数字福建大数据安全技术研究所,福建省公共服务大数据挖掘与应用工程技术研究中心参加对象：工程中心，研究所教师和研究生，感兴趣的师生报告摘要：基于语义对象的图像/视频操作是图像/视频处理应用的特色与目标，既可以提高视觉质量，也可以提供更好的交互性能。然而，语义对象级的操作也经常被用于改变图像/视频的语义，以达到恶意篡改的目的。本讲座以两种常见的对象移除方法Seamcarving和imageinpainting为例，阐述语义对象级图像/视频篡改的被动取证技术。报告人简介：杨高波，湖南大学信息科学与工程学院教授、博士生导师。2004年毕业于上海大学，获通信与信息系统专业的工学博士学位。同期,进入湖南大学工作。2005年晋升为副教授,2008年破格晋升为教授,并被评为湖南大学2007-2008年度优秀教师,入选湖南省青年骨干教师培养对象。2010年入选湖南省新世纪121人才工程。2010年8月至20

报告题目【TheGeometryofSphericallySymmetricFinslerManifolds】时间：2019年7月2日(星期二)下午15:00地点：旗山校区理工北楼601报告厅主讲：北京大学数学科学学院教授，莫小欢主办：数学与信息学院,福建省分析数学及应用重点实验室,数学研究中心参加对象：相关专业老师及学生报告摘要：InthislecturewediscussgeometryofsphericallysymmetricFinslermanifolds.Wedescribenon-trivialexamplesofsphericallysymmetricFinslermetricssatisfyingdifferentcurvatureconditions.WereviewrecentresultsindifferentialgeometrywithsphericallysymmetricFinslermetrics.Inparticular,wefindasufficientandnecessaryconditionforasphericallysymmetricFin