{"id":"https://openalex.org/W2117481890","doi":"https://doi.org/10.1109/ntms.2014.6814001","title":"A Reasoning System for Composition Verification and Security Validation","display_name":"A Reasoning System for Composition Verification and Security Validation","publication_year":2014,"publication_date":"2014-03-01","ids":{"openalex":"https://openalex.org/W2117481890","doi":"https://doi.org/10.1109/ntms.2014.6814001","mag":"2117481890"},"language":"en","primary_location":{"id":"doi:10.1109/ntms.2014.6814001","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ntms.2014.6814001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 6th International Conference on New Technologies, Mobility and Security (NTMS)","raw_type":"proceedings-article"},"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":"https://openalex.org/A5089546492","display_name":"George Hatzivasilis","orcid":null},"institutions":[{"id":"https://openalex.org/I55741626","display_name":"Technical University of Crete","ror":"https://ror.org/03f8bz564","country_code":"GR","type":"education","lineage":["https://openalex.org/I55741626"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"George Hatzivasilis","raw_affiliation_strings":["Dept. of Electronic & Computer Engineering, Technical University of Crete, Chania, Crete, Greece","Technical University of Crete, Chania, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Electronic & Computer Engineering, Technical University of Crete, Chania, Crete, Greece","institution_ids":["https://openalex.org/I55741626"]},{"raw_affiliation_string":"Technical University of Crete, Chania, Greece","institution_ids":["https://openalex.org/I55741626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032739499","display_name":"Ioannis Papaefstathiou","orcid":"https://orcid.org/0000-0001-6386-5616"},"institutions":[{"id":"https://openalex.org/I142617266","display_name":"University of Crete","ror":"https://ror.org/00dr28g20","country_code":"GR","type":"education","lineage":["https://openalex.org/I142617266"]},{"id":"https://openalex.org/I4210163356","display_name":"Crete University Press","ror":"https://ror.org/05fdghr47","country_code":"GR","type":"other","lineage":["https://openalex.org/I4210163356"]},{"id":"https://openalex.org/I55741626","display_name":"Technical University of Crete","ror":"https://ror.org/03f8bz564","country_code":"GR","type":"education","lineage":["https://openalex.org/I55741626"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Ioannis Papaefstathiou","raw_affiliation_strings":["Dept. of Electronic & Computer Engineering, Technical University of Crete, Chania, Crete, Greece","University of Crete, Rethymno, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Electronic & Computer Engineering, Technical University of Crete, Chania, Crete, Greece","institution_ids":["https://openalex.org/I55741626"]},{"raw_affiliation_string":"University of Crete, Rethymno, Greece","institution_ids":["https://openalex.org/I142617266","https://openalex.org/I4210163356"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106083747","display_name":"Charalampos Manifavas","orcid":null},"institutions":[{"id":"https://openalex.org/I28710699","display_name":"Hellenic Mediterranean University","ror":"https://ror.org/039ce0m20","country_code":"GR","type":"education","lineage":["https://openalex.org/I28710699"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Charalampos Manifavas","raw_affiliation_strings":["Dept. of Informatics Engineering, Technological Educational Institute of Crete, Heraklion, Crete, Greece","Hellenic Mediterranean University, Heraklion, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Informatics Engineering, Technological Educational Institute of Crete, Heraklion, Crete, Greece","institution_ids":["https://openalex.org/I28710699"]},{"raw_affiliation_string":"Hellenic Mediterranean University, Heraklion, Greece","institution_ids":["https://openalex.org/I28710699"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048367123","display_name":"Nikos Papadakis","orcid":"https://orcid.org/0000-0002-3640-1768"},"institutions":[{"id":"https://openalex.org/I28710699","display_name":"Hellenic Mediterranean University","ror":"https://ror.org/039ce0m20","country_code":"GR","type":"education","lineage":["https://openalex.org/I28710699"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Nikos Papadakis","raw_affiliation_strings":["Dept. of Informatics Engineering, Technological Educational Institute of Crete, Heraklion, Crete, Greece","Hellenic Mediterranean University, Heraklion, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Informatics Engineering, Technological Educational Institute of Crete, Heraklion, Crete, Greece","institution_ids":["https://openalex.org/I28710699"]},{"raw_affiliation_string":"Hellenic Mediterranean University, Heraklion, Greece","institution_ids":["https://openalex.org/I28710699"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6203,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.68696663,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"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.9990000128746033,"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.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9972000122070312,"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/semantic-reasoner","display_name":"Semantic reasoner","score":0.842492938041687},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8046774864196777},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5678930878639221},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.464111864566803},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45040422677993774},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.43976661562919617},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4379281997680664},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.43572402000427246},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4207516014575958},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38224098086357117},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12377625703811646},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.12083464860916138}],"concepts":[{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.842492938041687},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8046774864196777},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5678930878639221},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.464111864566803},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45040422677993774},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.43976661562919617},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4379281997680664},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.43572402000427246},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4207516014575958},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38224098086357117},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12377625703811646},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.12083464860916138},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ntms.2014.6814001","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ntms.2014.6814001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 6th International Conference on New Technologies, Mobility and Security (NTMS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W66449440","https://openalex.org/W1590752147","https://openalex.org/W1597908183","https://openalex.org/W1977802313","https://openalex.org/W1991305430","https://openalex.org/W2030790893","https://openalex.org/W2035050802","https://openalex.org/W2048759831","https://openalex.org/W2097744609","https://openalex.org/W2122385484","https://openalex.org/W2126034377","https://openalex.org/W2139826781","https://openalex.org/W2154567403","https://openalex.org/W2168183207","https://openalex.org/W2296621922","https://openalex.org/W4230920021"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2391979747","https://openalex.org/W2981877881","https://openalex.org/W2550448639","https://openalex.org/W1964135497"],"abstract_inverted_index":{"The":[0,70],"procedure":[1],"to":[2],"prove":[3],"that":[4],"a":[5,12,36,57,95],"system-of-systems":[6],"is":[7,11,49],"composable":[8],"and":[9,26,30,44,60,78,82,85,93,113,116,140],"secure":[10],"very":[13],"difficult":[14],"task.":[15],"Formal":[16],"methods":[17],"are":[18],"mathematically-based":[19],"techniques":[20],"used":[21],"for":[22,39,51,136],"the":[23,53,66,101,104,120,127,137,141],"specification,":[24],"development":[25],"verification":[27],"of":[28,56,80,97,134],"software":[29],"hardware":[31],"systems.":[32],"This":[33],"paper":[34],"presents":[35],"model-based":[37],"framework":[38,71,102,122],"dynamic":[40,58],"embedded":[41],"system":[42,59,91,106],"composition":[43,76,99],"security":[45,54,63,81,112],"evaluation.":[46],"Event":[47],"Calculus":[48],"applied":[50],"modeling":[52],"behavior":[55],"calculating":[61],"its":[62,111],"level":[64],"with":[65,131],"progress":[67],"in":[68,123],"time.":[69],"includes":[72],"two":[73],"main":[74],"functionalities:":[75],"validation":[77],"derivation":[79],"performance":[83,114],"metrics":[84,115],"properties.":[86,117],"Starting":[87],"from":[88],"an":[89,124,132],"initial":[90],"state":[92,107],"given":[94],"series":[96],"further":[98],"events,":[100],"derives":[103],"final":[105],"as":[108,110],"well":[109],"We":[118],"implement":[119],"proposed":[121],"epistemic":[125],"reasoner,":[126],"rule":[128],"engine":[129],"JESS":[130],"extension":[133],"DECKT":[135],"reasoning":[138],"process":[139],"JAVA":[142],"programming":[143],"language.":[144]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}