退出
我的积分:
中文文献批量获取
外文文献批量获取
郭帆; 范威威;
江西师范大学 计算机信息工程学院 南昌 330022;
SQL注入; 污点传播语义; 静态分析; 活跃变量分析; 插桩; 动态验证;
机译:基于代理的智能动态漏洞分析框架,用于关键SQLIA攻击:智能SQLIA漏洞分析仪代理
机译:面向对象和面向方面的程序的集成测试:Java的结构化成对方法
机译:JAPCT的Java漏洞分析:javaaccess权限检查树
机译:并发Java程序的基于动态框架的验证方法
机译:模型验证方法在JAVA通信协议上的应用(法文)。
机译:安全的JAVA小程序和应用程序:从JAVA安全模型中学到的准则和经验教训
机译:S1b-simpA:在Java之上对并发应用程序进行原型设计的面向代理的方法/ simpA:在Java上并发应用程序原型的面向代理的方法
机译:使用Java pathExplorer监视Java程序
机译:将面向对象的数据库条目的文本形式转换为可配置为填充用于发送给java程序的面向对象的数据库的中间形式的方法和系统
机译:漏洞分析设备,漏洞分析程序和漏洞分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。