- 0
- 0
- 约1.8万字
- 约 14页
- 2023-06-05 发布于四川
- 举报
本发明公开了一种基于外部环境模型学习的软件强制安全防护方法,包括:针对外部计算机系统,获取外部计算机系统的历史运行日志并匹配MAT框架中成员查询的软件运行序列的执行结果,根据预设的第一模型学习算法对执行结果计算得到Mealy机模型,结合预设的规约对Mealy机模型分析得到违背规约的程序路径,根据违背规约的程序路径生成强制器;针对外部环境,获取内部系统的日志,提取其中外部环境和内部系统的交互事件序列作为观测序列,根据预设的第二模型学习算法对观测序列计算得到概率模型,通过概率模型生成监控器。本发明将
(19)中华人民共和国国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 112733155 A
(43)申请公布日 2021.04.30
(21)申请号 202110120886.3
(22)申请日 2021.01.28
(71)申请人 中国人民解放军国防科技大学
您可能关注的文档
- VR内容播放修改方法、装置、计算机设备及存储介质.pdf
- 水务运营分析系统、方法、电子设备及存储介质.pdf
- 一种基于变压吸附制氮协同化学链空分制氧方法及装置.pdf
- 一种智慧水务工程管理系统与方法.pdf
- 一种基于云边端架构的云端推理模型下发至边端的方法.pdf
- 一种自动识别大小料盘的方法.pdf
- 引擎主轴承盖的一体化加工装置及其加工方法.pdf
- 一种基于OpenGL的透明物体的延迟渲染方法.pdf
- 一种差速器壳体加工刀具及其加工方法.pdf
- 多能域信号智能化融合的刀具实时状态监测指标构造方法.pdf
- 2026河南郑州市华北水利水电大学辅导员招聘2人备考题库参考答案详解.docx
- 2026河南郑州市区公立医院招聘护理岗备考题库含答案详解.docx
- 2026河南郑州市区公立医院招聘护理岗备考题库及答案详解一套.docx
- 2026河南郑州市区公立医院招聘护理岗备考题库及参考答案详解一套.docx
- 2026河南郑州市区公立医院招聘护理岗备考题库及答案详解1套.docx
- 2026河南郑州市区公立医院招聘护理岗备考题库及完整答案详解1套.docx
- 2025-2026学年河南省洛阳市孟津县汉陵中学等校七年级(上)期末数学试卷(含答案).pdf
- 2026河南郑州市区公立医院招聘护理岗备考题库及参考答案详解1套.docx
- 2026河南郑州市区公立医院招聘护理岗备考题库及参考答案详解.docx
- 河南驻马店市第二高级中学等校2026届高三下学期开学考试政治试卷.pdf
最近下载
- 小学数学巧算24点专项练习题(每日一练,共9份).docx VIP
- 小学数学巧算24点专项练习题(每日一练,共19份).docx VIP
- 浙江省温州市2025年数学中考一模试卷.pptx VIP
- 9宫格数独练习题(初级简单,每日一练,共19份).pdf VIP
- 9宫格数独练习题(初级简单,每日一练,共31份).pdf VIP
- 2023年浙江省温州市中考数学真题.docx VIP
- (81格)舒尔特方格-儿童注意力训练(每日一练,共24份).docx VIP
- (81格)舒尔特方格-儿童注意力训练(每日一练,共19份).docx VIP
- (25格)舒尔特方格练习题儿童注意力训练(每日一练,共9份).docx VIP
- (25格)舒尔特方格练习题儿童注意力训练(每日一练,共16份).docx VIP
原创力文档

文档评论(0)