Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287819372> ?p ?o ?g. }
- W4287819372 endingPage "305" @default.
- W4287819372 startingPage "294" @default.
- W4287819372 abstract "Statistical model checking is a class of sequential algorithms that can verify specifications of interest on an ensemble of cyber-physical systems (e.g., whether 99% of cars from a batch meet a requirement on their energy efficiency). These algorithms infer the probability that given specifications are satisfied by the systems with provable statistical guarantees by drawing sufficient numbers of independent and identically distributed samples. During the process of statistical model checking, the values of the samples (e.g., a user's car energy efficiency) may be inferred by intruders, causing privacy concerns in consumer-level applications (e.g., automobiles and medical devices). This paper addresses the privacy of statistical model checking algorithms from the point of view of differential privacy. These algorithms are sequential, drawing samples until a condition on their values is met. We show that revealing the number of samples drawn can violate privacy. We also show that the standard exponential mechanism that randomizes the output of an algorithm to achieve differential privacy fails to do so in the context of sequential algorithms. Instead, we relax the conservative requirement in differential privacy that the sensitivity of the output of the algorithm should be bounded to any perturbation for any data set. We propose a new notion of differential privacy which we call <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>expected differential privacy</i> (EDP). Then, we propose a novel expected sensitivity analysis for the sequential algorithm and propose a corresponding exponential mechanism that randomizes the termination time to achieve the EDP. We apply the proposed exponential mechanism to statistical model checking algorithms to preserve the privacy of the samples they draw. The utility of the proposed algorithm is demonstrated in a case study." @default.
- W4287819372 created "2022-07-26" @default.
- W4287819372 creator A5016701677 @default.
- W4287819372 creator A5036309179 @default.
- W4287819372 creator A5039914913 @default.
- W4287819372 creator A5061952552 @default.
- W4287819372 creator A5085795401 @default.
- W4287819372 date "2022-01-01" @default.
- W4287819372 modified "2023-09-26" @default.
- W4287819372 title "Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems" @default.
- W4287819372 cites W1547304883 @default.
- W4287819372 cites W1560643704 @default.
- W4287819372 cites W1631091010 @default.
- W4287819372 cites W2037031363 @default.
- W4287819372 cites W2060041315 @default.
- W4287819372 cites W2065798383 @default.
- W4287819372 cites W2068619069 @default.
- W4287819372 cites W2109426455 @default.
- W4287819372 cites W2123820077 @default.
- W4287819372 cites W2135930857 @default.
- W4287819372 cites W2149713648 @default.
- W4287819372 cites W2533156578 @default.
- W4287819372 cites W2581954717 @default.
- W4287819372 cites W2603798155 @default.
- W4287819372 cites W2606486293 @default.
- W4287819372 cites W2780338284 @default.
- W4287819372 cites W2787596386 @default.
- W4287819372 cites W2911978475 @default.
- W4287819372 cites W2912596162 @default.
- W4287819372 cites W2971096715 @default.
- W4287819372 cites W2980274526 @default.
- W4287819372 cites W2981997649 @default.
- W4287819372 cites W3022362085 @default.
- W4287819372 cites W3097982226 @default.
- W4287819372 cites W3102407811 @default.
- W4287819372 cites W3105134387 @default.
- W4287819372 cites W3119784435 @default.
- W4287819372 cites W3139852998 @default.
- W4287819372 cites W3160786793 @default.
- W4287819372 cites W3167433572 @default.
- W4287819372 cites W3187902504 @default.
- W4287819372 cites W4205228770 @default.
- W4287819372 cites W4230704549 @default.
- W4287819372 doi "https://doi.org/10.1109/ojcsys.2022.3207108" @default.
- W4287819372 hasPublicationYear "2022" @default.
- W4287819372 type Work @default.
- W4287819372 citedByCount "2" @default.
- W4287819372 countsByYear W42878193722023 @default.
- W4287819372 crossrefType "journal-article" @default.
- W4287819372 hasAuthorship W4287819372A5016701677 @default.
- W4287819372 hasAuthorship W4287819372A5036309179 @default.
- W4287819372 hasAuthorship W4287819372A5039914913 @default.
- W4287819372 hasAuthorship W4287819372A5061952552 @default.
- W4287819372 hasAuthorship W4287819372A5085795401 @default.
- W4287819372 hasBestOaLocation W42878193721 @default.
- W4287819372 hasConcept C110251889 @default.
- W4287819372 hasConcept C11413529 @default.
- W4287819372 hasConcept C134306372 @default.
- W4287819372 hasConcept C137822555 @default.
- W4287819372 hasConcept C151376022 @default.
- W4287819372 hasConcept C151730666 @default.
- W4287819372 hasConcept C23130292 @default.
- W4287819372 hasConcept C2779343474 @default.
- W4287819372 hasConcept C33923547 @default.
- W4287819372 hasConcept C34388435 @default.
- W4287819372 hasConcept C38652104 @default.
- W4287819372 hasConcept C41008148 @default.
- W4287819372 hasConcept C80444323 @default.
- W4287819372 hasConcept C86803240 @default.
- W4287819372 hasConceptScore W4287819372C110251889 @default.
- W4287819372 hasConceptScore W4287819372C11413529 @default.
- W4287819372 hasConceptScore W4287819372C134306372 @default.
- W4287819372 hasConceptScore W4287819372C137822555 @default.
- W4287819372 hasConceptScore W4287819372C151376022 @default.
- W4287819372 hasConceptScore W4287819372C151730666 @default.
- W4287819372 hasConceptScore W4287819372C23130292 @default.
- W4287819372 hasConceptScore W4287819372C2779343474 @default.
- W4287819372 hasConceptScore W4287819372C33923547 @default.
- W4287819372 hasConceptScore W4287819372C34388435 @default.
- W4287819372 hasConceptScore W4287819372C38652104 @default.
- W4287819372 hasConceptScore W4287819372C41008148 @default.
- W4287819372 hasConceptScore W4287819372C80444323 @default.
- W4287819372 hasConceptScore W4287819372C86803240 @default.
- W4287819372 hasFunder F4320306078 @default.
- W4287819372 hasLocation W42878193721 @default.
- W4287819372 hasLocation W42878193722 @default.
- W4287819372 hasOpenAccess W4287819372 @default.
- W4287819372 hasPrimaryLocation W42878193721 @default.
- W4287819372 hasRelatedWork W112412774 @default.
- W4287819372 hasRelatedWork W1579190584 @default.
- W4287819372 hasRelatedWork W1748450182 @default.
- W4287819372 hasRelatedWork W1882581446 @default.
- W4287819372 hasRelatedWork W1990534671 @default.
- W4287819372 hasRelatedWork W2364866360 @default.
- W4287819372 hasRelatedWork W2400856453 @default.
- W4287819372 hasRelatedWork W2917223971 @default.
- W4287819372 hasRelatedWork W3013397595 @default.
- W4287819372 hasRelatedWork W4295885746 @default.