{"id":"https://openalex.org/W2617785199","doi":"https://doi.org/10.1145/3078861.3078873","title":"Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures","display_name":"Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures","publication_year":2017,"publication_date":"2017-05-31","ids":{"openalex":"https://openalex.org/W2617785199","doi":"https://doi.org/10.1145/3078861.3078873","mag":"2617785199"},"language":"en","primary_location":{"id":"doi:10.1145/3078861.3078873","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3078861.3078873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"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/A5065671802","display_name":"Claiborne Johnson","orcid":null},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Claiborne Johnson","raw_affiliation_strings":["University of Texas at San Antonio, San Antonio, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, San Antonio, TX, USA","institution_ids":["https://openalex.org/I45438204"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033936083","display_name":"Thomas MacGahan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099672","display_name":"Accenture (United States)","ror":"https://ror.org/013g16z83","country_code":"US","type":"company","lineage":["https://openalex.org/I4210093804","https://openalex.org/I4210099672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Thomas MacGahan","raw_affiliation_strings":["Accenture Federal Services, Arlington, VA, USA"],"affiliations":[{"raw_affiliation_string":"Accenture Federal Services, Arlington, VA, USA","institution_ids":["https://openalex.org/I4210099672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103039077","display_name":"John Heaps","orcid":"https://orcid.org/0000-0002-4038-4278"},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Heaps","raw_affiliation_strings":["University of Texas at San Antonio, San Antonio, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, San Antonio, TX, USA","institution_ids":["https://openalex.org/I45438204"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082318518","display_name":"Kevin Baldor","orcid":null},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Baldor","raw_affiliation_strings":["University of Texas at San Antonio, San Antonio, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, San Antonio, TX, USA","institution_ids":["https://openalex.org/I45438204"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036156102","display_name":"Jeffery von Ronne","orcid":"https://orcid.org/0000-0002-6575-196X"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffery von Ronne","raw_affiliation_strings":["University of Texas at San Antonio & Google, Inc., San Antonio, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio & Google, Inc., San Antonio, TX, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103041668","display_name":"Jianwei Niu","orcid":"https://orcid.org/0000-0002-5667-3285"},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jianwei Niu","raw_affiliation_strings":["University of Texas at San Antonio, San Antonio, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, San Antonio, TX, USA","institution_ids":["https://openalex.org/I45438204"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5065671802"],"corresponding_institution_ids":["https://openalex.org/I45438204"],"apc_list":null,"apc_paid":null,"fwci":0.7129,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.80658804,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"167","last_page":"178"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9984999895095825,"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.9984999895095825,"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.998199999332428,"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/T11424","display_name":"Security and Verification in Computing","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.8203943967819214},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8006291389465332},{"id":"https://openalex.org/keywords/health-insurance-portability-and-accountability-act","display_name":"Health Insurance Portability and Accountability Act","score":0.706100583076477},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.556073784828186},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5541735887527466},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4887573719024658},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4224264621734619},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3557296395301819},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.22026053071022034},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1533130407333374}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.8203943967819214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8006291389465332},{"id":"https://openalex.org/C2778306010","wikidata":"https://www.wikidata.org/wiki/Q606563","display_name":"Health Insurance Portability and Accountability Act","level":3,"score":0.706100583076477},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.556073784828186},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5541735887527466},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4887573719024658},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4224264621734619},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3557296395301819},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.22026053071022034},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1533130407333374},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3078861.3078873","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3078861.3078873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G5986301172","display_name":null,"funder_award_id":"CNS-0964710","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W645877529","https://openalex.org/W1499405354","https://openalex.org/W1574561446","https://openalex.org/W1903917666","https://openalex.org/W1984478483","https://openalex.org/W1985929316","https://openalex.org/W2001219520","https://openalex.org/W2001289891","https://openalex.org/W2023083005","https://openalex.org/W2023808162","https://openalex.org/W2036910349","https://openalex.org/W2051054731","https://openalex.org/W2056224542","https://openalex.org/W2066266646","https://openalex.org/W2098830227","https://openalex.org/W2101623441","https://openalex.org/W2107930672","https://openalex.org/W2118962824","https://openalex.org/W2131064738","https://openalex.org/W2132334337","https://openalex.org/W2157598146","https://openalex.org/W2159817467","https://openalex.org/W2168884369","https://openalex.org/W2619824381","https://openalex.org/W3193531217","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W107105315","https://openalex.org/W1584537303","https://openalex.org/W4388155270","https://openalex.org/W1872724644","https://openalex.org/W4367156293","https://openalex.org/W2750549761","https://openalex.org/W2355730523","https://openalex.org/W4301229064","https://openalex.org/W4243376815","https://openalex.org/W173181243"],"abstract_inverted_index":{"Many":[0],"organizations":[1,20],"process":[2],"personal":[3,40],"information":[4,15,41,76],"in":[5,45,131],"the":[6,49,81,84,138,141],"course":[7],"of":[8,13,39,61,83,122,140,158],"normal":[9],"operations.":[10],"Improper":[11],"disclosure":[12],"this":[14,105],"can":[16,96],"be":[17,43,97],"damaging,":[18],"so":[19],"must":[21,42,57],"obey":[22],"privacy":[23,101],"laws":[24],"and":[25,73,109,125,150,161],"regulations":[26],"that":[27,95,137],"impose":[28],"restrictions":[29],"on":[30],"its":[31],"release":[32],"or":[33],"risk":[34],"penalties.":[35],"Since":[36],"electronic":[37],"management":[38],"held":[44],"strict":[46],"compliance":[47],"with":[48],"law,":[50],"software":[51],"systems":[52,94],"designed":[53],"for":[54,71,92],"such":[55],"purposes":[56],"have":[58],"some":[59],"guarantee":[60],"compliance.":[62],"To":[63],"support":[64],"this,":[65],"we":[66],"develop":[67],"a":[68,90,111,120,145,156],"general":[69],"methodology":[70],"designing":[72],"implementing":[74],"verifiable":[75],"systems.":[77],"This":[78],"paper":[79],"develops":[80],"design":[82],"History":[85],"Aware":[86],"Programming":[87],"Language":[88],"into":[89],"framework":[91,106],"creating":[93],"mechanically":[98],"checked":[99],"against":[100],"specifications.":[102],"We":[103,134],"apply":[104],"to":[107],"create":[108],"verify":[110],"prototypical":[112],"Electronic":[113],"Medical":[114],"Record":[115],"System":[116],"(EMRS)":[117],"expressed":[118],"as":[119],"set":[121],"actor":[123],"components":[124],"first-order":[126],"linear":[127],"temporal":[128],"logic":[129],"specifications":[130],"assume-guarantee":[132],"form.":[133],"then":[135],"show":[136],"implementation":[139],"EMRS":[142],"provably":[143],"enforces":[144],"formalized":[146],"Health":[147],"Insurance":[148],"Portability":[149],"Accountability":[151],"Act":[152],"(HIPAA)":[153],"policy":[154],"using":[155],"combination":[157],"model":[159],"checking":[160],"static":[162],"analysis":[163],"techniques.":[164]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}