位置：成果数据库 > 期刊 > 期刊详情页
一种C程序内存访问缺陷自动化检测方法研究
  • 期刊名称：计算机科学
  • 时间：0
  • 页码：117-122
  • 相关项目：有理分式公钥密码构造理论研究
作者： 杨飏|张焕国|王后珍|
同期刊论文项目
有理分式公钥密码构造理论研究
期刊论文 80 会议论文 4 专利 9 著作 2
同项目期刊论文
一种形式化的可信平台模块应用编程接口安全性分析方法
针对随机时间片对抗的PA分析方法研究
A new perturbation algorithm and enhancing security of SFLASH signature scheme
多变量代数理论及其在密码学中的应用
一种新的加噪扰动算法及其对SFLASH签名方案安全性的增强
信息安全学科体系结构研究
基于Bayesian信任网络的P2P访问控制
加拿大商用量子计算机对密码学的影响
Information Security Testing Model Based on Variable Weights Fuzzy Comprehensive Evaluation
抗量子计算密码体制研究(待续)
环Z_n上的线性正形置换和正形矩阵
PRESENT的多模型差分错误分析
基于多服务属性的网格信誉资源选择模型
抗量子计算密码体制研究(续前)
可信计算的研究与发展
Research on theory and key technology of trusted computing platform security testing and evaluation
可信网络连接研究
多变量Hash函数的构造理论与方法
基于l-MOMSDH假设的短群签名DAA方案
分组密码中P-置换的分支数研究
可信计算中的可信度量机制
Design theory and method of multivariate hash function
可信计算平台信任链安全性分析
可信PDA计算平台系统结构与安全机制
A New Multivariate Public-key Encryption Scheme Based on Error Correcting Codes
量子计算的挑战与思考
Koblitz Elliptic Curves Generating Based on Evolutionary Cryptography Theory and Verifying Parameter
多变元Hash函数的构造与分析
本科信息安全专业课程体系研究
嵌入式系统可信平台模块研究
A Trusted Environment Construction Method for Security-Sensitive Software
一种安全性更高的正形置换发生器
Hybrid Strategy of Particle Swarm Optimization and Simulated Annealing for Optimizing Orthomorphisms
基于图编辑距离的恶意代码检测
约束条件下基于区间组合的测试用例生成
AES的轻量优化及其在射频识别标签中的应用
基于ElGamal签名方案的云数据完整性感知方法
适合CBTC系统无线信道加密算法
基于可信计算的Ad Hoc网络安全模型研究(英文)
无线传感器网络的轻量级安全体系研究
基于应用π演算的可信平台模块的安全性形式化分析
一类Bent函数的二阶非线性度下界
结合依存关联分析和规则统计分析的情感词库构建方法
特征为2的有限域上正形置换的性质
基于演化密码理论的Koblitz安全曲线选择研究及对美国NIST参数验证(英文)
基于纠错编码的多变量公钥加密方案(英文)
基于变权模糊综合评判的信息安全等级保护测评模型(英文)
针对动态群组及应用的扩展非对称群密钥协商协议(英文)
一种基于李代数的密码体制
一类广义Bent函数的构造
基于1-MOMSDH假设的短群签名DAA方案
轮换矩阵密码学性质
有限域Fnq上的广义线性正形置换计数
多模式多变量公钥密码体制
基于SOA的旅游电子商务系统安全模型的研究
可信网络连接中一种基于可信度的细粒度授权模型
Enumeration of Generalized Linear Orthomorphism in the Vector Space Fq^n
Static Analysis-Based Behavior Model Building for Trusted Computing Dynamic Verification
Generation Algorithm of a Sort of P-Permutations
A Fast Pseudorandom Number Generator with BLAKE Hash Function