{"id":"https:\/\/openalex.org\/W165420698","doi":"https:\/\/doi.org\/10.1007\/978-3-319-06410-9_8","title":"TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms","display_name":"TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https:\/\/openalex.org\/W165420698","doi":"https:\/\/doi.org\/10.1007\/978-3-319-06410-9_8","mag":"165420698"},"language":"en","primary_location":{"id":"doi:10.1007\/978-3-319-06410-9_8","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1007\/978-3-319-06410-9_8","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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http:\/\/hdl.handle.net\/10072\/411921","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https:\/\/openalex.org\/A5015858067","display_name":"Guangdong Bai","orcid":"https:\/\/orcid.org\/0000-0002-6390-9890"},"institutions":[{"id":"https:\/\/openalex.org\/I165932596","display_name":"National University of Singapore","ror":"https:\/\/ror.org\/01tgyzw49","country_code":"SG","type":"education","lineage":["https:\/\/openalex.org\/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Guangdong Bai","raw_affiliation_strings":["National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore","institution_ids":["https:\/\/openalex.org\/I165932596"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5022440718","display_name":"Jianan Hao","orcid":null},"institutions":[{"id":"https:\/\/openalex.org\/I172675005","display_name":"Nanyang Technological University","ror":"https:\/\/ror.org\/02e7b5302","country_code":"SG","type":"education","lineage":["https:\/\/openalex.org\/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jianan Hao","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https:\/\/openalex.org\/I172675005"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5101102768","display_name":"Jianliang Wu","orcid":null},"institutions":[{"id":"https:\/\/openalex.org\/I154099455","display_name":"Shandong University","ror":"https:\/\/ror.org\/0207yh398","country_code":"CN","type":"education","lineage":["https:\/\/openalex.org\/I154099455"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianliang Wu","raw_affiliation_strings":["Shandong University, China"],"affiliations":[{"raw_affiliation_string":"Shandong University, China","institution_ids":["https:\/\/openalex.org\/I154099455"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5100355692","display_name":"Yang Liu","orcid":"https:\/\/orcid.org\/0000-0001-7300-9215"},"institutions":[{"id":"https:\/\/openalex.org\/I172675005","display_name":"Nanyang Technological University","ror":"https:\/\/ror.org\/02e7b5302","country_code":"SG","type":"education","lineage":["https:\/\/openalex.org\/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yang Liu","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https:\/\/openalex.org\/I172675005"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5084611756","display_name":"Zhenkai Liang","orcid":"https:\/\/orcid.org\/0000-0001-7138-5030"},"institutions":[{"id":"https:\/\/openalex.org\/I165932596","display_name":"National University of Singapore","ror":"https:\/\/ror.org\/01tgyzw49","country_code":"SG","type":"education","lineage":["https:\/\/openalex.org\/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Zhenkai Liang","raw_affiliation_strings":["National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore","institution_ids":["https:\/\/openalex.org\/I165932596"]}]},{"author_position":"last","author":{"id":"https:\/\/openalex.org\/A5087547134","display_name":"Andrew Martin","orcid":"https:\/\/orcid.org\/0000-0002-8236-980X"},"institutions":[{"id":"https:\/\/openalex.org\/I40120149","display_name":"University of Oxford","ror":"https:\/\/ror.org\/052gg0110","country_code":"GB","type":"education","lineage":["https:\/\/openalex.org\/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andrew Martin","raw_affiliation_strings":["University of Oxford, UK"],"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https:\/\/openalex.org\/I40120149"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https:\/\/openalex.org\/A5015858067"],"corresponding_institution_ids":["https:\/\/openalex.org\/I165932596"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.8119,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.85047899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"110","last_page":"126"},"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.9995999932289124,"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.9995999932289124,"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.9912999868392944,"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\/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9713000059127808,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1711","display_name":"Signal Processing"},"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.8580081462860107},{"id":"https:\/\/openalex.org\/keywords\/direct-anonymous-attestation","display_name":"Direct Anonymous Attestation","score":0.7660499811172485},{"id":"https:\/\/openalex.org\/keywords\/trusted-computing","display_name":"Trusted Computing","score":0.7284484505653381},{"id":"https:\/\/openalex.org\/keywords\/model-checking","display_name":"Model checking","score":0.6913498640060425},{"id":"https:\/\/openalex.org\/keywords\/trusted-network-connect","display_name":"Trusted Network Connect","score":0.639600396156311},{"id":"https:\/\/openalex.org\/keywords\/confidentiality","display_name":"Confidentiality","score":0.5480142831802368},{"id":"https:\/\/openalex.org\/keywords\/computer-security","display_name":"Computer security","score":0.5234819650650024},{"id":"https:\/\/openalex.org\/keywords\/trusted-platform-module","display_name":"Trusted Platform Module","score":0.49204179644584656},{"id":"https:\/\/openalex.org\/keywords\/formal-methods","display_name":"Formal methods","score":0.44754165410995483},{"id":"https:\/\/openalex.org\/keywords\/formal-verification","display_name":"Formal verification","score":0.4459029734134674},{"id":"https:\/\/openalex.org\/keywords\/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37119895219802856},{"id":"https:\/\/openalex.org\/keywords\/software-engineering","display_name":"Software engineering","score":0.27055418491363525}],"concepts":[{"id":"https:\/\/openalex.org\/C41008148","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q21198","display_name":"Computer science","level":0,"score":0.8580081462860107},{"id":"https:\/\/openalex.org\/C169796023","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q3708936","display_name":"Direct Anonymous Attestation","level":3,"score":0.7660499811172485},{"id":"https:\/\/openalex.org\/C2776831232","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q966812","display_name":"Trusted Computing","level":2,"score":0.7284484505653381},{"id":"https:\/\/openalex.org\/C110251889","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1569697","display_name":"Model checking","level":2,"score":0.6913498640060425},{"id":"https:\/\/openalex.org\/C206149592","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q3999882","display_name":"Trusted Network Connect","level":3,"score":0.639600396156311},{"id":"https:\/\/openalex.org\/C71745522","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2476929","display_name":"Confidentiality","level":2,"score":0.5480142831802368},{"id":"https:\/\/openalex.org\/C38652104","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q3510521","display_name":"Computer security","level":1,"score":0.5234819650650024},{"id":"https:\/\/openalex.org\/C202775310","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1140366","display_name":"Trusted Platform Module","level":2,"score":0.49204179644584656},{"id":"https:\/\/openalex.org\/C75606506","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1049183","display_name":"Formal methods","level":2,"score":0.44754165410995483},{"id":"https:\/\/openalex.org\/C111498074","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q173326","display_name":"Formal verification","level":2,"score":0.4459029734134674},{"id":"https:\/\/openalex.org\/C80444323","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37119895219802856},{"id":"https:\/\/openalex.org\/C115903868","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q80993","display_name":"Software engineering","level":1,"score":0.27055418491363525}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007\/978-3-319-06410-9_8","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1007\/978-3-319-06410-9_8","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"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635\/123999","is_oa":false,"landing_page_url":"http:\/\/scholarbank.nus.edu.sg\/handle\/10635\/123999","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Conference Paper"},{"id":"pmh:oai:research-repository.griffith.edu.au:10072\/411921","is_oa":true,"landing_page_url":"http:\/\/hdl.handle.net\/10072\/411921","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S4306402548","display_name":"Griffith Research Online (Griffith University, Queensland, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https:\/\/openalex.org\/I11701301","host_organization_name":"Griffith University","host_organization_lineage":["https:\/\/openalex.org\/I11701301"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https:\/\/openalex.org\/licenses\/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference output"}],"best_oa_location":{"id":"pmh:oai:research-repository.griffith.edu.au:10072\/411921","is_oa":true,"landing_page_url":"http:\/\/hdl.handle.net\/10072\/411921","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S4306402548","display_name":"Griffith Research Online (Griffith University, Queensland, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https:\/\/openalex.org\/I11701301","host_organization_name":"Griffith University","host_organization_lineage":["https:\/\/openalex.org\/I11701301"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https:\/\/openalex.org\/licenses\/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference output"},"sustainable_development_goals":[{"score":0.6800000071525574,"id":"https:\/\/metadata.un.org\/sdg\/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https:\/\/openalex.org\/W77485802","https:\/\/openalex.org\/W100821549","https:\/\/openalex.org\/W585554143","https:\/\/openalex.org\/W1496367962","https:\/\/openalex.org\/W1502610071","https:\/\/openalex.org\/W1504669610","https:\/\/openalex.org\/W1515421996","https:\/\/openalex.org\/W1532236297","https:\/\/openalex.org\/W1562901937","https:\/\/openalex.org\/W1583282080","https:\/\/openalex.org\/W1594255645","https:\/\/openalex.org\/W1595155556","https:\/\/openalex.org\/W1729172517","https:\/\/openalex.org\/W1748095088","https:\/\/openalex.org\/W1959791580","https:\/\/openalex.org\/W1967075899","https:\/\/openalex.org\/W1992723624","https:\/\/openalex.org\/W1994676271","https:\/\/openalex.org\/W2010350305","https:\/\/openalex.org\/W2010939995","https:\/\/openalex.org\/W2029693536","https:\/\/openalex.org\/W2100683351","https:\/\/openalex.org\/W2103131117","https:\/\/openalex.org\/W2104130981","https:\/\/openalex.org\/W2114189125","https:\/\/openalex.org\/W2129901874","https:\/\/openalex.org\/W2147669587","https:\/\/openalex.org\/W2154141931","https:\/\/openalex.org\/W2167804035","https:\/\/openalex.org\/W2612534041","https:\/\/openalex.org\/W2774510177","https:\/\/openalex.org\/W3047310265","https:\/\/openalex.org\/W3159816999","https:\/\/openalex.org\/W4235202118"],"related_works":["https:\/\/openalex.org\/W2355956995","https:\/\/openalex.org\/W2372678089","https:\/\/openalex.org\/W104943326","https:\/\/openalex.org\/W2381474365","https:\/\/openalex.org\/W2354645290","https:\/\/openalex.org\/W2390768934","https:\/\/openalex.org\/W2389819096","https:\/\/openalex.org\/W2001281341","https:\/\/openalex.org\/W2371948564","https:\/\/openalex.org\/W2383968738"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}