{"id":"https://openalex.org/W205521783","doi":null,"title":"Privacy apis: formal models for analyzing legal privacy requirements","display_name":"Privacy apis: formal models for analyzing legal privacy requirements","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W205521783","mag":"205521783"},"language":"en","primary_location":{"id":"mag:205521783","doi":null,"is_oa":false,"landing_page_url":"http://www2.kinneret.ac.il/mjmay/pubs/May08-dissertation.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030456600","display_name":"Insup Lee","orcid":"https://orcid.org/0000-0003-2672-1132","observed_orcids":["https://orcid.org/0000-0003-2672-1132","https://orcid.org/0000-0002-9822-9860"]},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Insup Lee","raw_affiliation_strings":["#N#               * University of Pennsylvania"],"raw_orcid":"https://orcid.org/0000-0003-2672-1132","affiliations":[{"raw_affiliation_string":"#N#               * University of Pennsylvania","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031954035","display_name":"Carl A. Gunter","orcid":"https://orcid.org/0009-0006-6943-0684","observed_orcids":["https://orcid.org/0009-0006-6943-0684"]},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carl A. Gunter","raw_affiliation_strings":["#N#               * University of Pennsylvania"],"raw_orcid":"https://orcid.org/0009-0006-6943-0684","affiliations":[{"raw_affiliation_string":"#N#               * University of Pennsylvania","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054255290","display_name":"Michael J. May","orcid":"https://orcid.org/0000-0003-4571-7972","observed_orcids":["https://orcid.org/0000-0003-4571-7972"]},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael J. May","raw_affiliation_strings":["#N#               * University of Pennsylvania"],"raw_orcid":"https://orcid.org/0000-0003-4571-7972","affiliations":[{"raw_affiliation_string":"#N#               * University of Pennsylvania","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":1.0891,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.85648279,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9599999785423279,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9599999785423279,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.007899999618530273,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11045","display_name":"Privacy, Security, and Data Protection","score":0.007300000172108412,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/privacy-compliance","display_name":"privacy compliance","score":0.39399999380111694},{"id":"https://openalex.org/keywords/hipaa-privacy-rule","display_name":"HIPAA Privacy Rule","score":0.8149999976158142},{"id":"https://openalex.org/keywords/spin-model-checker","display_name":"SPIN model checker","score":0.9210000038146973},{"id":"https://openalex.org/keywords/sensitive-personal-information","display_name":"sensitive personal data","score":0.8069999814033508}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.756094753742218},{"id":"https://openalex.org/C141972696","wikidata":"https://www.wikidata.org/wiki/Q1247836","display_name":"Privacy law","level":4,"score":0.5858852863311768},{"id":"https://openalex.org/C102938260","wikidata":"https://www.wikidata.org/wiki/Q1999831","display_name":"Privacy policy","level":3,"score":0.5621466636657715},{"id":"https://openalex.org/C509729295","wikidata":"https://www.wikidata.org/wiki/Q7246032","display_name":"Privacy software","level":3,"score":0.5336900949478149},{"id":"https://openalex.org/C123201435","wikidata":"https://www.wikidata.org/wiki/Q456632","display_name":"Information privacy","level":2,"score":0.5229693055152893},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5147340297698975},{"id":"https://openalex.org/C193934123","wikidata":"https://www.wikidata.org/wiki/Q7246028","display_name":"Privacy by Design","level":3,"score":0.49319761991500854},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4906415045261383},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.48664841055870056}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:205521783","doi":null,"is_oa":false,"landing_page_url":"http://www2.kinneret.ac.il/mjmay/pubs/May08-dissertation.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions","score":0.6207000017166138}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W36923414","https://openalex.org/W111019283","https://openalex.org/W123203000","https://openalex.org/W194488117","https://openalex.org/W1505817364","https://openalex.org/W1528664920","https://openalex.org/W1570439748","https://openalex.org/W1576710690","https://openalex.org/W1588115268","https://openalex.org/W1588245570","https://openalex.org/W1749560176","https://openalex.org/W1855210909","https://openalex.org/W1969799644","https://openalex.org/W1986789244","https://openalex.org/W2000217782","https://openalex.org/W2008418582","https://openalex.org/W2010954288","https://openalex.org/W2012656123","https://openalex.org/W2031418633","https://openalex.org/W2045981840","https://openalex.org/W2048056473","https://openalex.org/W2053741629","https://openalex.org/W2055991424","https://openalex.org/W2056036320","https://openalex.org/W2066266646","https://openalex.org/W2068189899","https://openalex.org/W2073878348","https://openalex.org/W2103317919","https://openalex.org/W2106465551","https://openalex.org/W2107253887","https://openalex.org/W2108604514","https://openalex.org/W2118685970","https://openalex.org/W2128906841","https://openalex.org/W2135600671","https://openalex.org/W2138916465","https://openalex.org/W2139166386","https://openalex.org/W2139647326","https://openalex.org/W2145780031","https://openalex.org/W2146356111","https://openalex.org/W2146919633","https://openalex.org/W2152505375","https://openalex.org/W2162171351","https://openalex.org/W2166848921","https://openalex.org/W2168261040","https://openalex.org/W2170270083","https://openalex.org/W2418369043","https://openalex.org/W2912325086","https://openalex.org/W2951919284","https://openalex.org/W3088646839","https://openalex.org/W3167011080"],"related_works":["https://openalex.org/W7095877757","https://openalex.org/W7203472088","https://openalex.org/W4404783071","https://openalex.org/W2139647326","https://openalex.org/W2150244101","https://openalex.org/W2522385838","https://openalex.org/W3106704997","https://openalex.org/W4406991598","https://openalex.org/W4403536936","https://openalex.org/W7220376790"],"abstract_inverted_index":{"There":[0,79],"is":[1,80,100,149],"a":[2,81,175,262,302],"growing":[3,59,82],"interest":[4,60],"in":[5,14,35,49,61,73,84,242],"establishing":[6,62],"rules":[7,28,124,136],"to":[8,53,94,109,120,133,145,157,198,307],"regulate":[9],"the":[10,15,50,85,135,167,192,199,206,209,223,229,248,253,267,272,279,288,299,309,313],"privacy":[11,77,123,202],"of":[12,17,58,87,103,152,208,225,252,264,282,290,301],"citizens":[13],"treatment":[16],"sensitive":[18],"personal":[19],"data":[20],"such":[21],"as":[22],"medical":[23],"and":[24,44,63,70,125,162,171,174,177,183,188,204,233,236,250,278,293,297],"financial":[25],"records.":[26],"Such":[27],"must":[29,45],"be":[30,46],"respected":[31],"by":[32,211],"software":[33,51],"used":[34],"these":[36,115],"sectors.":[37],"The":[38],"regulatory":[39,122],"statements":[40],"are":[41,72,195,240],"somewhat":[42],"informal":[43],"interpreted":[47],"carefully":[48],"interface":[52],"private":[54],"data.":[55],"Another":[56],"issue":[57],"proving":[64],"that":[65,90,165],"enterprises,":[66],"their":[67,96],"products,":[68],"workflows,":[69],"services":[71],"compliance":[74,88,105],"with":[75,261],"relevant":[76],"legislation.":[78],"industy":[83],"creation":[86],"tools":[89],"help":[91],"enterprises":[92],"self-examine":[93],"determine":[95],"status,":[97],"but":[98],"there":[99],"little":[101],"formalization":[102,132],"what":[104],"means":[106],"or":[107],"how":[108,127,238],"check":[110],"for":[111,160,180,191,216,312],"it.":[112],"\r\nTo":[113],"address":[114],"issues,":[116],"we":[117,128,255,295],"present":[118],"techniques":[119],"formalize":[121],"show":[126,205,237,256],"can":[129],"exploit":[130],"this":[131],"analyze":[134],"automatically.":[137],"Our":[138],"formal":[139,172],"language,":[140,173],"Privacy":[141,147,217,244,270,276,284,305],"Commands":[142],"which":[143,194,219],"combine":[144],"form":[146],"APIs,":[148],"an":[150],"extension":[151],"classical":[153],"access":[154],"control":[155],"language":[156,193,210,254,311],"include":[158],"operations":[159],"notification":[161],"logging,":[163],"constructs":[164,187],"ease":[166],"mapping":[168,303],"between":[169],"legal":[170,201],"robust":[176],"expressive":[178],"system":[179],"expressing":[181],"references":[182],"constraints.":[184],"\r\nWe":[185],"develop":[186,296],"evaluation":[189,289],"mechanisms":[190],"specially":[196],"suited":[197],"modeling":[200],"policies":[203,265],"usefulness":[207],"developing":[212],"several":[213,257],"comparison":[214,294],"metrics":[215,230],"APIs":[218,306],"let":[220],"us":[221],"compare":[222],"permissiveness":[224],"policies.":[226],"We":[227],"call":[228],"strong":[231],"licensing":[232,235],"weak":[234],"they":[239],"useful":[241],"comparing":[243],"APIs.":[245],"To":[246,286],"validate":[247],"robustness":[249],"flexibility":[251],"involved":[258],"case":[259],"studies":[260],"variety":[263],"including":[266],"US":[268,273],"HIPAA":[269],"Rule,":[271],"Cable":[274],"TV":[275],"Act,":[277],"Insurance":[280],"Council":[281],"Australia's":[283],"Code.":[285],"automate":[287],"policy":[291],"properties":[292],"prove":[298],"correctness":[300],"from":[304],"Promela,":[308],"input":[310],"SPIN":[314],"model":[315],"checker.":[316]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}