IT安全技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
将基于角色的访问控制模型RBAC96应用到工作流中，设计一个基于角色的安全工作流模型，给出该模型的形式化描述和图形表示。定义DcAC, EP, EPA, IP, IPA的概念，用于管理模型中的授权。与
在当今网络社会，人类对网络的依赖越来越强。各网站在给人们带来信息共享的同时，也存在着巨大的安全隐患。本文通过对网站安全隐患的现状的分析，对网站的安全目标进行了定义，并在安全技术防范措施方面提出了新的见
资料->【B】电子技术->【B6】品质管理->【1】标准规范（国标、行标、安规、规范）->【EN】->EN61029 可移动电动工具的安全.pdf
本内容提出了主流操作系统安全弱点评估的方法，并对 WINDOWS NT、LINUX和SOLARIS等三大主流操作系统6个版本的1081个弱点实施了评估
One of the strengths of Synplify is the Finite State Machine compiler. This is a powerfulfeature
基于公共密钥技术的SSL 协议已经成为Internet 上广泛应用的安全通信标准，源码开放的OpenSSL是对SSL 协议的完整实现。介绍了OpenSSL 在电子商务安全中的应用。
基于MPPR算法，提出一个求解ECDLP问题专用计算系统的系统结构，分析该系统的组成、实现手段、计算过程以及工程上的实现难度，给出符合该结构的专用计算系统所具备求解ECDLP问题的计算能力公式和解题时
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。