{"id":"https://openalex.org/W1756950092","doi":null,"title":"Formalising key distribution in the presence of trust using object-Z","display_name":"Formalising key distribution in the presence of trust using object-Z","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W1756950092","mag":"1756950092"},"language":"en","primary_location":{"id":"mag:1756950092","doi":null,"is_oa":false,"landing_page_url":"http://crpit.com/confpapers/CRPITV21ALong.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","is_traditional":true,"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/A5041555131","display_name":"Benjamin Long","orcid":"https://orcid.org/0000-0002-4340-7674","observed_orcids":["https://orcid.org/0000-0002-4340-7674"]},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"The University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Benjamin Long","raw_affiliation_strings":["Software Verification Research Centre, The University of Queensland, Brisbane QLD"],"raw_orcid":"https://orcid.org/0000-0002-4340-7674","affiliations":[{"raw_affiliation_string":"Software Verification Research Centre, The University of Queensland, Brisbane QLD","institution_ids":["https://openalex.org/I165143802"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041555131"],"corresponding_institution_ids":["https://openalex.org/I165143802"],"apc_list":null,"apc_paid":null,"fwci":0.3972,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.7660602,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":null,"first_page":"59","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.5723000168800354,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.5723000168800354,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.3718000054359436,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10237","display_name":"Cryptography and Data Security","score":0.015799999237060547,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/key-distribution","display_name":"key distribution","score":1.0},{"id":"https://openalex.org/keywords/trust-administration","display_name":"trust management","score":0.9919999837875366},{"id":"https://openalex.org/keywords/object-z","display_name":"Object-Z","score":0.8949999809265137},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.8009999990463257},{"id":"https://openalex.org/keywords/inheritance-object-oriented-programming","display_name":"inheritance (object-oriented programming)","score":0.7689999938011169},{"id":"https://openalex.org/keywords/pretty-good-privacy","display_name":"Pretty Good Privacy","score":0.9330000281333923},{"id":"https://openalex.org/keywords/internet-security","display_name":"internet security","score":0.8370000123977661},{"id":"https://openalex.org/keywords/general-model","display_name":"generic model","score":0.47699999809265137}],"concepts":[{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6717984676361084},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6393543481826782},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6085193157196045},{"id":"https://openalex.org/C160333310","wikidata":"https://www.wikidata.org/wiki/Q6398153","display_name":"Key distribution","level":4,"score":0.6081371307373047},{"id":"https://openalex.org/C160521178","wikidata":"https://www.wikidata.org/wiki/Q5157345","display_name":"Computational trust","level":3,"score":0.49541938304901123},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.4944887161254883},{"id":"https://openalex.org/C154800190","wikidata":"https://www.wikidata.org/wiki/Q16941470","display_name":"Trust anchor","level":4,"score":0.4874885082244873},{"id":"https://openalex.org/C157424077","wikidata":"https://www.wikidata.org/wiki/Q1928707","display_name":"Web of trust","level":4,"score":0.48506322503089905},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4742140769958496},{"id":"https://openalex.org/C17886624","wikidata":"https://www.wikidata.org/wiki/Q1320561","display_name":"Key management","level":3,"score":0.4465812146663666},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.44380122423171997},{"id":"https://openalex.org/C2776384856","wikidata":"https://www.wikidata.org/wiki/Q17145767","display_name":"Trust management (information system)","level":2,"score":0.4354536831378937},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.39573174715042114},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.2360641360282898},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.228101909160614},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2174270749092102},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13052019476890564},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.10095348954200745},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.09566116333007812},{"id":"https://openalex.org/C48798503","wikidata":"https://www.wikidata.org/wiki/Q877546","display_name":"Reputation","level":2,"score":0.06558462977409363},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.061138272285461426},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:1756950092","doi":null,"is_oa":false,"landing_page_url":"http://crpit.com/confpapers/CRPITV21ALong.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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W89672345","https://openalex.org/W166064214","https://openalex.org/W1502051745","https://openalex.org/W1505128236","https://openalex.org/W1529212376","https://openalex.org/W1550141493","https://openalex.org/W1554762633","https://openalex.org/W1590686765","https://openalex.org/W1799159171","https://openalex.org/W1819010326","https://openalex.org/W2003647955","https://openalex.org/W2003719768","https://openalex.org/W2084044852","https://openalex.org/W2091062094","https://openalex.org/W2106310723","https://openalex.org/W2106808815","https://openalex.org/W2122935791","https://openalex.org/W2144794336","https://openalex.org/W2157034822","https://openalex.org/W2160308108"],"related_works":["https://openalex.org/W85704770","https://openalex.org/W3002866568","https://openalex.org/W51391897","https://openalex.org/W7020155062","https://openalex.org/W7100858122","https://openalex.org/W2386584474","https://openalex.org/W7097244521","https://openalex.org/W3152146544","https://openalex.org/W7096174676","https://openalex.org/W2103253166"],"abstract_inverted_index":{"Key":[0],"distribution":[1,23,42,65],"and":[2,16,43,48],"trust":[3,28,46],"management":[4],"are":[5,17],"two":[6,32],"areas":[7],"of":[8,13,27,63,69],"interest":[9],"in":[10,24,66],"the":[11,25,36,52,67],"world":[12],"internet":[14],"security":[15],"often":[18],"merged":[19],"to":[20,59],"provide":[21],"key":[22,41,64],"presence":[26,68],"relationships.":[29],"We":[30,71],"present":[31],"generic":[33],"models":[34,53,62],"using":[35],"Object-Z":[37],"formalism,":[38],"one":[39],"for":[40,45],"another":[44],"management,":[47],"we":[49],"show":[50],"how":[51],"can":[54],"be":[55],"combined":[56],"via":[57],"inheritance":[58],"produce":[60],"concise":[61],"trust.":[70],"use":[72],"Pretty":[73],"Good":[74],"Privacy":[75],"as":[76],"a":[77],"specific":[78],"example.":[79]},"counts_by_year":[],"updated_date":"2026-10-03T13:16:28.481748","created_date":"2016-06-24T00:00:00"}