公共文化服务平台

共 7 条记录，以下是 1-7

全选清除导出

排序方式：

一种改进的无干扰模型分析和验证方法: 2024年; 安全模型是网络空间安全研究的基础和起点.以机密性为例,历史上研究人员率先提出了BLP(Bell-LaPudula)模型,BLP从思想上精确把握了机密性“不上读,不下写”的本质,但在设计上存在不足,这导致BLP自身存在隐通道等缺陷.为此,研究人员基于信息流提出了无干扰的思想.无干扰通过研究“攻击者在系统内信息流动的过程中,能否通过观察系统所到达的不同状态之间的差异以非法获取机密信息”,来分析系统的安全性.目前,无干扰模型已成为事实上机密性领域的基础模型.当前无干扰分析主流(甚至唯一)的方法是Rushby所提出的视图分区(view-partition)方法.但是,视图分区方法的3条规则难以转化为可机械计算的递归形式,且缺少直观的数学解释,这使得无干扰模型的属性验证和实践应用长久以来一直难以取得进展.近年来,随着无干扰模型在可信计算、云计算和机密计算等新型计算领域获得广泛应用,上述问题进一步凸显.针对无干扰模型的分析和验证问题,提出了一种称为伙伴状态机(buddy state machines)的无干扰分析改进方法.该方法通过分析真实(real)和理想(ideal)两个状态机在同步运行过程中的状态等价关系,实现对无干扰属性的分析和验证.基于伙伴状态机,建立了一种新的无干扰模型形式分析框架;给出了可靠和完备的无干扰成立条件;提出了O(|S|^(2))时间复杂度的无干扰属性验证算法,为无干扰模型的分析、验证和应用提供了一种可参考的改进方法.; 吴志芳刘小丽张帆; 关键词：无干扰信息流机密性

基于云计算的跨校区计算机通识课程实验教学研究被引量：5: 2020年; 对当前高校跨校区计算机通识课程实验教学面临的问题进行了分析,提出将实验教学与云计算技术相结合的方法。论述了云计算的技术结构,研究了实验教学平台的详细设计方案,构建基于云计算的跨校区计算机通识课程实验教学平台,在此基础上分析了平台的实践效果和优势,经实验教学证明了该方案的可行性和有效性,为云计算与实验教学的融合发展提供了参考。; 熊念周珊刘小丽陆尧胜; 关键词：云计算实验教学

ChatGPT对计算机教育的影响及对策被引量：6: 2023年; 通过展示ChatGPT辅助计算机教学的场景,结合已有的关于ChatGPT的测评结果,分析ChatGPT时代计算机教育所面临的挑战,探讨Chat GPT对计算机教育的影响,提出ChatGPT辅助下面向计算机专业课程教学的5个应对策略。; 刘小丽古天龙; 关键词：计算机教育

人脸识别反欺诈研究进展被引量：7: 2022年; 当前,人脸识别理论和技术取得了巨大的成功,被广泛应用于政府、金融和军事等关键领域.与其他信息系统类似,人脸识别系统也面临着各类安全问题,其中,人脸欺诈(face spoofing,FS)是最主要的安全问题之一.所谓的人脸欺诈,是指攻击者采用打印照片、视频回放和3D面具等攻击方式,诱骗人脸识别系统做出错误判断,因而是人脸识别系统所必须解决的关键问题.对人脸反欺诈(face anti-spoofing,FAS)的最新进展进行研究:首先,概述了FAS的基本概念;其次,介绍了当前FAS所面临的主要科学问题以及主要的解决方法及其优缺点;在此基础上,将已有的FAS工作分为传统方法和深度学习方法两大类,并分别进行详细论述;接着,针对基于深度学习的FAS域泛化和可解释性问题,从理论和实践的角度进行说明;然后,介绍了FAS研究所使用的典型数据集及其特点,并给出了FAS算法的评估标准和实验对比结果;最后,总结了FAS未来的研究方向并对发展趋势进行展望.; 张帆赵世坤袁操陈伟刘小丽刘小丽; 关键词：可解释性

软件实时可信度量:一种无干扰行为可信性分析方法被引量：6: 2019年; 可信度量作为可信计算“度量、存储、报告”三大核心功能的基础,到目前为止仍未有有效的数学理论以及运行时(runtime)度量方法.其困难在于3点:一是如何建立涵盖不同主流“可信”定义的通用数学模型;二是如何依托数学模型构建运行时可信度量理论;三是如何将上述模型和理论映射到真实信息系统以形成可实践的实时度量方法.提出了一种基于无干扰的软件实时可信度量方法.首先,利用无干扰模型解释了各类主流的可信定义,表明无干扰模型可以作为可信计算通用数学模型的一个选择.其次,基于无干扰模型提出了一种软件实时可信度量理论,其基本思想是将系统调用视作原子动作,将软件真实行为α看做系统调用的序列,并基于α中所有系统调用所属安全域之间的无干扰关系计算软件理论上的预期行为β,得到α和β之后,利用无干扰等式判定两者之间是否存在偏差,从而实现对软件可信性的实时度量.最后,给出了实时可信度量算法,算法的时间复杂性为O(1).原型实验结果表明了所提出的方法的有效性.; 张帆徐明迪赵涵捷张聪刘小丽刘小丽; 关键词：无干扰可信计算

面向Matlab Programming课程的翻转课堂和项目式学习结合的分段式教学实践: 2022年; 针对Matlab Programming课程教学学生人数多且基础不一的问题,基于课程内容繁杂、实践性强的特点,充分利用线上线下混合教学平台,采用翻转课堂和项目式学习结合的分段式教学,介绍分段式教学设计和实施过程并给出教学考核和评价方法。; 樊足志刘小丽; 关键词：项目式学习 MATLAB

基于对象的视频摘要算法的实现与加速被引量：1: 2015年; 现有基于对象的视频摘要算法较少考虑计算效率,导致其难以满足大规模安防监控领域的性能要求.为此,文中提出了改进的基于对象的视频摘要算法,通过降低帧率和分辨率、运动片段检测以及基于重心的对象跟踪等策略来提升算法效率.此外,为充分挖掘CPU和GPU的计算能力,设计了相应的多线程算法,并对关键步骤进行GPU优化,以进一步加速算法性能.实验结果表明,改进算法和加速策略可以大幅提升视频摘要的计算速度.; 林龙新刘小丽全渝娟林伟伟; 关键词：视频摘要图形处理单元安防监控

全选清除导出

共1页<1>

刘小丽

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

刘小丽

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