高级检索

    栏目
    僵尸网络综述
    可信计算技术研究
    一种高效的基于身份的可验证加密签名方案
    标准模型下一种新的基于分级身份的短签名方案
    多主密钥功能加密:基于LMSSS的M-KP-ABE方案
    基于ptSPA的概率时间信息流安全属性分析
    对模式串匹配算法WuManber的复杂度攻击
    基于扩展Canetti-Krawczyk模型的认证密钥交换协议的模块化设计与分析
    RFID标签所有权转移协议研究
    一种基于D-S证据理论的Ad Hoc网络安全路由协议
    TRBAC:基于信任的访问控制模型
    基于应用π演算的可信平台模块的安全性形式化分析
    类Unix文件系统中TOCTTOU缺陷的静态分析方法
    基于VMM层系统调用分析的软件完整性验证
    一种可信软件设计方法及可信性评价
    写污点值到污点地址漏洞模式检测
    基于交互式马尔可夫链的可信动态度量研究
    P2P声誉系统中GoodRep攻击及其防御机制
    基于身份加密的机会网络安全路由架构
    MRRbot: 基于冗余机制的多角色P2P僵尸网络模型
    基于网络流的攻击图分析方法
    多维多层次网络流量异常检测研究
    基于LRU和SCBF的大象流提取及其在DDoS防御中的应用
    一种面向空间数据库矢量数据的授权模型与实现方法
    利用虚拟机监视器检测及管理隐藏进程
    一种基于并发冲突间隔时间的隐蔽信道检测方法
    AES专用指令处理器的研究与实现
    基于相对熵的直方图差异与JPEG隐写的定量分析