检索结果-维普期刊中文期刊服务平台

基于时间自动机的数据流通控制建模及验证: 1; 作者李恒李凤华 +3 位作者梁琬珩郭云川张玲翠周紫妍《通信学报》北大核心 2025年第3期13-27,共15页; 为了解决数据跨域流通控制策略生成、传递与执行的可行性、正确性和安全性验证难题,提出了一种基于时间自动机和计算树时序逻辑的形式化建模及验证方法。该方法首先针对数据流通控制流程,以及数据交易场景(模式)下的数据提供者、数据使... 展开更多; 关键词数据要素流通访问控制时间自动机延伸控制形式化方法验证; 在线阅读下载PDF 职称材料

面向数据跨域安全流通的访问控制研究综述: 2; 作者李恒李凤华 +2 位作者史欣怡郭云川郭守坤《通信学报》北大核心 2025年第4期238-254,共17页; 为了解决数据要素流通中授权机制差异导致信息在系统中留存产生被篡改、被泄露和被滥用等安全风险,聚焦数据跨域安全流通主题,首先,从数据跨域访问控制面临的问题入手,对数据跨域流通基本概念和数据跨域访问控制内涵进行了深入研究。其... 展开更多; 关键词跨域访问控制数据要素流通数据使用控制延伸控制数据安全; 在线阅读下载PDF 职称材料

自然灾害防控产业的技术突破与发展路径战略研究被引量：2: 3; 作者刘汉龙任辉启 +5 位作者陈军仉文岗李喆殷跃平张勤王鲁琦《防灾减灾工程学报》 CSCD 北大核心 2023年第5期917-922,共6页; 在全球气候变化及地质活动日益活跃的孕灾大环境下,我国亟待实现自然灾害的快速高效应急处理,相应的灾害防控产业升级同样势在必行。结合自然灾害防控关键环节的发展方向,通过文献整理、现场调研、专家咨询及问卷调查等方式,分析了自然... 展开更多; 关键词全球气候变化自然灾害防灾减灾应急响应; 在线阅读下载PDF 职称材料

第六届大都市规划国际咨询会专家发言摘录——超大城市发展:挑战与未来被引量：1: 4; 作者彭震伟 Cedo Maksimovic +14 位作者 Vincent Fouchier 陈军段进陈思慧 Charles Hales 于海涛金仁熙张利 Martino Stierli Iñaqui Carnicero 张迪 Uchendu Eugene Chigbu 孙雪东石晓冬孙珊《上海城市规划》北大核心 2023年第6期1-10,共10页; 为深入学习贯彻习近平总书记考察上海重要讲话精神和深入推进长三角一体化发展座谈会精神,切实将习近平总书记重要讲话精神转化为推进上海建设社会主义现代化国际大都市的强大动力,更好加强文明交流互鉴,强化国际视野和战略思维,12月3日... 展开更多; 关键词上海市人民政府战略谋划超大城市长三角一体化国际大都市自然资源部规划管理部门共享平台; 在线阅读下载PDF 职称材料

题名基于时间自动机的数据流通控制建模及验证: 1; 作者李恒李凤华梁琬珩郭云川张玲翠周紫妍; 机构中国科学院信息工程研究所中国科学院大学网络空间安全学院网络空间安全防御全国重点实验室自然资源部国家基础地理信息中心南京信息工程大学计算机学院、网络空间安全学院; 出处《通信学报》北大核心 2025年第3期13-27,共15页; 基金国家重点研发计划基金资助项目(No.2023YFB3106505) 国家自然科学基金资助项目(No.U24A20240,No.62441226)。; 文摘为了解决数据跨域流通控制策略生成、传递与执行的可行性、正确性和安全性验证难题,提出了一种基于时间自动机和计算树时序逻辑的形式化建模及验证方法。该方法首先针对数据流通控制流程,以及数据交易场景(模式)下的数据提供者、数据使用者(含数据经纪人)和数据监管者等实体分别进行形式化建模;随后给出了数据交易过程中,安全需求性质和流通控制属性的计算树时序逻辑形式化规约描述;最后,对上述时间自动机模型进行仿真,并对其性质和属性进行形式化验证与分析。实例分析表明,所提方法可以有效验证数据流通控制机制的可行性、正确性和安全性。; 关键词数据要素流通访问控制时间自动机延伸控制形式化方法验证; Keywords data elements circulation access control timed automata extension control formal method verification; 分类号 TN92 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名面向数据跨域安全流通的访问控制研究综述: 2; 作者李恒李凤华史欣怡郭云川郭守坤; 机构中国科学院信息工程研究所中国科学院大学网络空间安全学院网络空间安全防御全国重点实验室自然资源部国家基础地理信息中心; 出处《通信学报》北大核心 2025年第4期238-254,共17页; 基金国家重点研发计划基金资助项目(No.2023YFB3106304) 国家自然科学基金资助项目(No.U24A20240,No.62441226)。; 文摘为了解决数据要素流通中授权机制差异导致信息在系统中留存产生被篡改、被泄露和被滥用等安全风险,聚焦数据跨域安全流通主题,首先,从数据跨域访问控制面临的问题入手,对数据跨域流通基本概念和数据跨域访问控制内涵进行了深入研究。其次,针对数据跨域安全流通中的访问控制技术进行了全面综述,包括基于起源、基于意图和面向网络空间等访问控制模型;策略的标签挖掘、策略的协商与生成、策略的冲突检测与消解、策略的传递与执行、策略异常执行的审计等策略管理关键技术;基于区块链、基于数据胶囊和基于数据基础设施等策略实施机制。最后,对数据跨域流通面临的挑战及未来研究方向进行了总结与展望。; 关键词跨域访问控制数据要素流通数据使用控制延伸控制数据安全; Keywords cross-domain access control data elements circulation data usage control extended control data security; 分类号 TN92 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名自然灾害防控产业的技术突破与发展路径战略研究被引量：2: 3; 作者刘汉龙任辉启陈军仉文岗李喆殷跃平张勤王鲁琦; 机构重庆大学土木工程学院军事科学院国防工程研究院自然资源部国家基础地理信息中心中国工程院战略咨询中心中国地质调查局中国地质环境监测院长安大学地质工程与测绘学院; 出处《防灾减灾工程学报》 CSCD 北大核心 2023年第5期917-922,共6页; 基金中国工程院战略研究与咨询项目(2022-XBZD-06-03)资助。; 文摘在全球气候变化及地质活动日益活跃的孕灾大环境下,我国亟待实现自然灾害的快速高效应急处理,相应的灾害防控产业升级同样势在必行。结合自然灾害防控关键环节的发展方向,通过文献整理、现场调研、专家咨询及问卷调查等方式,分析了自然灾害防控产业面临的问题与挑战,开展自然灾害防控产业技术突破与发展路径的研究,提出以下对策措施:构建更为完善的标准化体系,严格核定从业资格,实时把控自然灾害防控产业的市场动态,保障产业市场良性竞争;立足本土化发展优势,集群化发展自然灾害防控产业,贯通自然灾害多产业链条;以自然灾害防灾减灾的基础研究为主导,通过理论创新和技术迭代,完成自然灾害产业升级,提升产业整体性、系统性和协同性,打造防灾减灾产业端的国际核心竞争力。本文将为自然灾害防控的产业高质量快速发展提供前瞻性、针对性、储备性的科学参考。; 关键词全球气候变化自然灾害防灾减灾应急响应; Keywords global climate change natural hazards disaster prevention and reduction emergency response; 分类号 X43 [环境科学与工程—灾害防治]; 在线阅读下载PDF 职称材料

