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