security; languages; verification;
机译:联锁:基于角色的信息流控制及其他
机译:基于角色的智能应用程序状态计算软件定义网络中的OpenFlow分布式控制器
机译:读写中止协议,用于防止基于角色的访问控制系统中的非法信息流
机译:Paralocks-基于角色的信息流控制及其他
机译:具有访问控制列表和基于角色的访问控制模型的可扩展访问控制Web服务的规范。
机译:Modbus SCADA系统中的基于角色的访问控制模型。集中模型方法
机译:基于时间角色的访问控制工作流程中的安全约束