{"id":"https://openalex.org/W3132821563","doi":"https://doi.org/10.5220/0010388206940701","title":"Security Property Modeling","display_name":"Security Property Modeling","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3132821563","doi":"https://doi.org/10.5220/0010388206940701","mag":"3132821563"},"language":"en","primary_location":{"id":"doi:10.5220/0010388206940701","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010388206940701","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Information Systems Security and Privacy","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0010388206940701","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032464300","display_name":"Hiba Hnaini","orcid":"https://orcid.org/0009-0008-5495-8026"},"institutions":[{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Hiba Hnaini","raw_affiliation_strings":["Lab STICC, SL Department, ENSTA Bretagne, Brest, France, --- Select a Country ---","Equipe Processes for Safe and Secure Software and Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab STICC, SL Department, ENSTA Bretagne, Brest, France, --- Select a Country ---","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702","https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Equipe Processes for Safe and Secure Software and Systems","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032316061","display_name":"Luka Le Roux","orcid":null},"institutions":[{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luka Roux","raw_affiliation_strings":["Lab STICC, SL Department, ENSTA Bretagne, Brest, France, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab STICC, SL Department, ENSTA Bretagne, Brest, France, --- Select a Country ---","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702","https://openalex.org/I4210148559"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004741856","display_name":"Jo\u00ebl Champeau","orcid":"https://orcid.org/0000-0002-4014-3191"},"institutions":[{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Joel Champeau","raw_affiliation_strings":["Lab STICC, SL Department, ENSTA Bretagne, Brest, France, --- Select a Country ---","Equipe Processes for Safe and Secure Software and Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab STICC, SL Department, ENSTA Bretagne, Brest, France, --- Select a Country ---","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702","https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Equipe Processes for Safe and Secure Software and Systems","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062908084","display_name":"Ciprian Teodorov","orcid":"https://orcid.org/0000-0002-0722-5857"},"institutions":[{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ciprian Teodorov","raw_affiliation_strings":["Lab STICC, SL Department, ENSTA Bretagne, Brest, France, --- Select a Country ---","Equipe Processes for Safe and Secure Software and Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lab STICC, SL Department, ENSTA Bretagne, Brest, France, --- Select a Country ---","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702","https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Equipe Processes for Safe and Secure Software and Systems","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5032464300"],"corresponding_institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702","https://openalex.org/I4210148559"],"apc_list":null,"apc_paid":null,"fwci":0.2844,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.58292297,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"694","last_page":"701"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9534000158309937,"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"}},"topics":[{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9534000158309937,"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/computer-science","display_name":"Computer science","score":0.5743588805198669},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.561138927936554}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5743588805198669},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.561138927936554},{"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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5220/0010388206940701","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010388206940701","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Information Systems Security and Privacy","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03188864v1","is_oa":false,"landing_page_url":"https://ensta.hal.science/hal-03188864","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩","raw_type":"Conference papers"},{"id":"pmh:oai:oskar-bordeaux.fr:20.500.12278/33648","is_oa":false,"landing_page_url":"https://oskar-bordeaux.fr/handle/20.500.12278/33648","pdf_url":null,"source":{"id":"https://openalex.org/S4306402569","display_name":"Oskar-Bordeaux (Universite de Bordeaux)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"7th International Conference on Information Systems Security and Privacy, ICISSP 2021","raw_type":"Communication dans un congr\u00e8s avec actes"}],"best_oa_location":{"id":"doi:10.5220/0010388206940701","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010388206940701","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th International Conference on Information Systems Security and Privacy","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8217939449","display_name":null,"funder_award_id":"2015-2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"}],"funders":[{"id":"https://openalex.org/F4320327215","display_name":"R\u00e9gion Bretagne","ror":null},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1587285018","https://openalex.org/W1648834017","https://openalex.org/W2085846385","https://openalex.org/W2121908619","https://openalex.org/W2152415989","https://openalex.org/W2331810168","https://openalex.org/W2542111976","https://openalex.org/W2803681306","https://openalex.org/W2973188911","https://openalex.org/W3021769854","https://openalex.org/W4230264700"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":{"With":[0],"the":[1,25,31,35,52,56,60,68,79,82,87,98,109,156,165],"increasing":[2,36],"number":[3,37],"of":[4,19,27,38,158],"cyber-attacks":[5],"on":[6,164],"cyber-physical":[7],"systems,":[8],"many":[9],"security":[10,137],"precautions":[11],"and":[12,44,77,134,153,161],"solutions":[13,21],"have":[14],"been":[15],"suggested.":[16],"However,":[17],"most":[18],"these":[20],"aim":[22],"to":[23,30,50,55,58,65,67,85,107],"prevent":[24],"access":[26],"an":[28,71,132],"adversary":[29],"system.":[32,166],"Though,":[33],"with":[34,102,131],"elements":[39],"used":[40],"in":[41],"a":[42,94,125,147],"system,":[43],"thus":[45],"vulnerabilities,":[46],"it":[47],"is":[48,81,129],"essential":[49],"study":[51],"risks":[53,80,110,150],"introduced":[54],"system":[57,61,88,128],"make":[59],"itself":[62],"efficient":[63],"enough":[64],"react":[66],"attacks":[69],"once":[70],"attacker":[72],"has":[73],"obtained":[74],"access.":[75],"Analyzing":[76],"discovering":[78],"first":[83],"step":[84],"making":[86],"more":[89],"resilient.":[90],"This":[91],"paper":[92],"proposes":[93],"methodology":[95],"that":[96,111],"combines":[97],"qualitative":[99],"risk":[100],"analysis":[101],"formal":[103],"methods":[104],"(model":[105],"checking)":[106],"identify":[108],"were":[112,151],"not":[113],"recognized":[114],"during":[115],"testing":[116],"or":[117],"functional":[118],"modeling":[119],"phases.":[120],"To":[121],"examine":[122],"this":[123],"methodology,":[124],"car":[126],"reservation":[127],"modeled":[130],"attacker,":[133],"then":[135],"its":[136],"properties":[138],"are":[139],"verified":[140],"using":[141],"UPPAAL":[142],"model":[143],"checking":[144],"tool.":[145],"As":[146],"result,":[148],"some":[149],"identified":[152],"tested":[154],"for":[155],"possibility":[157],"them":[159],"occurring":[160],"their":[162],"effects":[163]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}