{"id":"https://openalex.org/W132790106","doi":null,"title":"Finite-State Modeling, Analysis and Testing of System Vulnerabilities.","display_name":"Finite-State Modeling, Analysis and Testing of System Vulnerabilities.","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W132790106","mag":"132790106"},"language":"en","primary_location":{"id":"mag:132790106","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/arcs/arcsw2004.html#BelliBN04","pdf_url":null,"source":{"id":"https://openalex.org/S4306417707","display_name":"ARCS Workshops","issn_l":null,"issn":null,"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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"ARCS Workshops","raw_type":null},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"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/A5077251668","display_name":"Fevzi Belli","orcid":"https://orcid.org/0000-0002-8421-3497","observed_orcids":["https://orcid.org/0000-0002-8421-3497"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fevzi Belli","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8421-3497","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032198822","display_name":"Christof J. Budnik","orcid":"https://orcid.org/0000-0002-5728-4134","observed_orcids":["https://orcid.org/0000-0002-5728-4134"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christof J. Budnik","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-5728-4134","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5038764694","display_name":"Nimal Nissanke","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nimal Nissanke","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.00724299,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"19","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.24390000104904175,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.24390000104904175,"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/T10734","display_name":"Information and Cyber Security","score":0.13429999351501465,"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"}},{"id":"https://openalex.org/T10470","display_name":"Usability and User Interface Design","score":0.06610000133514404,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"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/system-vulnerabilities","display_name":"system vulnerabilities","score":0.8539999723434448},{"id":"https://openalex.org/keywords/finite-state-models","display_name":"finite-state models","score":0.7850000262260437},{"id":"https://openalex.org/keywords/embedded-systems","display_name":"embedded systems","score":0.6200000047683716},{"id":"https://openalex.org/keywords/human-computer-interaction","display_name":"human-computer interaction","score":0.7139999866485596},{"id":"https://openalex.org/keywords/user-interface-testing","display_name":"user interface testing","score":0.45399999618530273},{"id":"https://openalex.org/keywords/safety-analysis","display_name":"safety analysis","score":0.4410000145435333},{"id":"https://openalex.org/keywords/security-assessment","display_name":"security analysis","score":0.7080000042915344},{"id":"https://openalex.org/keywords/ease-of-use","display_name":"ease of use","score":0.703000009059906},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"fault tolerance","score":0.5619999766349792},{"id":"https://openalex.org/keywords/fault-recovery","display_name":"fault recovery","score":0.531000018119812},{"id":"https://openalex.org/keywords/fault-detection","display_name":"fault detection","score":0.38999998569488525},{"id":"https://openalex.org/keywords/fault-isolation","display_name":"fault isolation","score":0.5730000138282776},{"id":"https://openalex.org/keywords/fault-propagation","display_name":"fault propagation","score":0.6830000281333923},{"id":"https://openalex.org/keywords/fault-masking","display_name":"fault masking","score":0.7250000238418579}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.748972475528717},{"id":"https://openalex.org/C142944206","wikidata":"https://www.wikidata.org/wiki/Q1786137","display_name":"Proactivity","level":2,"score":0.7276614904403687},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.6473408937454224},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5492923855781555},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5001518726348877},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4480458199977875},{"id":"https://openalex.org/C2777499013","wikidata":"https://www.wikidata.org/wiki/Q7663719","display_name":"System integrity","level":2,"score":0.43209850788116455},{"id":"https://openalex.org/C167063184","wikidata":"https://www.wikidata.org/wiki/Q1400839","display_name":"Vulnerability assessment","level":3,"score":0.4264403283596039},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.41641512513160706},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4061241149902344},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.34305906295776367},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C137176749","wikidata":"https://www.wikidata.org/wiki/Q4105337","display_name":"Psychological resilience","level":2,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:132790106","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/arcs/arcsw2004.html#BelliBN04","pdf_url":null,"source":{"id":"https://openalex.org/S4306417707","display_name":"ARCS Workshops","issn_l":null,"issn":null,"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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"ARCS Workshops","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W627463771","https://openalex.org/W1522356291","https://openalex.org/W1539457702","https://openalex.org/W1567452806","https://openalex.org/W1577034617","https://openalex.org/W1577384748","https://openalex.org/W1809844233","https://openalex.org/W1821647582","https://openalex.org/W1964446022","https://openalex.org/W1967181601","https://openalex.org/W1968054699","https://openalex.org/W2005150099","https://openalex.org/W2011715836","https://openalex.org/W2011762419","https://openalex.org/W2025618033","https://openalex.org/W2034476614","https://openalex.org/W2049139227","https://openalex.org/W2055647675","https://openalex.org/W2056102643","https://openalex.org/W2071136304","https://openalex.org/W2074304694","https://openalex.org/W2105917883","https://openalex.org/W2113457891","https://openalex.org/W2114298495","https://openalex.org/W2117141328","https://openalex.org/W2122796178","https://openalex.org/W2129214591","https://openalex.org/W2129395888","https://openalex.org/W2132840411","https://openalex.org/W2148898704","https://openalex.org/W2149366752","https://openalex.org/W2150674674","https://openalex.org/W2152465173","https://openalex.org/W2156411624","https://openalex.org/W2167762898","https://openalex.org/W2169408654","https://openalex.org/W2615372411"],"related_works":["https://openalex.org/W36571209","https://openalex.org/W1505851021","https://openalex.org/W7095275585","https://openalex.org/W3094675972","https://openalex.org/W7098195459","https://openalex.org/W3097959707","https://openalex.org/W1989568590","https://openalex.org/W7095378370","https://openalex.org/W4327771570","https://openalex.org/W761709982"],"abstract_inverted_index":{"Man-machine":[0],"systems":[1],"have":[2,243],"several":[3,571],"desirable":[4,87,124],"properties,":[5],"as":[6,74,133,172,536,611,660],"to":[7,36,85,103,206,280,325,336,363,370,377,397,406,436,449,470,477,492,497,520,548,555,561],"user":[8,223,239,456,514,560,609],"friendliness,":[9],"reliability,":[10],"safety,":[11,316],"security":[12],"or":[13,23,61,175,252,292,425,489],"other":[14],"global":[15],"system":[16,31,72,101,107,127,137,158,183,200,226,297,323,357,394,432,466,480,538,567,577],"attributes.":[17],"The":[18,353,428,625,651],"potential":[19,326],"for":[20,260],"the":[21,57,65,70,75,78,86,96,100,117,136,154,157,163,165,178,182,185,189,195,199,219,222,225,238,248,250,253,256,272,283,288,296,313,317,322,340,345,356,379,389,393,402,407,410,415,418,431,453,493,513,516,549,559,566,595,619,629,646],"lack,":[22],"breaches,":[24],"of":[25,45,59,77,99,122,146,151,180,191,197,236,271,290,315,342,355,391,409,430,455,458,465,512,551,618,635,641,654],"any":[26],"such":[27,343,371,384,444],"property":[28],"constitutes":[29],"a":[30,37,105,110,277,349,459,462,475,479,523,537,591,605,612,661],"vulnerability,":[32],"which":[33,80,129,187,255,286],"can":[34,130,169,227,242,422,440],"lead":[35,369],"situation":[38,49],"that":[39,89,221,246,366,438],"is":[40,115,258,276,307,362,395,434,461,473,518,532,657],"undesirable":[41,71,126],"from":[42,64,95,320,401,583],"user\u2019s":[43],"point":[44],"view.":[46],"This":[47,113],"undesired":[48],"could":[50,347,367],"be":[51,91,131,170,228,348,423,471,505],"triggered":[52],"by":[53,209,295,310],"special":[54,613],"events":[55],"in":[56,218,359,374,540,590,594,623],"form":[58,464],"intended,":[60],"unintended,":[62],"attacks":[63],"system\u2019s":[66],"environment.":[67,193,211,338],"We":[68],"view":[69],"features":[73,128],"sum":[76],"situations,":[79],"are,":[81],"mathematically":[82],"speaking,":[83],"complementary":[84],"ones":[88],"must":[90],"taken":[92],"into":[93],"account":[94],"very":[97],"beginning":[98],"development":[102],"achieve":[104],"stable":[106],"behavior":[108,201],"and":[109,120,125,138,144,159,224,261,298,328,451,499,527,557,564,573,586,631,648],"robust":[111],"operation.":[112,140],"work":[114],"about":[116],"modeling,":[118],"analysis":[119],"testing":[121],"both":[123,229],"viewed":[132],"relations":[134],"between":[135,156,522,575],"its":[139,160,192,204,210,299,329,337,528,541,633],"1.":[141],"Critical":[142],"Features":[143],"Vulnerabilities":[145,643],"Embedded":[147],"Systems":[148],"In":[149,177,194,232,312,339,388,412,447],"terms":[150],"behavioral":[152,269],"patterns,":[153],"relationships":[155],"environment,":[161,167,245,403,416],"i.e.,":[162],"user,":[164,419,494],"natural":[166],"etc.,":[168],"described":[171,658],"proactive,":[173],"reactive":[174],"interactive.":[176],"case":[179,196,314,361,390,606],"proactivity,":[181],"generates":[184],"stimuli,":[186],"evoke":[188],"activity":[190],"reactivity,":[198],"evolves":[202],"through":[203,604],"responses":[205],"stimuli":[207],"generated":[208],"Most":[212],"computerhuman":[213],"interfaces":[214],"are":[215],"nowadays":[216],"interactive":[217],"sense":[220],"proand":[230],"reactive.":[231],"this":[233,360,413],"particular":[234],"kind":[235],"system,":[237],"interface":[240],"(UI)":[241],"another":[244],"is,":[247],"plant,":[249],"device":[251],"equipment,":[254],"UI":[257,460,517],"intended":[259,519],"embedded":[262],"in,":[263],"controlling":[264],"technical":[265],"processes.":[266],"When":[267],"categorizing":[268],"aspects":[270,285],"human-computer":[273],"systems,":[274],"it":[275,439,483],"good":[278],"principle":[279],"start":[281],"with":[282],"ergonomic":[284],"concern":[287],"extent":[289],"comfort,":[291],"discomfort,":[293],"experienced":[294],"environment":[300,346],"at":[301,381],"each":[302],"other\u2019s":[303],"company.":[304],"Any":[305],"vulnerability":[306,539],"always":[308],"accompanied":[309],"threats.":[311],"threat":[318,587],"originates":[319],"within":[321],"due":[324],"failures":[327,372,385],"spill-over":[330],"effects":[331],"causing":[332,404],"potentially":[333,368],"extensive":[334],"damage":[335],"face":[341],"failures,":[344],"helpless,":[350],"passive":[351],"victim.":[352],"goal":[354,429],"design":[358,433],"prevent":[364],"faults":[365],"or,":[373],"worst":[375],"cases,":[376],"mitigate":[378],"consequences":[380,503],"run-time":[382],"should":[383],"ever":[386],"occur.":[387],"security,":[392,452],"exposed":[396],"external":[398],"threats":[399],"originating":[400],"losses":[405],"proprietor":[408],"system.":[411],"case,":[414],"typically":[417,485],"maybe":[420],"unauthorized,":[421],"malicious":[424,445],"deliberately":[426],"aggressive.":[427],"then":[435],"ensure":[437],"protect":[441],"itself":[442],"against":[443],"attacks.":[446],"contrast":[448],"safety":[450,524,531],"lack":[454],"friendliness":[457],"milder":[463],"vulnerability.":[467],"A":[468],"failure":[469,476],"user-friendly":[472],"still":[474],"fulfill":[478],"attribute,":[481],"though":[482],"may":[484],"cause":[486],"an":[487,490,655],"annoyance":[488],"irritant":[491],"possibly":[495],"leading":[496],"confusion":[498],"complaints.":[500],"However,":[501],"disastrous":[502],"cannot":[504],"entirely":[506],"ruled":[507],"out":[508],"under":[509],"stressed":[510],"conditions":[511],"if":[515],"mediate":[521],"critical":[525],"application":[526,656],"operator.":[529],"Since":[530],"being":[533],"considered":[534],"here":[535,547,659],"own":[542],"right,":[543],"we":[544],"limit":[545],"ourselves":[546],"UIs":[550],"modest":[552],"applications":[553],"designed":[554],"guide":[556],"help":[558],"navigate":[562],"through,":[563],"explore,":[565],"functionality.":[568],"Having":[569],"identified":[570],"differences":[572],"distinctions":[574],"certain":[576],"vulnerabilities,":[578],"let":[579],"us":[580],"abstract":[581],"away":[582],"these":[584],"peculiarities":[585],"them":[588],"all":[589],"generic":[592],"manner":[593],"following":[596],"section.":[597],"Further":[598],"sections":[599],"will":[600],"illustrate":[601],"our":[602],"approach":[603,620,630],"study":[607,627],"considering":[608],"interactions":[610],"case.":[614],"An":[615],"earlier":[616],"version":[617],"was":[621],"introduced":[622],"[BE01].":[624],"present":[626],"generalizes":[628],"extends":[632],"scope":[634],"application.":[636],"2.":[637],"Finite":[638],"State":[639],"Modeling":[640,645],"System":[642,647],"2.1":[644],"Its":[649],"Environment":[650],"functionality":[652],"f":[653],"deterministic":[662],"finite-state":[663],"automaton":[664],"(FSA)":[665]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}