李昊
- 作品数：46 被引量：842H指数：6
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术经济管理电子电信更多>>
- 一种多隐私预算的本地差分隐私数据分享方法和系统
- 本发明涉及一种多隐私预算的本地差分隐私数据分享方法和系统，提出了在本地差分隐私应用场景下，由用户自己决定隐私预算因子的框架。本发明在已有本地差分隐私协议基础上，添加了让用户首先确认自身隐私因子的步骤，数据收集者依据所有用...
- 叶宇桐冯登国张敏李昊张立武
- 文献传递
- 一种基于可信计算技术的数据库安全保护方法
- 本发明公开了一种基于可信计算技术的数据库安全保护方法，将认证、访问控制、审计等数据库安全机制的实施依据——身份信息、授权信息、审计配置信息及审计日志等数据库管理系统的安全相关数据建立在系统环境可信及硬件安全的基础上，阻止...
- 陈震宇李昊迟佳琳张敏张振峰
- 文献传递
- 一种可信的数据库机密性保护方法及系统
- 本发明公开了一种可信的数据库机密性保护方法及系统，将数据库中敏感数据的机密性建立在系统环境可信及硬件安全的基础上，当敏感数据需要解密时，本发明会通过可信度量技术来检查当前系统环境是否与敏感数据解密需要的环境相符，以确保敏...
- 李昊冯登国张振峰张敏苏璞睿秦宇迟佳琳陈震宇
- 文献传递
- 数据库形式化安全策略模型建模及分析方法被引量：2
- 2015年
- 目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统Beyon DB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。
- 王榕张敏冯登国李昊
- 关键词：形式化建模数据库定理证明安全策略模型
- 一种基于熵编码的密文索引生成与检索方法及系统
- 本发明公开了一种基于熵编码的密文索引生成与检索方法及系统。本系统包括：密文索引生成模块，用于对待上传的二元组(kw,data)，为关键字kw计算生成核心码字，对数据项data加密生成Enc(data)、计算kw的填充码，...
- 冯登国张敏李昊迟佳琳
- 文献传递
- 一种面向位置数据的本地差分隐私保护方法和系统
- 本发明设计了一种面向位置数据的本地差分隐私保护方法和系统，提出了在本地差分隐私应用场景下，采集用户位置信息和统计整个区域用户分布的高效方法。本发明使用了两阶段采集策略，第一阶段使用离散型本地差分隐私算法采集全域地图的用户...
- 叶宇桐张敏陈亚青李昊
- 一种大数据的访问控制框架和模型
- 在收集到大数据后，企业(如医疗系统)面临着保护数据安全，防止隐私泄露的问题。访问控制作为保护数据的经典方法在大数据场景下面临着新的问题：面对大数据，制定准确的访问控制策略不仅需要策略制定者具备专业的领域知识，更是劳动密集...
- 惠榛李昊张敏冯登国
- 一种基于移动轨迹的身份认证方法及系统
- 本发明提供了一种基于移动轨迹的身份认证方法及系统，属于物联网安全技术领域，能够根据设备移动轨迹进行设备认证或用户认证，识别非法实体并要求实体进行二次身份认证。该方法充分利用设备移动轨迹中各个点之间的位置序列依赖关系作为实...
- 曹书瑜李昊 陈亚青张敏 迟佳琳
- 一种基于熵编码的密文索引生成与检索方法及系统
- 本发明公开了一种基于熵编码的密文索引生成与检索方法及系统。本系统包括：密文索引生成模块，用于对待上传的二元组(kw,data)，为关键字kw计算生成核心码字，对数据项data加密生成Enc(data)、计算kw的填充码，...
- 冯登国张敏李昊迟佳琳
- 文献传递
- 一种基于用户偏好表示的轨迹-用户链接方法及系统
- 本发明公开了一种基于用户偏好表示的轨迹‑用户链接方法及系统，所述方法包括：将样本轨迹对应的空间进行网格化处理，并使用网格中心坐标代替样本轨迹中位置点的坐标；基于每一网格的用户访问频率分布，生成该网格的用户偏好特征向量；针...
- 胡呈睿李昊吴思源张敏迟佳琳叶宇桐
