Carnegie Mellon University;
Carnegie Mellon University;
Max Planck Institute for Software Systems;
Carnegie Mellon University;
Mode checking; runtime monitoring; metric first-order temporal logic; privacy policy;
机译:基于Android应用程序运行时行为监控的隐私保护方法
机译:度量一阶时间属性的运行时监视
机译:定量策略的微量独立运行时监测
机译:临时模式检查隐私政策的运行时监控
机译:以一阶时间逻辑执行安全和隐私策略规范。
机译:遵守电子病历隐私政策的威慑方法:计算机监控的调节作用
机译:时间模式 - 检查隐私策略的运行时监控
机译:时间模式 - 检查隐私策略的运行时监控。