题名第六届大都市规划国际咨询会专家发言摘录——超大城市发展:挑战与未来被引量：1: 4; 作者彭震伟 Cedo Maksimovic Vincent Fouchier 陈军段进陈思慧 Charles Hales 于海涛金仁熙张利 Martino Stierli Iñaqui Carnicero 张迪 Uchendu Eugene Chigbu 孙雪东石晓冬孙珊; 机构同济大学党委英国帝国理工学院经济合作与发展组织(OECD)国际城市工作组巴黎第八大学中国工程院自然资源部国家基础地理信息中心东南大学新加坡国家发展部宜居城市中心美国HDR建筑工程咨询公司自然资源部国土空间规划研究中心党委首尔研究院国际建筑师协会清华大学建筑学院纽约现代艺术博物馆西班牙政府城市议程、住房和建筑联合国开发计划署(纽约) 纳米比亚科技大学(NUST) 自然资源部信息中心党委北京市城市规划设计研究院党委上海市规划和自然资源局; 出处《上海城市规划》北大核心 2023年第6期1-10,共10页; 文摘为深入学习贯彻习近平总书记考察上海重要讲话精神和深入推进长三角一体化发展座谈会精神,切实将习近平总书记重要讲话精神转化为推进上海建设社会主义现代化国际大都市的强大动力,更好加强文明交流互鉴,强化国际视野和战略思维,12月3日至12月4日,由自然资源部和上海市人民政府指导,上海市规划和自然资源局、同济大学、中国国土勘测规划院共同主办,以“超大城市发展:挑战与未来”为主题的第六届大都市规划国际咨询会(MPIC)在北外滩世界会客厅隆重召开。会议邀请全球大都市规划管理部门、学术研究院校、规划咨询智库等领域的嘉宾和专家学者参加,围绕大都市规划面临的挑战和机遇,从安全韧性、城市更新、数字赋能、区域发展等方面进行交流和对话。大都市规划国际咨询会作为自然资源部和上海市政府的合作事项之一,将进一步着力打造成为“两个平台”:一是推进“上海2035”总规实施的国际性战略谋划平台,二是推进国际大都市间规划咨询交流的全球性、专业性、开放性传播共享平台。本刊梳理和提炼主会场部分专家发言精彩观点,以飨读者。; 关键词上海市人民政府战略谋划超大城市长三角一体化国际大都市自然资源部规划管理部门共享平台; 分类号 TU984 [建筑科学—城市规划与设计]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于时间自动机的数据流通控制建模及验证	李恒李凤华梁琬珩郭云川张玲翠周紫妍	《通信学报》北大核心	2025	0	在线阅读下载PDF 职称材料
2	面向数据跨域安全流通的访问控制研究综述	李恒李凤华史欣怡郭云川郭守坤	《通信学报》北大核心	2025	0	在线阅读下载PDF 职称材料
3	自然灾害防控产业的技术突破与发展路径战略研究	刘汉龙任辉启陈军仉文岗李喆殷跃平张勤王鲁琦	《防灾减灾工程学报》 CSCD 北大核心	2023	2	在线阅读下载PDF 职称材料
4	第六届大都市规划国际咨询会专家发言摘录——超大城市发展:挑战与未来	彭震伟 Cedo Maksimovic Vincent Fouchier 陈军段进陈思慧 Charles Hales 于海涛金仁熙张利 Martino Stierli Iñaqui Carnicero 张迪 Uchendu Eugene Chigbu 孙雪东石晓冬孙珊	《上海城市规划》北大核心	2023	1	在线阅读下载PDF 职称材料