李恒 作品数:5 被引量:32 H指数:3 供职机构: 国家基础地理信息中心 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家杰出青年科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 交通运输工程 更多>>
基于时间自动机的数据流通控制建模及验证 2025年 为了解决数据跨域流通控制策略生成、传递与执行的可行性、正确性和安全性验证难题,提出了一种基于时间自动机和计算树时序逻辑的形式化建模及验证方法。该方法首先针对数据流通控制流程,以及数据交易场景(模式)下的数据提供者、数据使用者(含数据经纪人)和数据监管者等实体分别进行形式化建模;随后给出了数据交易过程中,安全需求性质和流通控制属性的计算树时序逻辑形式化规约描述;最后,对上述时间自动机模型进行仿真,并对其性质和属性进行形式化验证与分析。实例分析表明,所提方法可以有效验证数据流通控制机制的可行性、正确性和安全性。 李恒 李恒 李凤华 郭云川 张玲翠 郭云川关键词:访问控制 时间自动机 地理社会网络数据可视化分析研究综述 被引量:11 2018年 随着移动互联网与社会网络的深度融合,基于位置服务(Location Based Service,LBS)的社交媒体应用更加流行,成为地理社会网络(Geo-Social Networks,GSN)的研究重点。基于位置信息的社会网络(Location Based Social Network,LBSN)由于具有时空特性,其海量数据可视化不同于传统信息可视化,必须结合其地理信息特征进行表达。该文以GSN中抽取出的海量时空数据为分析对象,从LBSN时空数据抽取、海量时空数据可视化等方面进行综述,对地理社会网络时空数据交互可视化分析技术开展研究,以期能够实现比较方便、快速、直接地从地理社会网络的海量数据中提取出有用、可靠、可知识化的综合信息,并通过信息可视化方式进行直观表达、展示与分析。 李恒 李恒 沈华伟 黄蔚关键词:时空数据 信息可视化 面向数据跨域安全流通的访问控制研究综述 2025年 为了解决数据要素流通中授权机制差异导致信息在系统中留存产生被篡改、被泄露和被滥用等安全风险,聚焦数据跨域安全流通主题,首先,从数据跨域访问控制面临的问题入手,对数据跨域流通基本概念和数据跨域访问控制内涵进行了深入研究。其次,针对数据跨域安全流通中的访问控制技术进行了全面综述,包括基于起源、基于意图和面向网络空间等访问控制模型;策略的标签挖掘、策略的协商与生成、策略的冲突检测与消解、策略的传递与执行、策略异常执行的审计等策略管理关键技术;基于区块链、基于数据胶囊和基于数据基础设施等策略实施机制。最后,对数据跨域流通面临的挑战及未来研究方向进行了总结与展望。 李恒 李恒 李凤华 郭云川 郭守坤关键词:跨域访问控制 数据安全 基于马尔可夫链的无桩共享单车车辆投放规模分析 被引量:11 2019年 为动态优化无桩共享单车投放规模,加强规范化管理,采用马尔可夫随机过程的数学方法研究共享单车的投放问题.分析了无桩共享单车使用过程所具有的不可约、非周期和正常返等性质,为高效求解共享单车站点的稳态规模,通过构造转移概率随机素矩阵,使用向量迭代技术,提出“稀疏矩阵秩-修正算法”,并进一步讨论了稳态规模的依时间段动态求解问题.最后,结合数据对算法进行了验证与分析,得出共享单车马尔可夫链“极限状态(稳态)概率唯一存在且独立于初始概率分布”的结论.可用于解决无桩共享单车投放和调度中的无序问题. 翟永 刘津 陈杰 邢绪超 杜娟 李恒 朱杰关键词:马尔可夫链 网络高流量分布式拒绝服务攻击防御机制研究综述 被引量:10 2017年 分布式拒绝服务(DDoS)攻击是一种极其常见的网络攻击方式,网络高流量的DDoS往往通过制造大量无用数据,造成网络拥塞,最终达到耗尽资源、中断正常服务的目的。目前针对网络高流量的DDoS攻击还没有较好的防御办法。文章基于前期研究及文献调研,对国内外网络高流量DDoS防御机制的研究进展进行了归纳总结,重点对其防御原理、检测防御和抵抗防御方法进行了总结;对当前高流量DDoS攻击检测防御和抵抗防御机制进行了展望,以期有助于构建全面有效的网络高流量DDoS防御系统。 李恒 沈华伟 程学旗 翟永关键词:高流量 攻击防御