{"id":"https://openalex.org/W1597215399","doi":"https://doi.org/10.1007/11937807_18","title":"A Practical Alternative to Domain and Type Enforcement Integrity Formal Models","display_name":"A Practical Alternative to Domain and Type Enforcement Integrity Formal Models","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W1597215399","doi":"https://doi.org/10.1007/11937807_18","mag":"1597215399"},"language":"en","primary_location":{"id":"doi:10.1007/11937807_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11937807_18","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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":null,"display_name":"Liuying Tang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liuying Tang","raw_affiliation_strings":["Engineering Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing, PRC","Engineering Research Center of Fundamental Software, Institute of Software, Chinese Academy of Science, Beijing, PRC","Graduate School of Chinese Academy of Sciences, Beijing, PRC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Engineering Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing, PRC","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Engineering Research Center of Fundamental Software, Institute of Software, Chinese Academy of Science, Beijing, PRC","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Graduate School of Chinese Academy of Sciences, Beijing, PRC","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041904371","display_name":"Sihan Qing","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sihan Qing","raw_affiliation_strings":["Engineering Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing, PRC","Graduate School of Chinese Academy of Sciences, Beijing, PRC","ZhongkeAnsheng Corporation of Information Technology, Beijing, PRC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Engineering Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing, PRC","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Graduate School of Chinese Academy of Sciences, Beijing, PRC","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"ZhongkeAnsheng Corporation of Information Technology, Beijing, PRC","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"225","last_page":"237"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"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/T10927","display_name":"Access Control and Trust","score":0.9997000098228455,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.779373824596405},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5666666030883789},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5488898158073425},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4896290898323059},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.48955926299095154},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.48746466636657715},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06538090109825134},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.06330826878547668}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.779373824596405},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5666666030883789},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5488898158073425},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4896290898323059},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.48955926299095154},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.48746466636657715},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06538090109825134},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.06330826878547668},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/11937807_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11937807_18","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5400000214576721,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W154231405","https://openalex.org/W157928049","https://openalex.org/W342293290","https://openalex.org/W1552008995","https://openalex.org/W1618548847","https://openalex.org/W1991953173","https://openalex.org/W2006123637","https://openalex.org/W2032131630","https://openalex.org/W2162022335","https://openalex.org/W6635881743"],"related_works":["https://openalex.org/W2357256365","https://openalex.org/W4226026301","https://openalex.org/W2348502264","https://openalex.org/W2365486383","https://openalex.org/W2362059367","https://openalex.org/W4360993851","https://openalex.org/W2901443725","https://openalex.org/W2350084742","https://openalex.org/W2099704814","https://openalex.org/W3046446793"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}