搜索结果
找到约 4,092 项符合
安全生产 的查询结果
按分类筛选
其他 提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的
证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对
Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三
方认证协议的 ...
其他 ：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断
：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同
时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协
议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand
的存在关 ...
网络 网络安全开发包全解一书的源代码
网络安全开发包全解一书的源代码，希望对大家有所帮助
单片机开发 AD876是由AD公司生产的10位20M的A/D转换芯片。两种供电3。3V和5V选择。160MW低功耗。28PIN的SSOP或者SOIC封装。本人花了1周时间调试。程序为KEIL C环境。特与大家分享
AD876是由AD公司生产的10位20M的A/D转换芯片。两种供电3。3V和5V选择。160MW低功耗。28PIN的SSOP或者SOIC封装。本人花了1周时间调试。程序为KEIL C环境。特与大家分享。
其他书籍 这个是关于安全邮件的,如果哪位有需要就下了吧!希望对大家有用
这个是关于安全邮件的,如果哪位有需要就下了吧!希望对大家有用
其他书籍 关于网络安全的课件,如果有需要的话欢迎大家下载哦,这也是我们老师做的课件
关于网络安全的课件,如果有需要的话欢迎大家下载哦,这也是我们老师做的课件
其他 可以用于电脑安全的管理
可以用于电脑安全的管理，非常方便和有效，在日常运用中很使用
其他数据库 彩电故障信息共享系统 本程序使用Visual C++６.0编程制作信息共享系统,实现信息管理共享的自动化。由此实现了信息的增加、删除、修改、查看等功能
彩电故障信息共享系统
本程序使用Visual C++６.0编程制作信息共享系统,实现信息管理共享的自动化。由此实现了信息的增加、删除、修改、查看等功能，并且进而实现信息的安全管理，使信息的管理更加人性化，规范化。从而提高故障排除效率，提高信息利用率，有助于进一步提高了生产效率。 ...
文章/文档 在Matlab/Simulink构造一缓慢时变线性系统。试根据系统的输入生产数据分别用带遗忘因子最小二乘法和广义最小二乘法辨识系统的参数。
在Matlab/Simulink构造一缓慢时变线性系统。试根据系统的输入生产数据分别用带遗忘因子最小二乘法和广义最小二乘法辨识系统的参数。
系统设计方案 1、 生产者—消费者问题是一种同步问题的抽象描述。 2、 计算机系统中的每个进程都可以消费或生产某类资源。当系统中某一进程使用某一资源时
1、 生产者—消费者问题是一种同步问题的抽象描述。
2、 计算机系统中的每个进程都可以消费或生产某类资源。当系统中某一进程使用某一资源时，可以看作是消耗，且该进程称为消费者。
3、 而当某个进程释放资源时，则它就相当一个生产者 ...