安全组件
安全组件技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
安全组件 热门资料
查看全部 500 份 →软件安全漏洞的静态检测技术
软件安全漏洞问题日益严重，静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证，重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执
2024-05-03
10
嵌入式软件的安全可靠性控制
不同的嵌入式系统对其安全可靠性的要求是不一样的。一般说来，嵌入式系统对可靠性与安全性的要求要高于非嵌入式系统。对于PC机，偶然死机需要用户重新启动，损失有限，而对于嵌入式控制系统，死机是绝对不允许的。
2024-05-22
9
大型风力发电机组控制系统的安全保护功能
介绍了风力发电机组控制系统所具备的主要功能之一——安全保护功能。它主要包括制动保护、独立安全链、防雷保护、器件自身保护、接地以及后备电源等保护功能，这些保护是风力发电机组安全运行的前提和保证。
2024-02-23
7
组态图库全
组态王开发监控系统软件，是新型的工业自动控制系统，它以标准的工业计算机软、硬件平台构成的集成系统取代传统的封闭式系统。 组态王kingview6.55是亚控科技根据当前的自动化技术的发展趋势，面向低端自动化市场及应用，以实现企业一体化...
2016-06-13
4
动态多级安全系统安全标记的格模型
【摘要】分析了安全标记的概念，给出了安全标记的形式化定义，并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格，解决了两安全标记比较时上、下确界的
2024-05-19
8