形式验证
形式验证技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
形式验证 全部资料 500 份
分组密码算法认证运算模式的注记及可证安全性
分组密码算法认证运算模式的注记及可证安全性:对分组密码算法CCM、CMAC加密模式进行描述，用可证安全性理论对它们进行相关研究和证明，并对各种证明情况在不同通信环境下的使用作出说明。针对认证工作模式用
2023-10-14
6
列主元消元法解线性方程组（已通过验证） LU分解法解线性方程组（已通过验证）： 雅可比迭代法（已通过P54例一和习题一的验证）高斯---赛得尔迭代法 拉哥朗日插值公式（乘幂法
列主元消元法解线性方程组（已通过验证） LU分解法解线性方程组（已通过验证）： 雅可比迭代法（已通过P54例一和习题一的验证）高斯---赛得尔迭代法 拉哥朗日插值公式（乘幂法
2013-12-13
194
访问基于802.1x认证方式的网络
访问基于802.1x认证方式的网络，有两种开源软件可供选择：xsupplicant和wpa_supplicant。该代码为xsupplicant
2013-12-27
89