构建安全的编译环境
预处理是编译环境处理C 程序的第一个环节,但往往最先被程序员忽略。这份看似只是由编译环境做的简单工作,其实也是机关重重。通过介绍MISRA C 与预处理相关的规则,希望读者能够更准确地认识编译器的预处...
安全交易技术资料下载专区,收录1,914份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
预处理是编译环境处理C 程序的第一个环节,但往往最先被程序员忽略。这份看似只是由编译环境做的简单工作,其实也是机关重重。通过介绍MISRA C 与预处理相关的规则,希望读者能够更准确地认识编译器的预处...
如今,企业使用各式各样的设备(包括 U 盘)来存储和使用机密数据。这类设备的存储容量在不断增大,而体积则日渐小巧,这使它们携带起来极其方便,并且能够存储大量与业务息息相关的信息。然而,小...
基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在...
· 摘要: 介绍了一种用DSP设计的基于公用电话交换网络(PSTN)的安全通信系统,整个方案主要用于保证语音、数据和传真等三种通信的安全.系统中主要使用的技术是数据源的编码/解码和加密/解密.德州仪器公司(Texas ...