{"id":"https://openalex.org/W7225785356","doi":"https://doi.org/10.23939/csn2026.02.261","title":"DYNAMIC MULTILAYER MODEL M_OSI(T) WITH CROSS-LAYER CONTRACTS AND COMPOSITIONAL CYBER-RESILIENCE PROPERTIES","display_name":"DYNAMIC MULTILAYER MODEL M_OSI(T) WITH CROSS-LAYER CONTRACTS AND COMPOSITIONAL CYBER-RESILIENCE PROPERTIES","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225785356","doi":"https://doi.org/10.23939/csn2026.02.261"},"language":"en","primary_location":{"id":"doi:10.23939/csn2026.02.261","doi":"https://doi.org/10.23939/csn2026.02.261","is_oa":true,"landing_page_url":"https://doi.org/10.23939/csn2026.02.261","pdf_url":null,"source":{"id":"https://openalex.org/S4210238343","display_name":"Komp'\u00fbtern\u00ec sistemi ta mere\u017e\u00ec","issn_l":"2707-2371","issn":["2707-2371"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer systems and network","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.23939/csn2026.02.261","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024922586","display_name":"Dmytro Prokopovych-Tkachenko","orcid":"https://orcid.org/0000-0002-6590-3898","observed_orcids":["https://orcid.org/0000-0002-6590-3898"]},"institutions":[{"id":"https://openalex.org/I4210149604","display_name":"University of Customs and Finance","ror":"https://ror.org/04ft5hg27","country_code":"UA","type":"education","lineage":["https://openalex.org/I4210149604"]}],"countries":["UA"],"is_corresponding":true,"raw_author_name":"D. I. Prokopovych-Tkachenko","raw_affiliation_strings":["University of Customs and Finance"],"raw_orcid":"https://orcid.org/0000-0002-6590-3898","affiliations":[{"raw_affiliation_string":"University of Customs and Finance","institution_ids":["https://openalex.org/I4210149604"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5024922586"],"corresponding_institution_ids":["https://openalex.org/I4210149604"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"2","first_page":"261","last_page":"275"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13983","display_name":"Cybersecurity and Information Systems","score":0.22190000116825104,"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"}},"topics":[{"id":"https://openalex.org/T13983","display_name":"Cybersecurity and Information Systems","score":0.22190000116825104,"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/T10142","display_name":"Formal Methods in Verification","score":0.1404000073671341,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.09300000220537186,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.7871999740600586},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.6791999936103821},{"id":"https://openalex.org/C34146451","wikidata":"https://www.wikidata.org/wiki/Q5048094","display_name":"Cascade","level":2,"score":0.5828999876976013},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5486000180244446},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5475000143051147},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4666000008583069},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.40720000863075256},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4059000015258789},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3971000015735626},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.38019999861717224},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.37779998779296875},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3628000020980835},{"id":"https://openalex.org/C182310444","wikidata":"https://www.wikidata.org/wiki/Q1332643","display_name":"Boundary value problem","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.3441999852657318},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.33899998664855957},{"id":"https://openalex.org/C165838908","wikidata":"https://www.wikidata.org/wiki/Q736777","display_name":"Calibration","level":2,"score":0.33820000290870667},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.3375999927520752},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.3244999945163727},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3050999939441681},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.302700012922287},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.298799991607666},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.29190000891685486},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2888000011444092},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2822999954223633},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.27790001034736633},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2773999869823456},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.271699994802475},{"id":"https://openalex.org/C160920958","wikidata":"https://www.wikidata.org/wiki/Q7662746","display_name":"Synthetic data","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2637999951839447},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C55037315","wikidata":"https://www.wikidata.org/wiki/Q5421151","display_name":"Experimental data","level":2,"score":0.26170000433921814}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23939/csn2026.02.261","doi":"https://doi.org/10.23939/csn2026.02.261","is_oa":true,"landing_page_url":"https://doi.org/10.23939/csn2026.02.261","pdf_url":null,"source":{"id":"https://openalex.org/S4210238343","display_name":"Komp'\u00fbtern\u00ec sistemi ta mere\u017e\u00ec","issn_l":"2707-2371","issn":["2707-2371"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer systems and network","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.23939/csn2026.02.261","doi":"https://doi.org/10.23939/csn2026.02.261","is_oa":true,"landing_page_url":"https://doi.org/10.23939/csn2026.02.261","pdf_url":null,"source":{"id":"https://openalex.org/S4210238343","display_name":"Komp'\u00fbtern\u00ec sistemi ta mere\u017e\u00ec","issn_l":"2707-2371","issn":["2707-2371"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer systems and network","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1424318399","https://openalex.org/W1968164782","https://openalex.org/W1981192414","https://openalex.org/W2030490025","https://openalex.org/W2040340473","https://openalex.org/W2101420429","https://openalex.org/W2113188272","https://openalex.org/W2745034467","https://openalex.org/W3033513666","https://openalex.org/W3037819556","https://openalex.org/W3037826211","https://openalex.org/W3092441033","https://openalex.org/W3158396846","https://openalex.org/W3202715456","https://openalex.org/W4205178436","https://openalex.org/W4220689618","https://openalex.org/W4360616159","https://openalex.org/W4362583542","https://openalex.org/W4364364726","https://openalex.org/W4368339297","https://openalex.org/W4380433805","https://openalex.org/W4386473332","https://openalex.org/W4386971846","https://openalex.org/W4390985439","https://openalex.org/W4396986096","https://openalex.org/W4399323116","https://openalex.org/W7118804945"],"related_works":[],"abstract_inverted_index":{"The":[0,14,206],"paper":[1],"proposes":[2],"a":[3,26,50,61,68,147,203,209],"dynamic":[4],"multilayer":[5,28],"model":[6,15,194],"M_OSI(t)":[7],"for":[8,161,172,212],"formally":[9],"describing":[10],"communication-mission":[11],"cyber":[12],"resilience.":[13],"combines":[16],"OSI":[17],"layers":[18],"L1\u2013L7":[19],"with":[20],"control":[21],"and":[22,30,42,47,57,60,75,96,103,124,181,196,216],"organizational":[23],"planes":[24],"in":[25,146,202],"temporal":[27,126],"graph":[29],"represents":[31],"cross-layer":[32,114],"interactions":[33],"as":[34],"assume-guarantee":[35],"contracts":[36],"containing":[37],"assumptions,":[38],"guarantees,":[39],"invariants,":[40],"ownership,":[41],"authority":[43],"boundaries.":[44],"Contract":[45],"compatibility":[46],"refinement":[48],"conditions,":[49],"threshold-based":[51],"state":[52],"set,":[53],"local":[54],"controllability,":[55],"stability":[56],"non-interference":[58],"criteria,":[59],"normalized":[62],"observation-quality":[63],"indicator":[64],"are":[65,80,170,179,182,200],"formulated.":[66],"For":[67,128],"synthetic":[69,117,149],"parameterization,":[70,150],"explicit":[71],"matrices":[72],"J,":[73],"B":[74],"the":[76,82,110,113,129,132,151,189,193],"function":[77],"J(w,":[78],"\u03b4)":[79],"given;":[81],"resulting":[83],"local-stability":[84],"boundary":[85,135],"w*(\u03b4)":[86],"=":[87,100,138,144],"(1":[88],"\u2013":[89],"r)/g(\u03b4)":[90],"equals":[91],"0.60":[92],"at":[93,98,142],"zero":[94],"delay":[95],"0.45":[97],"\u03b4":[99],"30":[101],"ms,":[102],"controllability":[104],"from":[105],"control-plane":[106],"inputs":[107],"reduces":[108],"to":[109],"activity":[111],"of":[112,155,167,185,192],"link.":[115],"Five":[116],"profiles":[118],"contain":[119],"38":[120],"components,":[121],"5":[122],"agents,":[123],"57":[125],"dependencies.":[127],"cascade":[130],"map,":[131],"first":[133],"period-doubling":[134],"is":[136,159,208],"\u03bc*":[137],"3e^\u03bb":[139],"\u2248":[140],"3.154":[141],"\u03bb":[143],"0.05;":[145],"separate":[148,204],"joint":[152],"satisfaction":[153],"region":[154],"three":[156],"contract":[157],"constraints":[158],"nonempty":[160],"\u03bc":[162],"\u2264":[163],"2.1.":[164],"Three":[165],"counterexamples":[166],"incorrect":[168],"composition":[169],"constructed":[171],"five":[173],"demonstration":[174],"profiles.":[175],"All":[176],"quantitative":[177],"values":[178],"illustrative":[180],"not":[183],"measurements":[184],"operational":[186],"communication":[187],"stacks;":[188],"system":[190],"meaning":[191],"parameters":[195],"their":[197],"calibration":[198],"procedure":[199],"summarized":[201],"table.":[205],"result":[207],"formal":[210],"specification":[211],"subsequent":[213],"profile":[214],"verification":[215],"empirical":[217],"calibration.":[218]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}