Temporal Logic; Monitoring; Security Policies; Access Control; Separation of Duty; Compliance; Usage Control;
机译:具有BDD的一阶时间逻辑监控
机译:监视度量一阶时间属性
机译:度量一阶时间属性的运行时监视
机译:使用度量一阶时间逻辑监视安全策略
机译:以一阶时间逻辑执行安全和隐私策略规范。
机译:危地马拉总统转型期间政府官员的终端逻辑行为与战略叛逃:对食品和营养安全政策可持续性的影响
机译:用于公制一阶动态逻辑的正式验证,优化的监视器