机译:使用谓词/过渡网的基于角色的访问控制的基于模型的自动化测试
Department of Computer Science, Boise State University, Boise, ID;
Access controls; security and privacy protection; test design; testing tools;
机译:通过SMT解决方案对基于管理角色的访问控制策略进行可扩展的自动符号分析
机译:基于角色的访问控制系统的相似性测试
机译:基于时间角色的访问控制系统的一致性测试
机译:使用分层谓词转换网测试GUI的基于模型方法
机译:电力系统计算机网络中基于角色的访问控制模型的加密密钥管理
机译:MAGENTA(可进行基因检测):一项前瞻性随机对照试验比较了在线遗传教育和电话遗传咨询对遗传性癌症基因检测的影响
机译:基于模型的访问控制策略自动测试方法
机译:谓词/过渡网络s不变量的自动解释:非经典逻辑的应用