Sökning: "privacy calculus"

Hittade 3 avhandlingar innehållade orden privacy calculus.

1. 1. Language-Based Differential Privacy with Accuracy Estimations and Sensitivity Analyses

   Författare :Elisabet Lobo Vesga; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; haskell; accuracy; parametricity; Program reasoning; Functional Programming; concentration bounds; differential privacy;

   Sammanfattning : This thesis focuses on the development of programming frameworks to enforce, by construction, desirable properties of software systems. Particularly, we are interested in enforcing differential privacy -- a mathematical notion of data privacy -- while statically reasoning about the accuracy of computations, along with deriving the sensitivity of arbitrary functions to further strengthen the expressiveness of these systems. LÄS MER

3. 2. Type Based Techniques for Covert Channel Elimination and Register Allocation

   Författare :Johan Agat; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; type and effect systems; program analysis; functional languages; confidentiality; register allocation; privacy; computer security; covert timing channels; program transformation; information flow; type systems;

   Sammanfattning : As the title suggests, this thesis consists of two parts that address two rather different topics. The first part investigates secure information flow in sequential programs, with the aim of completely eliminating covert timing channels. The second part presents a technique to describe register allocation for a functional language. LÄS MER

4. 3. Exploring Paths of Justice in the Digital Healthcare : A Socio-Legal Study of Swedish Online Doctors

   Författare :Peter Bergwall; Rättssociologiska institutionen; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; rättssociologi; ehealth; critical realism; distributive justice; ethical principles in healthcare; free choice; healthcare demands; healthcare law and ethics; healthcare need; Kry; latent variables; mHealth; Alan Norrie; online doctors; online survey; PLS path modelling; PLS-SEM; privacy calculus; procedural justice; retail health; SmartPLS; sociology of law; Swedish healthcare; telehealth; quasi-market;

   Sammanfattning : Online doctor services, healthcare provided via smartphone apps, have gone from being peripheral to seriously challenging the conventional Swedish way of providing healthcare services. The accessibility of online doctors is unsurpassed but all patient groups have not gotten better access to healthcare thanks to online doctors. LÄS MER