Demonstration of Indoor Location Privacy Enforcement using Obfuscation

No abstract is available for this paper.

• Publication year

  2018

• Venue

  IFAC-PapersOnLine

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/J.IFACOL.2018.06.293
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Synthesis of Obfuscation Policies to Ensure Privacy and Utility

  2017cited by this paper
• Supervisory control and reactive synthesis: a comparative introduction

  2017cited by this paper
• Overview of discrete event systems opacity: Models, validation, and quantification

  2016cited by this paper
• Automatic design of discreet discrete filters

  2015cited by this paper
• Synthesis of insertion functions for enforcement of opacity security properties

  2014cited by this paper
• An Obfuscation-Based Approach for Protecting Location Privacy

  2011cited by this paper
• Universally utility-maximizing privacy mechanisms

  2008cited by this paper
• Supervisory control of a class of discrete event processes

  1987cited by this paper

• Opacity in Discrete Event Systems: A Perspective and Overview

  2026cites this paper
• Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification

  2023cites this paper
• A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems

  2023cites this paper
• Synthesis of an Obfuscation Policy that Guarantees Utility Satisfying a New Privacy Criterion

  2023cites this paper
• Optimal privacy protection of mobility data: a predictive approach

  2023cites this paper
• State-based opacity of labeled real-time automata

  2023cites this paper
• Reasons and Strategies for Privacy Features in Tracking and Tracing Systems—A Systematic Literature Review

  2021cites this paper
• A unified concurrent-composition method to state/event inference and concealment in discrete-event systems

  2021cites this paper
• Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking

  2020cites this paper
• Privacy in Indoor Positioning Systems: A Systematic Review

  2020cites this paper
• Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems

  2020cites this paper
• Discrete Event Systems: Modeling, Observation, and Control

  2019cites this paper