{"id":"https://openalex.org/W4416739689","doi":"https://doi.org/10.1007/978-3-032-12063-2_19","title":"Formal Security Proof Assurance in\u00a0Architecture Design for\u00a0IT/OT Convergence","display_name":"Formal Security Proof Assurance in\u00a0Architecture Design for\u00a0IT/OT Convergence","publication_year":2025,"publication_date":"2025-11-27","ids":{"openalex":"https://openalex.org/W4416739689","doi":"https://doi.org/10.1007/978-3-032-12063-2_19"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-12063-2_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-12063-2_19","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"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 Business Information Processing","raw_type":"book-chapter"},"type":"book-chapter","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/A5033788910","display_name":"Massimiliano Masi","orcid":"https://orcid.org/0000-0003-4737-7107"},"institutions":[{"id":"https://openalex.org/I4210097942","display_name":"Atlantia (Italy)","ror":"https://ror.org/011k0sc34","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210097942"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Massimiliano Masi","raw_affiliation_strings":["Autostrade Per L\u2019Italia SpA, Via Bergamini 50, 00118, Rome, Italy"],"raw_orcid":"https://orcid.org/0000-0003-4737-7107","affiliations":[{"raw_affiliation_string":"Autostrade Per L\u2019Italia SpA, Via Bergamini 50, 00118, Rome, Italy","institution_ids":["https://openalex.org/I4210097942"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073024255","display_name":"Giovanni Paolo Sellitto","orcid":"https://orcid.org/0000-0002-8497-8748"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Giovanni Paolo Sellitto","raw_affiliation_strings":["Rome, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8497-8748","affiliations":[{"raw_affiliation_string":"Rome, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090649505","display_name":"Helder Aranha","orcid":"https://orcid.org/0000-0002-9502-1597"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Helder Aranha","raw_affiliation_strings":["Lisbon, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-9502-1597","affiliations":[{"raw_affiliation_string":"Lisbon, Portugal","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073499451","display_name":"Tanja Pavleska","orcid":"https://orcid.org/0009-0007-3967-2911"},"institutions":[{"id":"https://openalex.org/I3006985408","display_name":"Jo\u017eef Stefan Institute","ror":"https://ror.org/05060sz93","country_code":"SI","type":"facility","lineage":["https://openalex.org/I3006985408"]}],"countries":["SI"],"is_corresponding":true,"raw_author_name":"Tanja Pavleska","raw_affiliation_strings":["Jozef Stefan Institute, Jamova 39, 1000, Ljubljana, Slovenia"],"raw_orcid":"https://orcid.org/0009-0007-3967-2911","affiliations":[{"raw_affiliation_string":"Jozef Stefan Institute, Jamova 39, 1000, Ljubljana, Slovenia","institution_ids":["https://openalex.org/I3006985408"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5073499451"],"corresponding_institution_ids":["https://openalex.org/I3006985408"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.728794,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"298","last_page":"307"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.3001999855041504,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.3001999855041504,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.14749999344348907,"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/T10927","display_name":"Access Control and Trust","score":0.0674000009894371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.607200026512146},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5853000283241272},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.5716000199317932},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5593000054359436},{"id":"https://openalex.org/keywords/formal-proof","display_name":"Formal proof","score":0.5479999780654907},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4747999906539917},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.4747999906539917},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.44020000100135803}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.732200026512146},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.607200026512146},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5853000283241272},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.5716000199317932},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5593000054359436},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.5479999780654907},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4747999906539917},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.4747999906539917},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.44020000100135803},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.37770000100135803},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3702999949455261},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.35910001397132874},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.35350000858306885},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.3409000039100647},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3370000123977661},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.33169999718666077},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.31470000743865967},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.3005000054836273},{"id":"https://openalex.org/C29852176","wikidata":"https://www.wikidata.org/wiki/Q373338","display_name":"Critical infrastructure","level":2,"score":0.28519999980926514},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C105446022","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy system","level":3,"score":0.2761000096797943},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.2583000063896179},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.25369998812675476}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-12063-2_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-12063-2_19","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"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 Business Information Processing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W2029693536","https://openalex.org/W2808844959","https://openalex.org/W2949243922","https://openalex.org/W2976189582","https://openalex.org/W3096440824","https://openalex.org/W3180770126","https://openalex.org/W4323062337","https://openalex.org/W4367692678","https://openalex.org/W4392967532","https://openalex.org/W4401880579","https://openalex.org/W4403447782","https://openalex.org/W4411757440"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-11-28T00:00:00"}