时间：2025年5 月20 日14:00    

地点：良乡校区，良乡综合楼 1222（公共教室）    

主讲人：张倩颖 副教授    

主 题：数字堡垒的建造艺术——操作系统安全探秘与验证之道    

主办单位：信息工程学院人工智能党支部    

主讲人简介：    

张倩颖，首都师范大学信息工程学院副教授，于中国科学院软件研究所获得信息安全专业博士学位。研究方向为信息安全、系统安全、操作系统与形式化验证。在CCS、RAID、Computer Networks等国际顶级学术会议和期刊发表论文40余篇，主持国家自然科学基金、国家重点研发计划子课题、北京市教委科技计划等多项科研项目，参与制定我国密码行业标准3项，曾获北京市科学技术奖二等奖。    

内容简介：　　    

在数字化浪潮席卷全球的今天，操作系统作为连接硬件与应用的“数字地基”，其安全性直接决定着整个数字世界的稳定性。从个人隐私保护到国家关键基础设施，从智能家居到航天控制系统，操作系统的安全验证已成为守护数字世界的“生命线”。本报告将沿着计算机系统发展的历史脉络，揭示操作系统安全设计的核心逻辑：通过内存隔离机制构建“安全围栏”，借助访问控制策略绘制“权限地图”，运用形式化验证搭建“数学护盾”。