{"id":"https://openalex.org/W2152648140","doi":"https://doi.org/10.1145/2642803.2642807","title":"Towards Run-Time Verification of Adaptive Security for IoT in eHealth","display_name":"Towards Run-Time Verification of Adaptive Security for IoT in eHealth","publication_year":2014,"publication_date":"2014-08-21","ids":{"openalex":"https://openalex.org/W2152648140","doi":"https://doi.org/10.1145/2642803.2642807","mag":"2152648140"},"language":"en","primary_location":{"id":"doi:10.1145/2642803.2642807","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2642803.2642807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 European Conference on Software Architecture Workshops","raw_type":"proceedings-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/A5053703770","display_name":"Arild B. Torjusen","orcid":null},"institutions":[{"id":"https://openalex.org/I144648426","display_name":"Norwegian Computing Center","ror":"https://ror.org/02gm7te43","country_code":"NO","type":"nonprofit","lineage":["https://openalex.org/I144648426"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Arild B. Torjusen","raw_affiliation_strings":["Norwegian Computing Center, P.O.Box 114, Blindern, NO-0314 Oslo, Norway, +47 22 85 25 54"],"affiliations":[{"raw_affiliation_string":"Norwegian Computing Center, P.O.Box 114, Blindern, NO-0314 Oslo, Norway, +47 22 85 25 54","institution_ids":["https://openalex.org/I144648426"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051614651","display_name":"Habtamu Abie","orcid":"https://orcid.org/0000-0003-0866-5050"},"institutions":[{"id":"https://openalex.org/I144648426","display_name":"Norwegian Computing Center","ror":"https://ror.org/02gm7te43","country_code":"NO","type":"nonprofit","lineage":["https://openalex.org/I144648426"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Habtamu Abie","raw_affiliation_strings":["Norwegian Computing Center, P.O.Box 114, Blindern, NO-0314 Oslo, Norway, +47 22 85 25 95"],"affiliations":[{"raw_affiliation_string":"Norwegian Computing Center, P.O.Box 114, Blindern, NO-0314 Oslo, Norway, +47 22 85 25 95","institution_ids":["https://openalex.org/I144648426"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048447397","display_name":"Ebenezer Paintsil","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ebenezer Paintsil","raw_affiliation_strings":["Point Transaction Systems AS, \u00d8stre Aker vei 24, Pb 73 \u00d8kern, N-0508 Oslo, +47 815 02 200"],"affiliations":[{"raw_affiliation_string":"Point Transaction Systems AS, \u00d8stre Aker vei 24, Pb 73 \u00d8kern, N-0508 Oslo, +47 815 02 200","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060200751","display_name":"Denis Tr\u010dek","orcid":"https://orcid.org/0000-0003-0727-1324"},"institutions":[{"id":"https://openalex.org/I153976015","display_name":"University of Ljubljana","ror":"https://ror.org/05njb9z20","country_code":"SI","type":"education","lineage":["https://openalex.org/I153976015"]}],"countries":["SI"],"is_corresponding":false,"raw_author_name":"Denis Trcek","raw_affiliation_strings":["University of Ljubljana, Tr\u017ea\u0161ka c. 25, 1000 Ljubljana, Slovenia, +386 1 241 85 00"],"affiliations":[{"raw_affiliation_string":"University of Ljubljana, Tr\u017ea\u0161ka c. 25, 1000 Ljubljana, Slovenia, +386 1 241 85 00","institution_ids":["https://openalex.org/I153976015"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060896796","display_name":"\u00c5smund Skomedal","orcid":"https://orcid.org/0000-0001-7684-5518"},"institutions":[{"id":"https://openalex.org/I144648426","display_name":"Norwegian Computing Center","ror":"https://ror.org/02gm7te43","country_code":"NO","type":"nonprofit","lineage":["https://openalex.org/I144648426"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"\u00c5smund Skomedal","raw_affiliation_strings":["Norwegian Computing Center, P.O.Box 114, Blindern, NO-0314 Oslo, Norway, +47 22 85 26 06"],"affiliations":[{"raw_affiliation_string":"Norwegian Computing Center, P.O.Box 114, Blindern, NO-0314 Oslo, Norway, +47 22 85 26 06","institution_ids":["https://openalex.org/I144648426"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5053703770"],"corresponding_institution_ids":["https://openalex.org/I144648426"],"apc_list":null,"apc_paid":null,"fwci":3.6811,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.93837158,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.998199999332428,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.998199999332428,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9980999827384949,"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.7987779378890991},{"id":"https://openalex.org/keywords/ehealth","display_name":"eHealth","score":0.7927554845809937},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.629420280456543},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6210690140724182},{"id":"https://openalex.org/keywords/asset","display_name":"Asset (computer security)","score":0.6106675267219543},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.5376883745193481},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.46344852447509766},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.42271941900253296},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.35175782442092896},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3281205892562866},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.2859766185283661},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11803796887397766},{"id":"https://openalex.org/keywords/health-care","display_name":"Health care","score":0.08719095587730408}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7987779378890991},{"id":"https://openalex.org/C202645933","wikidata":"https://www.wikidata.org/wiki/Q4930","display_name":"eHealth","level":3,"score":0.7927554845809937},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.629420280456543},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6210690140724182},{"id":"https://openalex.org/C76178495","wikidata":"https://www.wikidata.org/wiki/Q4808784","display_name":"Asset (computer security)","level":2,"score":0.6106675267219543},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.5376883745193481},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.46344852447509766},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.42271941900253296},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.35175782442092896},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3281205892562866},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2859766185283661},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11803796887397766},{"id":"https://openalex.org/C160735492","wikidata":"https://www.wikidata.org/wiki/Q31207","display_name":"Health care","level":2,"score":0.08719095587730408},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2642803.2642807","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2642803.2642807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 European Conference on Software Architecture Workshops","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1568573127","https://openalex.org/W1661159357","https://openalex.org/W1771743772","https://openalex.org/W1895387792","https://openalex.org/W1964689461","https://openalex.org/W1974641445","https://openalex.org/W1992595252","https://openalex.org/W2011486833","https://openalex.org/W2013498034","https://openalex.org/W2016130407","https://openalex.org/W2033406822","https://openalex.org/W2051892805","https://openalex.org/W2067032582","https://openalex.org/W2073560096","https://openalex.org/W2075063780","https://openalex.org/W2105103777","https://openalex.org/W2106417311","https://openalex.org/W2112347632","https://openalex.org/W2116769849","https://openalex.org/W2133079113","https://openalex.org/W2134287022","https://openalex.org/W2134485500","https://openalex.org/W2137347911","https://openalex.org/W2139864917","https://openalex.org/W2142486130","https://openalex.org/W2143516764","https://openalex.org/W2152724006","https://openalex.org/W2158738405","https://openalex.org/W2166515197","https://openalex.org/W2237544177","https://openalex.org/W2340735175","https://openalex.org/W2491348057","https://openalex.org/W2895866001","https://openalex.org/W2911423894","https://openalex.org/W2913459036","https://openalex.org/W3145155890","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4281488710","https://openalex.org/W4308190148","https://openalex.org/W2196310376","https://openalex.org/W4310458807","https://openalex.org/W754949616","https://openalex.org/W2887033287","https://openalex.org/W4221023391","https://openalex.org/W4248608655","https://openalex.org/W2407313067","https://openalex.org/W3005366760"],"abstract_inverted_index":{"This":[0],"paper":[1],"integrates":[2],"run-time":[3,36,64,104],"verification":[4,61],"enablers":[5,37,105],"in":[6,22,120],"the":[7,12,23,28,58,81,87,94,101,107],"feedback":[8],"adaptation":[9],"loop":[10],"of":[11,19,42,60,84,86,96,103],"ASSET":[13,108],"adaptive":[14,76,109],"security":[15,116],"framework":[16,30,110,117],"for":[17,118],"Internet":[18],"Things":[20],"(IoT)":[21],"eHealth":[24,98],"settings":[25],"and":[26,46,68,73],"instantiates":[27],"resulting":[29],"with":[31],"Colored":[32],"Petri":[33],"Nets.":[34],"The":[35],"make":[38,54],"machine-readable":[39],"formal":[40,66],"models":[41],"a":[43,90,114],"system":[44,88],"state":[45],"context":[47,71],"available":[48,62],"at":[49,63],"run-time.":[50],"In":[51],"addition,":[52],"they":[53],"requirements":[55],"that":[56,78],"define":[57],"objectives":[59],"as":[65],"specifications":[67],"enable":[69],"dynamic":[70],"monitoring":[72],"adaptation.":[74],"Run-time":[75],"behavior":[77],"deviates":[79],"from":[80],"normal":[82],"mode":[83],"operation":[85],"represents":[89],"major":[91],"threat":[92],"to":[93,113],"sustainability":[95],"critical":[97],"services.":[99],"Therefore,":[100],"integration":[102],"into":[106],"could":[111],"lead":[112],"sustainable":[115],"IoT":[119],"eHealth.":[121]},"counts_by_year":[{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}