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

被引:0
专利类型
发明
申请号
CN201810313657.1
申请日
2018-04-10
公开(公告)号
CN108595954A
公开(公告)日
2018-09-28
发明(设计)人
殷萍 高翠芳
申请人
申请人地址
214122 江苏省无锡市滨湖区蠡湖大道1800号
IPC主分类号
G06F2156
IPC分类号
代理机构
南京经纬专利商标代理有限公司 32200
代理人
张素卿
法律状态
实质审查的生效
国省代码
引用
下载
收藏
共 50 条
[1]
一种基于LTLf的程序运行时验证方法 [P]. 
李晓锋 ;
董云卫 ;
沈博 .
中国专利 :CN119718892A ,2025-03-28
[2]
一种基于LTLf的程序运行时验证方法 [P]. 
李晓锋 ;
董云卫 ;
沈博 .
中国专利 :CN119718892B ,2025-10-10
[3]
用于验证运行时引用的方法 [P]. 
A.赖特 ;
P.R.李 ;
P.A.德沃尔 ;
E.A.艾迪森 .
中国专利 :CN103250136B ,2013-08-14
[4]
基于模型的运行时验证方法及系统 [P]. 
刘颖娜 ;
符凯 .
中国专利 :CN115422039A ,2022-12-02
[5]
一种Linux系统脚本程序运行时验证与管控方法 [P]. 
年艳川 ;
曾毅 .
中国专利 :CN111914250B ,2020-11-10
[6]
一种基于量化时序约束的智能家居运行时验证方法 [P]. 
李晅松 ;
张智慧 .
中国专利 :CN114676003B ,2024-10-18
[7]
一种基于量化时序约束的智能家居运行时验证方法 [P]. 
李晅松 ;
张智慧 .
中国专利 :CN114676003A ,2022-06-28
[8]
用于监测程序运行时耗时数据的方法及系统 [P]. 
郭晓彬 .
中国专利 :CN106649063B ,2017-05-10
[9]
基于模型检测的系统运行时验证方法、系统和计算机设备 [P]. 
张连怡 ;
余立新 ;
李伟夫 ;
张晗 ;
李亚雯 .
中国专利 :CN113778860A ,2021-12-10
[10]
基于时态逻辑的微控制器运行时验证方法 [P]. 
史建琦 ;
胡志成 ;
黄滟鸿 ;
李昂 ;
方徽星 .
中国专利 :CN106933714A ,2017-07-07