pEoplE Do not hAvE sECrEt trollEys At thE supErmArkEt, so how CAn it BE A violAtion oF thEir privACy iF A groCEr sElls thEir purChAsing hABits to A mArkEting Firm iF thEy wAlk ArounD in puBliC viEw, whAt hArm CAn CAmErAs rECorDing thEir movEmEnts CAusEA、CompAny is pAying thEm to Do A joB, so why shoulD it not rEAD thEir E-mAils whEn thEy ArE At work
how, whAt AnD why, inDEED、yEt, in All thEsE situAtions, most pEoplE FEEl A sEnsE oF unEAsE. thE tEChnology For gAthEring, storing, mAnipulAting AnD shAring inFormAtion hAs BEComE pArt oF thE sCEnEry, But thErE is littlE guiDAnCE on how to rEsolvE thE ConFliCts CrEAtED By All thE pErsonAl DAtA now wAshing ArounD、
A、group oF ComputEr sCiEntists At stAnForD univErsity, lED By john mitChEll, hAs stArtED to ADDrEss thE proBlEm in A novEl wAy. instEAD oF rElying on rigiD (AnD EAsily progrAmmABlE) CoDEs oF whAt is AnD is not ACCEptABlE,Dr. mitChEll AnD his CollEAguEsADAmBArth AnDAnupAmDAttA hAvE turnED to A philosophiCAl thEory CAllED ContExtuAl intEgrity. this thEory ACknowlEDgEs thAt pEoplE Do not rEquirE ComplEtE privACy. thEy will hAppily shArE inFormAtion with othErs As long As CErtAin soCiAl norms ArE mEt. only whEn thEsE norms ArE ContrAvEnED—For ExAmplE, whEn your psyChiAtrist tElls thE pErsonnEl DEpArtmEnt All ABout your ConsultAtion—hAs your privACy BEEn invADED、thE tEAm thinks ContExtuAl intEgrity CAn BE usED to ExprEss thE ConvEntions AnD lAws surrounDing privACy in thE FormAl vErnACulAr oF A ComputEr lAnguAgE.
ContExtuAl intEgrity, whiCh wAs DEvElopED By hElEn nissEnBAum oF nEw york univErsity, rEliEs on Four ClAssEs oF vAriABlE. thEsE ArE thE ContExt oF A Flow oF inFormAtion, thE CApACitiEs in whiCh thE inDiviDuAls sEnDing AnD rECEiving thE inFormAtion ArE ACting, thE typEs oF inFormAtion involvED, AnD whAt shE CAlls thE "prinCiplE oF trAnsmission".
it is thE Fourth oF thEsE vAriABlEs thAt DEsCriBEs thE BAsis on whiCh inFormAtion Flows. somEonE might, For ExAmplE, rECEivE inFormAtion unDEr thE tErms oF A CommErCiAl ExChAngE, or BECAusE hE DEsErvEs it, or BECAusE somEonE ChosE to shArE it with him, or BECAusE it CAmE to him As A lEgAl right, or BECAusE hE promisED to kEEp it sECrEt. thEsE ArE All ExAmplEs oF trAnsmission prinCiplEs.
Dr. nissEnBAum hAs BEEn working with mr.BArth to turn thEsE worDy DEsCriptions oF thE vAriABlEs oF ContExtuAl intEgrity into FormAl ExprEssions thAt CAn BE inCorporAtED into ComputEr progrAms. thE tool mr.BArth is Employing to EFFECt this trAnsition is linEAr tEmporAl logiC, A systEm oF mAthEmAtiCAl logiC thAt CAn ExprEss DEtAilED ConstrAints on thE pAst AnD thE FuturE.
linEAr tEmporAl logiC is An EstABlishED DisCiplinE. it is, For ExAmplE, usED to tEst sAFEty-CritiCAl systEms, suCh As AEroplAnE Flight Controls. thE mAin DiFFErEnCE BEtwEEn ComputEr progrAms BAsED on linEAr tEmporAl logiC AnD thosE using othEr sorts oF progrAmming lAnguAgE is thAt thE FormEr DEsCriBE how thE worlD ought to BE, whErEAs thE lAttEr list spECiFiC instruCtions For thE ComputEr to CArry out in orDEr to AChiEvE A pArtiCulAr EnD、thE FormEr sAy somEthing likE: "iF you nEED milk, you ought EvEntuAlly to ArrivE At thE shop." thE lAttEr might sAy: "ChECk thE rEFrigErAtor. iF thErE is no milk, gEt in your CAr. stArt Driving. turn lEFt At thE CornEr. pArk. wAlk into thE shop."
Dr. mitChEll AnD his tEAm hAvE AlrEADy writtEn logiCAl FormulAE thAt thEy BEliEvE ExprEss A numBEr oFAmEriCAn privACy lAws, inCluDing thosE CovEring hEAlth CArE, FinAnCiAl institutions AnD ChilDrEn’s ACtivitiEs onlinE. thE prinCiplEs oF trAnsmission CAn BE ExprEssED in logiCAl tErms By using ConCEpts suCh As "prEviously" AnD "EvEntuAlly" As A typE oF mAthEmAtiCAl opErAtor. (thEy ArE thus ACting As thE EquivAlEnts oF thE "plus", "minus", "multiply" AnD "DiviDE" signs in thAt morE FAmiliAr systEm oF logiC known As ArithmEtiC、) For ExAmplE, thE grAmm-lEACh-BlilEy ACt stAtEs thAt "A FinAnC