{"id":"https://openalex.org/W100923968","doi":"https://doi.org/10.1007/978-3-319-10975-6_15","title":"Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices","display_name":"Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W100923968","doi":"https://doi.org/10.1007/978-3-319-10975-6_15","mag":"100923968"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-10975-6_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-10975-6_15","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":"https://inria.hal.science/hal-01403995","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002944317","display_name":"Vasily Desnitsky","orcid":"https://orcid.org/0000-0002-3748-5414"},"institutions":[{"id":"https://openalex.org/I4210103826","display_name":"St. Petersburg Institute for Informatics and Automation","ror":"https://ror.org/01ccb9w37","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210097085","https://openalex.org/I4210103826"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Vasily Desnitsky","raw_affiliation_strings":["Laboratory of Computer Security Problems, St. Petersburg Institute for Informatics and Automation (SPIIRAS), 39, 14 Linija, St. Petersburg, Russia","SPIIRAS  - Science of St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (39, 14 Line, St.Petersburg, 199178, Russia - Russia)"],"affiliations":[{"raw_affiliation_string":"Laboratory of Computer Security Problems, St. Petersburg Institute for Informatics and Automation (SPIIRAS), 39, 14 Linija, St. Petersburg, Russia","institution_ids":["https://openalex.org/I4210103826"]},{"raw_affiliation_string":"SPIIRAS  - Science of St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (39, 14 Line, St.Petersburg, 199178, Russia - Russia)","institution_ids":["https://openalex.org/I4210103826"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033986640","display_name":"Igor Kotenko","orcid":"https://orcid.org/0000-0001-6859-7120"},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]},{"id":"https://openalex.org/I4210167408","display_name":"Saint-Petersburg State University Information Technologies, Mechanic and Optics","ror":"https://ror.org/029c86w95","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210167408"]},{"id":"https://openalex.org/I4210103826","display_name":"St. Petersburg Institute for Informatics and Automation","ror":"https://ror.org/01ccb9w37","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210097085","https://openalex.org/I4210103826"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Igor Kotenko","raw_affiliation_strings":["Laboratory of Computer Security Problems, St. Petersburg Institute for Informatics and Automation (SPIIRAS), 39, 14 Linija, St. Petersburg, Russia","Mechanics and Optics, St. Petersburg National Research University of Information Technologies, 49, Kronverkskiy prospekt, Saint-Petersburg, Russia","SPIIRAS  - Science of St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (39, 14 Line, St.Petersburg, 199178, Russia - Russia)","ITMO - National Research University of Information Technologies, Mechanics and Optics [St. Petersburg] (St. Petersburg 197101 - Russia)"],"affiliations":[{"raw_affiliation_string":"Laboratory of Computer Security Problems, St. Petersburg Institute for Informatics and Automation (SPIIRAS), 39, 14 Linija, St. Petersburg, Russia","institution_ids":["https://openalex.org/I4210103826"]},{"raw_affiliation_string":"Mechanics and Optics, St. Petersburg National Research University of Information Technologies, 49, Kronverkskiy prospekt, Saint-Petersburg, Russia","institution_ids":["https://openalex.org/I4210167408","https://openalex.org/I173089394"]},{"raw_affiliation_string":"SPIIRAS  - Science of St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (39, 14 Line, St.Petersburg, 199178, Russia - Russia)","institution_ids":["https://openalex.org/I4210103826"]},{"raw_affiliation_string":"ITMO - National Research University of Information Technologies, Mechanics and Optics [St. Petersburg] (St. Petersburg 197101 - Russia)","institution_ids":["https://openalex.org/I173089394"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5002944317"],"corresponding_institution_ids":["https://openalex.org/I4210103826"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.4506,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.81511606,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"194","last_page":"210"},"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.9991000294685364,"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.9991000294685364,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8655551671981812},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.6585752964019775},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6074000597000122},{"id":"https://openalex.org/keywords/resource-consumption","display_name":"Resource consumption","score":0.5460101366043091},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.45843228697776794},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.45132580399513245},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3656367063522339},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18356159329414368},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.07246968150138855}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8655551671981812},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.6585752964019775},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6074000597000122},{"id":"https://openalex.org/C2777480716","wikidata":"https://www.wikidata.org/wiki/Q23582796","display_name":"Resource consumption","level":2,"score":0.5460101366043091},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45843228697776794},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.45132580399513245},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3656367063522339},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18356159329414368},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.07246968150138855},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-10975-6_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-10975-6_15","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:HAL:hal-01403995v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01403995","pdf_url":null,"source":{"id":"https://openalex.org/S4406922276","display_name":"INRIA a CCSD electronic archive server","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.194-210, ⟨10.1007/978-3-319-10975-6_15⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01403995v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01403995","pdf_url":null,"source":{"id":"https://openalex.org/S4406922276","display_name":"INRIA a CCSD electronic archive server","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.194-210, ⟨10.1007/978-3-319-10975-6_15⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W25263107","https://openalex.org/W30964370","https://openalex.org/W39886532","https://openalex.org/W1533121042","https://openalex.org/W1561981118","https://openalex.org/W1563937974","https://openalex.org/W1846919312","https://openalex.org/W1899108175","https://openalex.org/W1966823303","https://openalex.org/W1968195039","https://openalex.org/W1981737703","https://openalex.org/W2007619947","https://openalex.org/W2015843031","https://openalex.org/W2020893644","https://openalex.org/W2031161583","https://openalex.org/W2045440241","https://openalex.org/W2054546630","https://openalex.org/W2065920466","https://openalex.org/W2092535146","https://openalex.org/W2100450800","https://openalex.org/W2109673240","https://openalex.org/W2110412127","https://openalex.org/W2113183909","https://openalex.org/W2120562931","https://openalex.org/W2121185760","https://openalex.org/W2125440918","https://openalex.org/W2136099723","https://openalex.org/W2142348121","https://openalex.org/W2143629738","https://openalex.org/W2149209089","https://openalex.org/W2171966296","https://openalex.org/W2534459986","https://openalex.org/W2542449796","https://openalex.org/W2542530597"],"related_works":["https://openalex.org/W4251394462","https://openalex.org/W1580673008","https://openalex.org/W1510936208","https://openalex.org/W2486167009","https://openalex.org/W1595575899","https://openalex.org/W756498608","https://openalex.org/W3110566556","https://openalex.org/W2390696548","https://openalex.org/W2357547128","https://openalex.org/W4236030930"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}