退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:模型检查强制访问控制模型和性能的验证
Vincent C. Hu; D. Richard Kuhn; Tao Xie; Jeehyun Hwang;
机译:强制访问控制模型和属性验证的模型检查
机译:模型检查分布式强制访问控制策略
机译:通过模型检查综合验证的访问控制系统
机译:使用Petri网验证强制访问控制模型中的访问策略
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用基于知识的模型检查建模和验证动态访问控制策略
机译:使用无BDD的符号模型检查验证powerpC(商标)微处理器的安全属性
机译:利用启发式和机器学习模型来为应用程序生成强制访问控制策略
机译:利用启发式和机器学习模型来生成应用程序的强制访问控制策略
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。