{"id":"https://openalex.org/W4283788330","doi":"https://doi.org/10.1007/s42979-022-01223-9","title":"On the Security and Complexity of Periodic Systems","display_name":"On the Security and Complexity of Periodic Systems","publication_year":2022,"publication_date":"2022-07-02","ids":{"openalex":"https://openalex.org/W4283788330","doi":"https://doi.org/10.1007/s42979-022-01223-9"},"language":"en","primary_location":{"id":"doi:10.1007/s42979-022-01223-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s42979-022-01223-9","pdf_url":null,"source":{"id":"https://openalex.org/S4210174798","display_name":"SN Computer Science","issn_l":"2661-8907","issn":["2661-8907","2662-995X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SN Computer Science","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/A5077191937","display_name":"Musab A. Alturki","orcid":"https://orcid.org/0000-0001-7957-1081"},"institutions":[{"id":"https://openalex.org/I134085113","display_name":"King Fahd University of Petroleum and Minerals","ror":"https://ror.org/03yez3163","country_code":"SA","type":"education","lineage":["https://openalex.org/I134085113"]},{"id":"https://openalex.org/I4210161168","display_name":"Runtime Verification (United States)","ror":"https://ror.org/04gmecg65","country_code":"US","type":"company","lineage":["https://openalex.org/I4210161168"]}],"countries":["SA","US"],"is_corresponding":true,"raw_author_name":"Musab A. Alturki","raw_affiliation_strings":["KFUPM, Dhahran, Saudi Arabia","Runtime Verification Inc., Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"KFUPM, Dhahran, Saudi Arabia","institution_ids":["https://openalex.org/I134085113"]},{"raw_affiliation_string":"Runtime Verification Inc., Urbana, IL, USA","institution_ids":["https://openalex.org/I4210161168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058795427","display_name":"Tajana Ban Kirigin","orcid":"https://orcid.org/0000-0003-3230-6891"},"institutions":[{"id":"https://openalex.org/I154347574","display_name":"University of Rijeka","ror":"https://ror.org/05r8dqr10","country_code":"HR","type":"education","lineage":["https://openalex.org/I154347574"]}],"countries":["HR"],"is_corresponding":true,"raw_author_name":"Tajana Ban Kirigin","raw_affiliation_strings":["Faculty of Mathematics, University of Rijeka, Rijeka, Croatia"],"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics, University of Rijeka, Rijeka, Croatia","institution_ids":["https://openalex.org/I154347574"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048798287","display_name":"Max Kanovich","orcid":"https://orcid.org/0000-0002-7502-1653"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Max Kanovich","raw_affiliation_strings":["University College London, London, UK"],"affiliations":[{"raw_affiliation_string":"University College London, London, UK","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080152569","display_name":"Vivek Nigam","orcid":"https://orcid.org/0000-0003-4089-1218"},"institutions":[{"id":"https://openalex.org/I169045520","display_name":"Universidade Federal da Para\u00edba","ror":"https://ror.org/00p9vpz11","country_code":"BR","type":"education","lineage":["https://openalex.org/I169045520"]},{"id":"https://openalex.org/I4210166625","display_name":"Huawei German Research Center","ror":"https://ror.org/00z59w514","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353","https://openalex.org/I4210166625"]}],"countries":["BR","DE"],"is_corresponding":false,"raw_author_name":"Vivek Nigam","raw_affiliation_strings":["Federal University of Para\u00edba, Jo\u00e3o Pessoa, Brazil","Munich Research Center, Huawei, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Federal University of Para\u00edba, Jo\u00e3o Pessoa, Brazil","institution_ids":["https://openalex.org/I169045520"]},{"raw_affiliation_string":"Munich Research Center, Huawei, Munich, Germany","institution_ids":["https://openalex.org/I4210166625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054465062","display_name":"Andre Scedrov","orcid":"https://orcid.org/0000-0002-4536-0419"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andre Scedrov","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090498111","display_name":"Carolyn Talcott","orcid":"https://orcid.org/0000-0003-2845-7144"},"institutions":[{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]},{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carolyn Talcott","raw_affiliation_strings":["SRI International, Menlo Park, CA, USA"],"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]}],"institutions":[],"countries_distinct_count":6,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5058795427","https://openalex.org/A5077191937"],"corresponding_institution_ids":["https://openalex.org/I134085113","https://openalex.org/I154347574","https://openalex.org/I4210161168"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06631737,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"5","first_page":null,"last_page":null},"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.9961000084877014,"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.9961000084877014,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9939000010490417,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/executable","display_name":"Executable","score":0.7941328287124634},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7773569822311401},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7750554084777832},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7320435047149658},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.6071692109107971},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5879451632499695},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5563899278640747},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.49176910519599915},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4831659197807312},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.47353217005729675},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.45226114988327026},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4326941967010498},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40020236372947693},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27482134103775024},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10942435264587402}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7941328287124634},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7773569822311401},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7750554084777832},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7320435047149658},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.6071692109107971},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5879451632499695},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5563899278640747},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.49176910519599915},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4831659197807312},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.47353217005729675},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.45226114988327026},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4326941967010498},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40020236372947693},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27482134103775024},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10942435264587402},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s42979-022-01223-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s42979-022-01223-9","pdf_url":null,"source":{"id":"https://openalex.org/S4210174798","display_name":"SN Computer Science","issn_l":"2661-8907","issn":["2661-8907","2662-995X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SN Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1641431731","display_name":null,"funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3310294320","display_name":null,"funder_award_id":"N00014-20-1-2644","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6601995536","display_name":null,"funder_award_id":"303909/2018-8","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G6998842016","display_name":null,"funder_award_id":"UIP-05-2017-9219","funder_id":"https://openalex.org/F4320322674","funder_display_name":"Hrvatska Zaklada za Znanost"},{"id":"https://openalex.org/G7402437123","display_name":null,"funder_award_id":"N0017317-1-G002","funder_id":"https://openalex.org/F4320337628","funder_display_name":"U.S. Naval Research Laboratory"},{"id":"https://openalex.org/G8840470266","display_name":null,"funder_award_id":"R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320322674","display_name":"Hrvatska Zaklada za Znanost","ror":"https://ror.org/03n51vw80"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320337628","display_name":"U.S. Naval Research Laboratory","ror":"https://ror.org/04d23a975"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1178643701","https://openalex.org/W1493633084","https://openalex.org/W1583869287","https://openalex.org/W2005648310","https://openalex.org/W2022472002","https://openalex.org/W2029693536","https://openalex.org/W2105505307","https://openalex.org/W2106611458","https://openalex.org/W2114497629","https://openalex.org/W2502256408","https://openalex.org/W2588140814","https://openalex.org/W2888859314","https://openalex.org/W2972150838","https://openalex.org/W2981097654","https://openalex.org/W2995364870","https://openalex.org/W3110782872","https://openalex.org/W3122696119","https://openalex.org/W3128588605"],"related_works":["https://openalex.org/W2120204135","https://openalex.org/W1796293478","https://openalex.org/W174435416","https://openalex.org/W2168276503","https://openalex.org/W2360304673","https://openalex.org/W1577306287","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}