退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN103645987B
专利类型发明专利
公开/公告日2016-01-20
原文格式PDF
申请/专利权人 南京大学;
申请/专利号CN201310711611.2
发明设计人 王林章;李永超;赵建华;李宣东;陈志;
申请日2013-12-20
分类号
代理机构南京瑞弘专利商标事务所(普通合伙);
代理人杨晓玲
地址 210023 江苏省南京市栖霞区仙林大道163号计算机科学技术楼717室
入库时间 2022-08-23 09:34:36
法律状态公告日
法律状态信息
法律状态
2016-01-20
授权
2014-04-16
实质审查的生效 IPC(主分类):G06F11/36 申请日:20131220
实质审查的生效
2014-03-19
公开
机译: 基于角色的访问控制策略自动生成
机译: 测试代码生成器,测试代码生成方法,测试代码生成程序
机译:KLOVER:使用符号执行为C和C ++程序自动生成测试
机译:ATGen:使用约束逻辑编程和符号执行自动生成测试数据
机译:自动生成块结构网格上的浅水方程的浅水方程的代码生成特征的正交不连续的Galerkin方法
机译:通过符号执行自动生成用于集成测试的测试数据
机译:基于方面的方法来对访问控制策略进行建模。
机译:基于问题的基于讲座的讲座的讲座方法在医院前创伤生命支持培训;测试后测试后研究
机译:通过更改影响分析为访问控制策略自动生成测试
机译:基于Linux的访问控制策略低成本支持方法