一种基于操作系统的安全机制验证方法

被引：0

专利类型：

发明

申请号：

CN202010117024.0

申请日：

2020-02-25

公开(公告)号：

CN111400716A

公开(公告)日：

2020-07-10

发明(设计)人：

黄滟鸿许婧雯史建琦蔡方达石奇郭欣

申请人：

申请人地址：

200062 上海市普陀区中山北路3663号

IPC主分类号：

G06F2157

IPC分类号：

G06F2112

代理机构：

北京辰权知识产权代理有限公司 11619

代理人：

付婧

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2020-07-10	公开	公开
2020-08-04	实质审查的生效	实质审查的生效 IPC(主分类):G06F 21/57 申请日:20200225

共 50 条

[1]

一种基于操作系统的安全机制验证装置 [P].

黄滟鸿 ;

许婧雯 ;

史建琦 ;

蔡方达 ;

石奇 ;

郭欣 .

中国专利 :CN111428242A ,2020-07-17

[2]

一种宏内核操作系统的安全验证方法 [P].

张斌 .

中国专利 :CN118839345A ,2024-10-25

[3]

用于开发的操作系统的安全机制 [P].

J.M.霍姆 ;

M.H.贾库鲍夫斯基 ;

J.S.拉塞尔 ;

S.A.库佩奇 ;

D.C.萨姆博丁 .

中国专利 :CN102982262A ,2013-03-20

[4]

基于依赖保证机制的操作系统内存管理机制验证方法 [P].

王竟亦 ;

孙欢 ;

王文海 ;

刘艾明 .

中国专利 :CN115033866B ,2024-09-10

[5]

基于依赖保证机制的操作系统内存管理机制验证方法 [P].

王竟亦 ;

孙欢 ;

王文海 ;

刘艾明 .

中国专利 :CN115033866A ,2022-09-09

[6]

操作系统一种安全可靠机制的设计方法 [P].

刘金刚 .

中国专利 :CN101008926A ,2007-08-01

[7]

一种基于安卓操作系统的安全操作系统 [P].

约瑟夫·迪龙佐 ;

张云 .

中国专利 :CN113312629A ,2021-08-27

[8]

登录操作系统的验证方法 [P].

常进 ;

张斌 ;

李继国 .

中国专利 :CN115549930A ,2022-12-30

[9]

一种基于车机多操作系统的验证方法及装置 [P].

陶陈力 .

中国专利 :CN114547630B ,2022-05-27

[10]

操作系统的安全供应 [P].

U·穆勒 ;

A·M·格沙夫特 ;

C·W·麦卡伦 ;

M·E·朱伯兰 .

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

← 1 2 3 4 5 →