林莉
- 作品数：73 被引量：49H指数：5
- 供职机构：北京工业大学更多>>
- 发文基金：国家高技术研究发展计划北京工业大学博士启动基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学机械工程理学更多>>
- 基于边缘协助的多云安全存储方法
- 基于边缘协助的多云安全存储方法，属于边缘计算和多云存储技术领域。所述方法包括边缘节点选择和基于数据加密、分散和冗余的可靠安全存储方案。该方法引入边缘计算，将边缘节点作为多云存储分布式代理，该方法根据用户的需求选择出合适的...
- 林莉陈文心郭馥宾
- 文献传递
- 一种分布式网络环境下安全监控方法
- 本发明公开一种分布式网络环境下安全监控方法，涉及信息安全领域中安全监控问题。本发明由监控模块、安全模块及安全机制三部分组成，其中安全模块由安全功能协同模块、安全控制模块、安全度量模块、安全决策模块和本地基准数据库组成。本...
- 胡俊白鑫张松鸽林莉 寇文心
- 文献传递
- 一种IaaS云环境下面向内部威胁的行为追溯检测方法
- 本发明公开一种面向内部威胁的行为追溯检测方法，解决现有技术中存在的对IaaS云环境中恶意调用云服务内部威胁无法判断来源以及无法应对未知威胁的现象，该方法采用行为追溯的检测思想，对云环境中用户访问数据的流程进行多节点关联分...
- 林莉李爽毛新雅潘雨婷张建标
- 文献传递
- 面向医疗数据异构场景的联邦学习公平性提升方法
- 本发明公开了面向医疗数据异构场景的联邦学习公平性提升方法，包括：参与方在本地基于医疗数据样本调整策略执行本地预训练；医疗云中心服务器基于参与方上传的相似模型参数聚类生成参与方簇；医疗边缘服务器基于公平选择医疗参与方机制进...
- 林莉沈薇赵云飞姚德陈振坤汤嘉琦
- 一种适用于云服务组合场景下隐私策略合成方法
- 一种适用于云服务组合场景下隐私策略合成方法属于云计算安全技术领域。针对现有云计算安全技术领域，云服务组合场景下存在的访问控制策略不一致问题，公开了一种访问控制策略合成方法，具体涉及云服务组合场景下隐私策略合成。该方法通过...
- 林莉胡健 尼见
- 文献传递
- 系统化网络安全课程思政建设探索
- 2024年
- 针对研究生网络安全课程思政存在的课程理论性强、教学内容丰富、研究生专业研究方向不同等特点,分析课程的特点与面临的挑战,优化人才培养和育人目标,深入挖掘网络安全课程的思政元素,通过热点专题等形式,提出网络安全课程思政系统性建设的总体思路,并对网络安全课程思政的教学模式进行探索,提高学生解决复杂问题的能力、全局规划能力及创新能力,润物无声地培养学生的忧患意识、民族自信、爱国精神等,达到知识传授、能力培养和价值引领的有机统一。
- 周艺华张建标张建标杨宇光林莉
- 关键词：网络安全信息安全
- 一种网络访问控制的方法和系统
- 本发明提出了一种网络访问控制的方法和系统，涉及网络传输安全技术领域。在移动办公终端受到严格的网络访问控制情况下，对终端的网络连接状态进行动态检测并根据所得到的相应检测状态能够让终端顺利通过Web和网关认证。本发明提供的方...
- 张建标柴锐阎林林莉刘燕辉
- 文献传递
- 一种基于正则行为树的微服务架构内部威胁审计方法
- 本发明公开了一种基于正则行为树的微服务架构内部威胁审计方法，属于微服务架构安全技术领域。针对现有的微服务架构多采用用户和应用系统交互边界的安全防护技术，无法满足微服务架构在内部威胁下的安全防护需求，公开了一种微服务架构内...
- 林莉吕旭辉王万祥吕沛霖
- 基于Merkle树的云边协同联邦学习完整性认证方法
- 本发明公开了基于Merkle树的云边协同联邦学习完整性认证方法，包括：(1)云端对边缘端发送的待聚合模型特征和训练集数量构建Merkle树、生成验证节点和解密边缘端的兄弟路径；(2)云端对发送给边缘端聚合后的模型特征构造...
- 林莉 杨康
- 文献传递
- 基于进程代数的TCG远程证明协议的形式化验证被引量：5
- 2013年
- 可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了抽象处理,得到了两种协议形式的抽象模型.在抽象模型的基础上,给出了基于进程代数的形式化描述,并分别进行了形式化验证.验证结果表明两种协议形式的并行系统均展示了期望的外部行为.
- 王勇方娟任兴田林莉
- 关键词：可信计算远程证明形式化进程代数
