{"id":"https://openalex.org/W2099489721","doi":"https://doi.org/10.1109/csfw.1994.315948","title":"Formal semantics of rights and confidentiality in definite deductive databases","display_name":"Formal semantics of rights and confidentiality in definite deductive databases","publication_year":2002,"publication_date":"2002-12-17","ids":{"openalex":"https://openalex.org/W2099489721","doi":"https://doi.org/10.1109/csfw.1994.315948","mag":"2099489721"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/csfw.1994.315948","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5012907977","display_name":"Adrian Spalka","orcid":null},"institutions":[{"id":"https://openalex.org/I135140700","display_name":"University of Bonn","ror":"https://ror.org/041nas322","country_code":"DE","type":"education","lineage":["https://openalex.org/I135140700"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"A. Spalka","raw_affiliation_strings":["Dept. of Comput. Sci. III, Bonn Univ., Germany"],"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci. III, Bonn Univ., Germany","institution_ids":["https://openalex.org/I135140700"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012907977"],"corresponding_institution_ids":["https://openalex.org/I135140700"],"apc_list":null,"apc_paid":null,"fwci":0.323,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":3,"citation_normalized_percentile":{"value":0.357628,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":68,"max":71},"biblio":{"volume":null,"issue":null,"first_page":"47","last_page":"58"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9999,"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.9999,"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/T10237","display_name":"Cryptography and Data Security","score":0.9993,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9992,"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/predicate","display_name":"Predicate (mathematical logic)","score":0.43758902}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.70698804},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.6968253},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.60870284},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.52823824},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.45346415},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.43758902},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28227678},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.17606911}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/csfw.1994.315948","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.81}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":14,"referenced_works":["https://openalex.org/W1483873709","https://openalex.org/W1484856518","https://openalex.org/W1555520839","https://openalex.org/W1556445145","https://openalex.org/W1581733711","https://openalex.org/W202688656","https://openalex.org/W2092842298","https://openalex.org/W2109941026","https://openalex.org/W2134656662","https://openalex.org/W2138931076","https://openalex.org/W2143049370","https://openalex.org/W2174103411","https://openalex.org/W2180330221","https://openalex.org/W4214822942"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2935909890","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W2091483479","https://openalex.org/W1531601525"],"abstract_inverted_index":{"We":[0,20,62,96],"present":[1],"a":[2,16,25,36,41,58,83,141,146],"new":[3,100],"approach":[4,175],"to":[5,91,106,117],"the":[6,22,29,50,68,78,118,122,135,166,169,183],"definition":[7],"of":[8,24,31,44,52,57,70,103,138,149,168],"confidentiality":[9,73],"in":[10,121,165,182],"databases.":[11],"It":[12],"distinguishes":[13],"itself":[14],"by":[15,112],"well-founded":[17],"formal":[18,101],"semantics.":[19,80],"investigate":[21],"semantics":[23],"database":[26,37,60,79],"consequent":[27],"upon":[28],"introduction":[30,69],"users":[32],"and":[33,55,72,129,157,179],"rights.":[34],"Regarding":[35],"with":[38],"rights":[39,71],"as":[40],"proper":[42],"extension":[43],"an":[45],"open":[46],"database,":[47],"we":[48],"define":[49],"notion":[51],"global":[53],"validity":[54],"that":[56,67],"personal":[59],"profile.":[61],"identify":[63],"conditions":[64],"which":[65,108],"guarantee":[66],"requirements":[74],"does":[75],"not":[76],"affect":[77],"To":[81],"create":[82],"more":[84],"realistic":[85],"situation,":[86],"each":[87],"user":[88,142],"is":[89,176],"assumed":[90],"have":[92,109],"his":[93],"own":[94],"knowledge.":[95],"then":[97],"give":[98],"four":[99],"definitions":[102],"confidentiality,":[104],"(G1)":[105,151],"(G4),":[107],"been":[110],"motivated":[111],"real-life":[113],"situations.":[114],"They":[115],"correspond":[116],"information":[119,140],"contained":[120],"informal":[123],"answers":[124],"'Maybe',":[125],"'No',":[126],"'Don't":[127,130],"know'":[128],"understand'":[131],"i.e.,":[132],"they":[133],"capture":[134],"various":[136],"degrees":[137],"implicit":[139],"may":[143],"obtain":[144],"on":[145,161],"secret.":[147],"Three":[148],"them,":[150],"for":[152,155,159],"indefinite,":[153],"(G2)":[154],"negative,":[156],"(G4)":[158],"zero-knowledge":[160],"secrets,":[162],"prove":[163],"relevant":[164],"presence":[167],"Closed":[170],"World":[171],"Assumption.":[172],"The":[173],"presented":[174],"theoretically":[177],"sound":[178],"completely":[180],"embodied":[181],"standard":[184],"predicate":[185],"logic.<":[186],">":[189]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2099489721","counts_by_year":[],"updated_date":"2024-12-10T11:41:01.467018","created_date":"2016-06-24"}