-
公开(公告)号：CN118706914A
公开(公告)日：2024-09-27
申请号：CN202410735678.8
申请日：2024-06-07
Applicant: 杭州电子科技大学
IPC: G01N27/30
Abstract: 本发明公开了一种气敏传感器的制备方法，本发明在陶瓷基底上，首先沉积出叉指电极；然后在陶瓷基底和叉指电极表面涂敷碘化亚铜的异丙醇胺溶液；随后，在一定的温度条件下氩气中放置一段时间，获得分散于碘化亚铜‑异丙醇胺杂化物中的碘化亚铜纳米花复合薄膜材料，获得气敏传感器。本发明分散于碘化亚铜‑异丙醇胺杂化物中的碘化亚铜纳米花作为气敏层，对氨气具有非常高的选择性，响应度高达近106；本发明制备的分散于碘化亚铜‑异丙醇胺杂化物中的碘化亚铜呈现纳米花形貌，碘化亚铜呈现纳米花图案自组装，既具有纳米颗粒的高分散性，颗粒间又具有好的衔接性，颗粒间电学接触性好。
-
公开(公告)号：CN112685315A
公开(公告)日：2021-04-20
申请号：CN202110007064.4
申请日：2021-01-05
Applicant: 电子科技大学
Abstract: 本发明公开了面向C源码的自动化形式化验证工具及方法，将编写好的代码功能规范插入C源码中，然后将功能规范和C源码自动转换成程序验证器可处理的中间表示，接着程序验证器将中间表示转换成中间验证语言代码，供形式化验证输入使用；采用形式化方法，可对转换的源代码进行自动化的形式化验证，以验证源代码的功能性和安全性。在各接口函数通过代码功能正确性验证的基础上，利用行为建模语言和组合验证技术构建抽象模型；然后利用模型仿真引擎和属性检测引擎模拟交互行为，验证安全属性，判断代码是否满足安全属性规范。本发明能够以自动化的形式，实现对C源码的形式化验证，其中使用的中间表示生成器可以自动化生成中间表示，程序验证器可以自动化生成中间验证语言代码，模型仿真引擎和属性检测引擎可以自动化验证安全属性，这些措施可以极大的提高C源码验证的效率，减少人工参与度。
-
公开(公告)号：CN110347405A
公开(公告)日：2019-10-18
申请号：CN201910591845.5
申请日：2019-07-01
Applicant: 电子科技大学
IPC: G06F8/41
Abstract: 本发明公开一种schedule调度模块的形式化验证方法，针对现有技术对于MILS架构的schedule调度模块的验证过程较为复杂，验证效率低下的问题；本发明通过对schedule调度模块的源代码进行重构操作；对重构之后的代码进行形式化建模；对重构之后的代码进行形式化定理描述；对所建立的形式化模型以及定理描述的状态变化进行形式化证明；保证系统的功能正确性和安全性。
-
公开(公告)号：CN110321212A
公开(公告)日：2019-10-11
申请号：CN201910585978.1
申请日：2019-07-01
Applicant: 电子科技大学
IPC: G06F9/48
Abstract: 本发明公开一种基于最早截止时间优先的多级融合实时调度方法，对于分区中的“客户”操作系统的任务为周期任务，且每个任务都有明确的截止时间时，本发明的调度算法中维持两个全局队列，分别为就绪队列和耗尽队列；每个VCPU关联了两个参数，分别为表示周期的period和表示一个周期内可执行时间的budget；就绪队列中的所有VCPU的budget都大于0，就绪队列所采用的优先级为各个VCPU的截止时间，离截止时间越近的VCPU其优先级越高；耗尽队列中的所有VCPU已经用完了自己的可执行时间budget；本发明的方法很好地保证了“客户”操作系统中的任务在截止时间前完成的实时性需求。
-
公开(公告)号：CN106354630B
公开(公告)日：2018-11-13
申请号：CN201610709221.5
申请日：2016-08-23
Applicant: 电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤：对待检测的软件的源程序中的变量添加符号化标识，然后对源程序进行编译处理得到底层虚拟机LLVM中间码；根据指令类型，对LLVM中间码进行分类插桩处理，插入符号执行和缺陷检测指令；将插桩处理后的LLVM中间码编译生成可执行文件；基于生成的可执行文件，进行动态符号执行与缺陷检测：基于动态符号执行对源程序的各个分支进行软件缺陷检测。本发明的实施，能全面地检测程序中各个分支中潜在的缺陷，且缺陷检测效率高。
-
Patent Agency Ranking
公开(公告)号：CN104778410B
公开(公告)日：2017-07-11
申请号：CN201510179575.9
申请日：2015-04-16
Applicant: 电子科技大学
IPC: G06F21/56
Abstract: 本发明提供一种应用程序完整性验证方法。内核层捕获打开文件系统调用后，触发内核层中的验证代理模块；验证代理模块获取当前应用程序的文件描述符，通过该文件描述符查看应用程序，判断应用程序是否有完整性扩展属性值，验证代理模块获取应用程序为完整性验证所添加的扩展属性值，计算当前打开应用程序的完整性校验值，再与获取的扩展属性值进行比较。本发明与文件系统完整性验证方法相比减少了验证开销；通过使用文件系统自带的扩展属性存完整性扩展属性值，不需要辅助硬件的存储支持。
-
公开(公告)号：CN104156659A
公开(公告)日：2014-11-19
申请号：CN201410401579.2
申请日：2014-08-14
Applicant: 电子科技大学
Abstract: 本发明公开了一种嵌入式系统的安全启动方法，涉及嵌入式系统的启动安全领域，特别涉及一种基于密码学的方法对镜像进行验证技术以及通过硬件设计来辅助该方法的实现。在芯片设计时通过在芯片内部提供一个安全系统固件，同时利用非对称加密技术对需要加载的镜像进行签名，保障镜像的可信与完整的同时做到镜像可更新。本发明基于硬件的角度来保障安全，但不需要增加额外硬件，大大简化硬件设计难度以及开销，保障安全启动完整性的前提下降低开发难度。
-
公开(公告)号：CN103605920A
公开(公告)日：2014-02-26
申请号：CN201310557930.2
申请日：2013-11-10
Applicant: 电子科技大学
IPC: G06F21/50
Abstract: 本发明涉及对基于SEAndroid平台的系统安全管理，具体涉及一种基于SEAndroid平台的应用程序动态安全管理方法及系统。本发明的方法为：对系统权限库中的各权限进行类别划分，得到系统的模板类型库；在应用程序运行时，捕捉并拦截其进程创建，并判断其是否为安装后首次启动，若否，直接执行进程创建；否则解析其配置文件，匹配查询得到安全标签集；基于获取的安全标签集，向用户呈现安全策略选择界面，并根据用户的选择设置生成安全策略设置文件，最后，基于当前应用程序的安全策略设置文件执行当前应用程序的进程创建。同时，本发明还提出了对应于上述方法的应用程序动态安全管理系统。本发明可用于基于SEAndroid的终端设备，能带来易用性和安全性兼备的有益效果。
-
公开(公告)号：CN116521347A
公开(公告)日：2023-08-01
申请号：CN202310582145.6
申请日：2023-05-23
Applicant: 电子科技大学
IPC: G06F9/48
Abstract: 本发明公开了一种嵌入式实时操作系统的调度算法优化方法，在嵌入式实时系统μC/OS‑II中支持两级优先级实时调度。扩展后的优先级机制，一级优先级由用户决定，允许用户直接为多个功能或重要性一致的任务分配相同的优先级；二级优先级根据用户指定的优先级策略由系统自动分配，同一优先级下的任务可以按照二级优先级进行调度。扩展后每个任务的优先级仍然是唯一的，其形式为prio1/prio2。在使用优先级位图算法管理一级优先级的基础上，本发明扩展了OSRdyTbl_2用于管理二级优先级。本发明涉及的调度算法优化改进分为三个阶段：任务就绪、任务查找和任务结束。本发明大幅增加了嵌入式实时系统的优先级数量和任务并发数，同时保持较低的系统开销和响应时间。
-
公开(公告)号：CN112465641A
公开(公告)日：2021-03-09
申请号：CN202011447232.3
申请日：2020-12-09
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于GCN的区块链交易风险分析方法，包括：步骤S1：对目标交易进行溯源，获得其资金来源的交易；步骤S2：对比资金来源交易中的地址和地址库，计算已知地址的风险值，按照资金比例汇总得到已知风险值；步骤S3：将未知地址涉及的交易输入GCN得到风险值，按照资金比例汇总计算估计风险值；步骤S4：合并S2中的已知风险值和S3中的估计风险值。本发明通过比对地址库对已知地址分析风险值，并对未知地址结合GCN估计其所属交易的风险，对比传统机器学习的估计方法，加强了对交易图的点和关系的利用，提高了区块链交易风险分析的准确率。
-
-
-
-
-
-
-
-
-
Search Results
44
records
(took 0.027 seconds)
