{"id":"https://openalex.org/W2058457645","doi":"https://doi.org/10.1145/1341312.1341320","title":"The Caernarvon secure embedded operating system","display_name":"The Caernarvon secure embedded operating system","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2058457645","doi":"https://doi.org/10.1145/1341312.1341320","mag":"2058457645"},"language":"en","primary_location":{"id":"doi:10.1145/1341312.1341320","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1341312.1341320","pdf_url":null,"source":{"id":"https://openalex.org/S50071195","display_name":"ACM SIGOPS Operating Systems Review","issn_l":"0163-5980","issn":["0163-5980","1943-586X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGOPS Operating Systems Review","raw_type":"journal-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/A5042675091","display_name":"David C. Toll","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"David C. Toll","raw_affiliation_strings":["IBM T. J. Watson Research Center, Yorktown Heights, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Yorktown Heights, NY","institution_ids":["https://openalex.org/I4210114115"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077672996","display_name":"Paul A. Karger","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul A. Karger","raw_affiliation_strings":["IBM T. J. Watson Research Center, Yorktown Heights, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Yorktown Heights, NY","institution_ids":["https://openalex.org/I4210114115"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045475364","display_name":"Elaine R. Palmer","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Elaine R. Palmer","raw_affiliation_strings":["IBM T. J. Watson Research Center, Yorktown Heights, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Yorktown Heights, NY","institution_ids":["https://openalex.org/I4210114115"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048803050","display_name":"Suzanne McIntosh","orcid":"https://orcid.org/0000-0001-9605-6743"},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Suzanne K. McIntosh","raw_affiliation_strings":["IBM T. J. Watson Research Center, Yorktown Heights, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Yorktown Heights, NY","institution_ids":["https://openalex.org/I4210114115"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110701470","display_name":"Sam Weber","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sam Weber","raw_affiliation_strings":["IBM T. J. Watson Research Center, Yorktown Heights, NY"],"affiliations":[{"raw_affiliation_string":"IBM T. J. Watson Research Center, Yorktown Heights, NY","institution_ids":["https://openalex.org/I4210114115"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5042675091"],"corresponding_institution_ids":["https://openalex.org/I4210114115"],"apc_list":null,"apc_paid":null,"fwci":5.1485,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.9506987,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"42","issue":"1","first_page":"32","last_page":"39"},"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.9984999895095825,"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.9984999895095825,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9926000237464905,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9925000071525574,"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.8307005167007446},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6274787187576294},{"id":"https://openalex.org/keywords/smart-card","display_name":"Smart card","score":0.6012696027755737},{"id":"https://openalex.org/keywords/upload","display_name":"Upload","score":0.5558828115463257},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.5240719318389893},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5124943256378174},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4861721396446228},{"id":"https://openalex.org/keywords/usb","display_name":"USB","score":0.47437435388565063},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.4621947407722473},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4199336767196655},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3559633493423462}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8307005167007446},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6274787187576294},{"id":"https://openalex.org/C110406131","wikidata":"https://www.wikidata.org/wiki/Q41349","display_name":"Smart card","level":2,"score":0.6012696027755737},{"id":"https://openalex.org/C71901391","wikidata":"https://www.wikidata.org/wiki/Q7126699","display_name":"Upload","level":2,"score":0.5558828115463257},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.5240719318389893},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5124943256378174},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4861721396446228},{"id":"https://openalex.org/C507366226","wikidata":"https://www.wikidata.org/wiki/Q42378","display_name":"USB","level":3,"score":0.47437435388565063},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.4621947407722473},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4199336767196655},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3559633493423462}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1341312.1341320","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1341312.1341320","pdf_url":null,"source":{"id":"https://openalex.org/S50071195","display_name":"ACM SIGOPS Operating Systems Review","issn_l":"0163-5980","issn":["0163-5980","1943-586X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGOPS Operating Systems Review","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W178668194","https://openalex.org/W1506423323","https://openalex.org/W1507330542","https://openalex.org/W1517058083","https://openalex.org/W1519539754","https://openalex.org/W1566322140","https://openalex.org/W1591707147","https://openalex.org/W1606635928","https://openalex.org/W1944362438","https://openalex.org/W1949661937","https://openalex.org/W2002768337","https://openalex.org/W2058347046","https://openalex.org/W2099353173","https://openalex.org/W2103444363","https://openalex.org/W2103741267","https://openalex.org/W2134296086","https://openalex.org/W2154909745","https://openalex.org/W2555147073","https://openalex.org/W2561675875","https://openalex.org/W4211095904","https://openalex.org/W4285719527","https://openalex.org/W4411129299","https://openalex.org/W6633882612","https://openalex.org/W6640866947","https://openalex.org/W7037098490"],"related_works":["https://openalex.org/W2360288732","https://openalex.org/W2379137242","https://openalex.org/W2758694247","https://openalex.org/W2356928735","https://openalex.org/W2367116219","https://openalex.org/W2382617248","https://openalex.org/W2063875171","https://openalex.org/W2386142251","https://openalex.org/W2393106355","https://openalex.org/W2364196019"],"abstract_inverted_index":{"The":[0,22,67,140,174,198],"Caernarvon":[1,68,108,159,175,199],"operating":[2,232],"system":[3,12,24,233],"was":[4,16,234],"developed":[5],"to":[6,28,55,82,89],"demonstrate":[7],"that":[8,150,182,220],"a":[9,122,163,178,202],"high":[10],"assurance":[11],"for":[13,133,193,205,230],"smart":[14,44,76,86,235],"cards":[15],"technically":[17],"feasible":[18],"and":[19,62,137,208,212],"commercially":[20],"viable.":[21],"entire":[23],"has":[25,70,183],"been":[26,184],"designed":[27],"be":[29,83,241],"evaluated":[30],"under":[31,187],"the":[32,37,50,57,60,74,84,102,107,114,158,170,188,215,218,227,231,237],"Common":[33,189],"Criteria":[34,190],"at":[35,191],"EAL7,":[36],"highest":[38],"defined":[39],"level":[40],"of":[41,73,93,113,121,147,153],"assurance.":[42,116],"Historically,":[43],"card":[45,77,87],"processors":[46,78],"have":[47],"not":[48],"supported":[49],"hardware":[51,103],"protection":[52,104],"features":[53,81],"necessary":[54],"separate":[56],"OS":[58,69,88,109,160,176,200],"from":[59,65],"applications,":[61],"one":[63],"application":[64,210],"another.":[66],"taken":[71],"advantage":[72],"first":[75,85],"with":[79,98,169,195,217],"such":[80,247],"provide":[90],"this":[91,156],"kind":[92],"protection.":[94],"Even":[95],"when":[96],"compared":[97],"conventional":[99],"systems":[100],"where":[101],"is":[105,110,151],"routine,":[106],"noteworthy,":[111],"because":[112],"EAL7":[115],"This":[117],"approach":[118],"facilitated":[119],"implementation":[120],"formally":[123],"specified,":[124],"mandatory":[125,141],"security":[126,130,142],"policy":[127,143],"providing":[128],"multi-level":[129],"(MLS)":[131],"suitable":[132],"both":[134],"government":[135],"agencies":[136],"commercial":[138],"users.":[139],"requires":[144],"effective":[145],"authentication":[146,166],"its":[148],"users":[149],"independent":[152],"applications.":[154],"For":[155],"reason,":[157],"also":[161,240],"contains":[162],"privacy-preserving,":[164],"two-way":[165],"protocol":[167],"integrated":[168],"Mandatory":[171],"Security":[172],"Policy.":[173],"includes":[177],"strong":[179],"cryptographic":[180],"library":[181],"separately":[185],"certified":[186],"EAL5+":[192],"use":[194],"other":[196,244],"systems.":[197],"implements":[201],"secure":[203],"method":[204],"downloading":[206],"trusted":[207],"untrusted":[209],"software":[211],"data":[213],"in":[214,243],"field,":[216],"assumption":[219],"all":[221],"applications":[222],"are":[223],"potentially":[224],"hostile.":[225],"While":[226],"initial":[228],"platform":[229],"cards,":[236],"design":[238],"could":[239],"used":[242],"embedded":[245],"devices,":[246],"as":[248],"USB":[249],"tokens,":[250],"PDAs,":[251],"cell":[252],"phones,":[253],"etc.":[254]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}