安防术语
安防术语技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
安防术语 全部资料 500 份
ada语言为美国国防部规定的军用开发语言
ada语言为美国国防部规定的军用开发语言，具有其他语言所没有的一些高级功能。这里是ada的中文教程。完整翻译了ada英文版说明书的1-14章节
2013-12-28
41
着信息安全技术的发展
着信息安全技术的发展，一种跨平台的、可进行远程控制的、通用的、支持嵌入式平台的安全网关控制系统必不可少。本文就是在这种背景下提出了关于跨平台嵌入式安全网关控制系统的方案。以控制代码的跨平台为设计目标，实现其在不同底层嵌入式控制模块上的实时运...
2013-12-23
128
安全协议的CSP描述技术
基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论，并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷，重点研究如何在
2024-05-09
5