科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
孟博; 黄伟; 王德军; 邵飞;
中南民族大学计算机科学学院,湖北武汉430074;
拒绝服务攻击; 形式化; 自动化证明; 协议状态;
机译:使用定理箴言的事件自动化拒绝服务攻击的阻力证明
机译:具有扩展应用Pi演算的远程Internet投票协议中的拒绝服务攻击抵抗力的自动证明
机译:具有DoS / DDoS抗攻击性能的网络安全协议的分析与比较
机译:前馈和前馈XOR PUF的抗攻击性和可靠性分析
机译:一种新颖的保护性框架可克服基于HTTP的拒绝服务攻击和分布式拒绝服务攻击
机译:远程互联网投票协议拒绝服务攻击的自动证明,扩展应用PI微积分
机译:使用多协议标签交换减轻分布式拒绝服务攻击 - 流量工程(mpLs-TE)
机译:评估侧通道抗攻击性的装置,评估侧通道抗攻击性的方法以及评估侧通道抗攻击性的程序
机译:旁信道抗攻击性评估装置,程序和旁信道抗攻击性评估方法
机译:零知识交互证明协议管理系统,程序及零知识交互证明协议管理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。