学海网 文档下载 文档下载导航
设为首页 | 加入收藏
搜索 请输入内容:  
 导航当前位置: 文档下载 > 所有分类 > Non-inference An information flow control model for location-based services

Non-inference An information flow control model for location-based services

This paper presents a framework for preserving location privacy without affecting location accuracy. In this framework, services migrate a piece of code to a trusted server, which is assumed to have location information of all the interesting subjects. The

Non-Inference:AnInformationFlowControlModelfor

Location-basedServices

NishkamRavi,MarcoGruteser*andLiviuIftodeDepartmentofComputerScience,RutgersUniversity*WINLAB,ECEDepartment,RutgersUniversity

{nravi@cs.rutgers.edu,gruteser@winlab.rutgers.edu,iftode@cs.rutgers.edu}Keywords:Staticprogramanalysis,information- owcontrol,locationprivacy

Abstract

Thispaperpresentsaframeworkforpreservinglocationprivacywithouta ectinglocationaccuracy.Inthisframework,servicesmigrateapieceofcodetoatrustedserver,whichisassumedtohavelo-cationinformationofalltheinterestingsubjects.Thecodeexecutesonthetrustedserver,readsloca-tioninformationandsendsbackresults.Weintro-duceNon-inference,anovelinformation- owcon-trolmodelthatguaranteesthatthecodedoesnotleakexactlocationinformation.Wediscussthede-sign,implementationandevaluationofastaticpro-gramanalysistechniquethatenforcesnon-inferenceforlocationbasedservices.

1Introduction

ManyLocationBasedServices(LBS)workwithaggregateinformationderivedfromthepositionmeasurement,ratherthanrecordingthepositionmeasurementsitself.Forexample,thetra cmoni-toringapplicationwouldcomputemeanvehicleve-locityonanygiveroadsegmentandfeedthisdataintonavigationsystemsorcontroltra cmanage-mentsystemsuchasrampmeters.Theoretically,suchapplicationscanbestructuredtopreservepri-vacybyonlyrevealingtheaggregatedatainsteadofpersonallocationrecords.However,notknowingthedetailedimplementationofaserviceandassum-ingthattheycannotblindlytrustagivenservice

subjectisconsideredk-anonymousifitcannotbedis-tinguishedfromatleastk-1othersubjects.Forexample,ifthelocationinformationsentbyamobilesubjectisper-turbedtoreplacetheexactcoordinatesbyaspatialinterval,suchthatthelocationsofatleastk-1othersubjectsbelongtothatinterval,thentheadversarycannotmatchtheloca-tionofthesubjecttoitsidentitywithoutacertainamountofuncertainty.Theuncertaintywouldincreasewithk,pro-vidingbetterprivacy.

1A

1

第1页

我要评论

相关文档

  • Controlling Information Flows in Net Services with ...

    we developed an information flow control model for net services named Net...The “can flow” relationship is based on the rules of “no read up” ...

  • Information flow inference for ML

    [ ε : Pre pc; ?Abs ] MIMOSA September 27, 2001 Information Flow Inference for ML (Vincent Simonet) 14 Non-interference Let us consider an ...

  • ...based information flow inference for an object-o...

    Modular and Constraint-based Information Flow ...not doing full type inference, polymorphic ...Deployment model. For an application developer, ...

  • The Information Flow Foundation for Fusing Inferenc...

    The Information Flow Foundation for Fusing Inferences A practical and ...Questions arise as no single existing DL-based system is capable of ...

  • TensorFlow2015白皮书

    no change on a wide variety of heterogeneous ...inference algorithms for deep neural network models...control import tensorflow as tf b = tf.Variable...

  • 科技英语

    Flow, Computer,1993,Vol.26, (10):721-733 ...Calerkin Alternating-direction Methods for Non... inference of Horn clauses in Petri net models....

  • 基于NetFlow的网络流量实时计算模型

    model based on NetFlow TANG Xiao-bo , GONG ...graineddataandapplicationspecificinformation.flow-level...isinferredbystatisticinference.Attheendofthepaper,...

  • F9-Cognpsycho-IT-SU-HT2013

    Utilization stage – inference-based usage of ...flow by tracking and relating states in dialogue;...Errors are not always to be avoided; they can ...

  • ...Chapter15-Multiple Regression Model Building

    No new information provided Can lead to unstable ...8. Use the model for prediction and inference. ...Chap 15-31 Model Building Flowchart Choose X1,X...

  • 交通灯外文翻译

    In traffic signal control several traffic flows ...model control based on human expert knowledge, ...inference, but literally this not the case; the...

站点地图 | 文档上传 | 侵权投诉 | 手机版
新浪认证  诚信网站  绿色网站  可信网站   非经营性网站备案
本站所有资源均来自互联网,本站只负责收集和整理,均不承担任何法律责任,如有侵权等其它行为请联系我们.
文档下载 Copyright 2013 doc.xuehai.net All Rights Reserved.  email
返回顶部