刘小霞
- 作品数：11 被引量：3H指数：1
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 天基综合信息系统安全策略设计与验证技术研究
- 2015年
- 针对天基综合信息系统面临的安全威胁,结合安全需求和约束条件,面向远程空间信息支援任务想定,设计主动可控的安全防护策略规则,并研究安全策略规则的形式化描述方法,进而实现动态可配置的安全策略仿真验证系统,以安全策略规则对安全分发技术的动态部署驱动为例,迭代验证安全策略对安全技术的指导作用。为从策略层面提高天基综合信息系统安全防护部署的可动态配置能力和性能/代价提供解决思路和验证方法。
- 马恒太刘小霞朱登科
- 关键词：信息安全空间数据
- 一种基于信息属性的JPEG2000图像保护系统及方法
- 本发明提出了一种基于信息属性的JPEG2000图像保护系统及方法，针对JPEG2000图像数据压缩算法，并通过利用安全属性、数据属性和过程属性三类信息属性，提出了适用于异构环境下多任务图像数据安全分发方案。利用本发明，能...
- 马恒太易小伟郑昌文傅勇刘小霞
- 文献传递
- 一种CCSDS图像认证系统及方法
- 本发明提出了一种CCSDS图像认证系统及方法，针对CCSDS图像数据压缩算法，结合CCSDS压缩码流的层次化结构、编解码依赖关系和重要性差异等编码特征信息，通过联合哈希链和纠错编码技术提出了适用于CCSDS码流的验证可伸...
- 刘小霞马恒太吴晓慧张楠
- 文献传递
- 一种基于进程通信的Android应用程序权限滥用检测方法
- 本发明提供一种基于进程通信的Android应用程序权限滥用检测方法，涉及安全检测技术领域。该方法包含：S1、解压待测应用程序的安装包文件，获取该应用程序申请的权限集合P<Sub>r</Sub>；S2、扫描应用程序源码，获...
- 吴晓慧马恒太刘小霞王思琪
- 文献传递
- 基于信息属性的空间数据安全传输机制研究被引量：3
- 2014年
- 空间数据安全分发需要针对空间环境条件变化进行数据安全传输方案优化。以数据质量为核心,基于信息属性对空间数据传输过程进行建模,并提出适应空间环境的数据安全保护策略和方法。设计基于信息属性感知的空间数据安全分发机制。结合数据加密和认证对空间数据安全分发进行优化与评估。对空间数据信息属性及各种约束条件与安全传输机制间的制约规律进行分析,对算法的鲁棒性、可伸缩性和可靠性进行理论分析和仿真验证,并验证安全传输策略和方法的可行性。
- 马恒太易小伟刘小霞
- 关键词：通信技术信息安全空间数据信息属性
- 一种适用于卫星移动通信网络的入网认证方法
- 本发明涉及一种适用于卫星移动通信网络的入网认证方法，包括4个步骤分别是：用户注册、用户管理、移动认证和更新认证；有效的入网认证协议对于卫星移动通信网络的安全至关重要。本发明强调了信关站的认证作用，减少了NCC的认证计算负...
- 马恒太刘小霞朱登科吴晓慧张楠
- 文献传递
- 一种基于进程通信的Android应用程序权限滥用检测方法
- 本发明提供一种基于进程通信的Android应用程序权限滥用检测方法，涉及安全检测技术领域。该方法包含：S1、解压待测应用程序的安装包文件，获取该应用程序申请的权限集合P<Sub>r</Sub>；S2、扫描应用程序源码，获...
- 吴晓慧马恒太刘小霞王思琪
- 一种基于函数调用的脆弱性关联分析辅助漏洞挖掘的方法
- 本发明提供一种基于函数调用的脆弱性关联分析辅助漏洞挖掘的方法，涉及安全检测技术领域，包括以下步骤：1、使用工具对目标源码提取函数调用关系，并用静态分析工具对每个函数进行脆弱性分析，形成建立脆弱性信息数据库；2、对公告中与...
- 吴晓慧马恒太刘小霞邱春光
- 文献传递
- 一种基于函数调用的脆弱性关联分析辅助漏洞挖掘的方法
- 本发明提供一种基于函数调用的脆弱性关联分析辅助漏洞挖掘的方法，涉及安全检测技术领域，包括以下步骤：1、使用工具对目标源码提取函数调用关系，并用静态分析工具对每个函数进行脆弱性分析，形成建立脆弱性信息数据库；2、对公告中与...
- 吴晓慧马恒太刘小霞邱春光
- 一种基于信息属性的JPEG2000图像保护系统及方法
- 本发明提出了一种基于信息属性的JPEG2000图像保护系统及方法，针对JPEG2000图像数据压缩算法，并通过利用安全属性、数据属性和过程属性三类信息属性，提出了适用于异构环境下多任务图像数据安全分发方案。利用本发明，能...
- 马恒太易小伟郑昌文傅勇刘小霞
