Access Control; Attribute-based Access Control; Language Expressions; Organizational Model; Identity Management;
机译:通过Web表单和正则表达式的形式语言
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:用形式语言讨论容错监督控制
机译:基于超图的访问控制使用正式语言表达式 - HGAC
机译:软件定义网络的基于角色的访问控制:正式模型和实现
机译:辅助基因调节剂控制葡萄球菌肠毒素D基因表达
机译:对编程语言中名称访问的形式分析
机译:程序设计语言中访问名称的形式分析