工厂安全

工厂安全技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

工厂安全 热门资料

查看全部 500 份 →

将基于角色的访问控制模型RBAC96应用到工作流中，设计一个基于角色的安全工作流模型，给出该模型的形式化描述和图形表示。定义DcAC, EP, EPA, IP, IPA的概念，用于管理模型中的授权。与

2024-04-23 5 工厂安全

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。

2023-12-20 7 工厂安全

mToken是一款专为金融安全设计的USB硬件设备，内置高性能微型CPU和安全存储器。作为PKI体系中不可或缺的数字证书载体，mToken能够预置密钥或存储数字证书，确保用户身份的安全验证。特别适用于需要高安全性认证的在线交易场景，其独特的...

2025-12-02 3 工厂安全

本教程属于电子教程，属于工厂培训教材，详细讲述了三相交流电、单相交流电专业性基础，

2016-01-10 5 工厂安全

工厂供电总复习含答案。1、工厂供电的基本要求： 安全、可靠、优质、经济。 2、发电厂按其所利用的能源不同，主要分为水力发电、火力发电、和核能发电。

2025-05-11 5 工厂安全