一种基于Merkle树的Linux程序运行时验证与管控方法和系统

被引：0

专利类型：

发明

申请号：

CN201811488026.X

申请日：

2018-12-06

公开(公告)号：

CN109766688B

公开(公告)日：

2019-05-17

发明(设计)人：

吕志宁宁柏锋罗伟峰刘威邓巍秦宇初晓博赵世军冯伟习伟匡晓云姚浩于杨

申请人：

申请人地址：

518000 广东省深圳市罗湖区深南东路4020号电力调度通信大楼

IPC主分类号：

G06F2151

IPC分类号：

G06F2157 H04L932

代理机构：

北京君尚知识产权代理有限公司 11200

代理人：

邱晓锋

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2019-05-17	公开	公开
2019-06-11	实质审查的生效	实质审查的生效 IPC(主分类):G06F 21/51 申请日:20181206
2020-08-28	著录事项变更	著录事项变更 IPC(主分类):G06F 21/51 变更事项:申请人变更前:中国科学院软件研究所变更后:深圳供电局有限公司变更事项:地址变更前:100190 北京市海淀区中关村南四街4号变更后:518000 广东省深圳市罗湖区深南东路4020号电力调度通信大楼变更事项:申请人变更前:南方电网科学研究院有限责任公司深圳供电局有限公司变更后:中国科学院软件研究所南方电网科学研究院有限责任公司
2021-05-18	授权	授权
2020-08-28	著录事项变更	著录事项变更 IPC(主分类):G06F 21/51 变更事项:发明人变更前:秦宇初晓博赵世军冯伟匡晓云习伟姚浩于杨吕志宁宁柏锋罗伟峰刘威邓巍变更后:吕志宁宁柏锋罗伟峰刘威邓巍秦宇初晓博赵世军冯伟习伟匡晓云姚浩于杨

共 50 条

[1]

一种Linux系统脚本程序运行时验证与管控方法 [P].

年艳川 ;

曾毅 .

中国专利 :CN111914250B ,2020-11-10

[2]

一种基于LTLf的程序运行时验证方法 [P].

李晓锋 ;

董云卫 ;

沈博 .

中国专利 :CN119718892A ,2025-03-28

[3]

一种基于LTLf的程序运行时验证方法 [P].

李晓锋 ;

董云卫 ;

沈博 .

中国专利 :CN119718892B ,2025-10-10

[4]

基于模型的运行时验证方法及系统 [P].

刘颖娜 ;

符凯 .

中国专利 :CN115422039A ,2022-12-02

[5]

基于模型检测的系统运行时验证方法、系统和计算机设备 [P].

张连怡 ;

余立新 ;

李伟夫 ;

张晗 ;

李亚雯 .

中国专利 :CN113778860A ,2021-12-10

[6]

一种基于运行时验证的恶意行为监测方法 [P].

殷萍 ;

高翠芳 .

中国专利 :CN108595954A ,2018-09-28

[7]

基于TRACE的大规模程序运行时验证方法及装置 [P].

陆旭 ;

陈晨 ;

于斌 ;

田聪 ;

段振华 .

中国专利 :CN120540961A ,2025-08-26

[8]

一种可动态部署规则的Java程序运行时验证系统 [P].

项程程 ;

戚正伟 ;

黄超 ;

郑雨迪 ;

管海兵 .

中国专利 :CN104765688A ,2015-07-08

[9]

一种运行时程序信息获取方法 [P].

林禹 ;

林畅辉 .

中国专利 :CN107168870B ,2017-09-15

[10]

一种高速磁浮运控系统运行时验证方法、设备及介质 [P].

陈义军 ;

袁建军 ;

潘洪亮 ;

赵华华 ;

张仿琪 ;

林辉 .

中国专利 :CN118133270A ,2024-06-04

← 1 2 3 4 5 →