Matches in SemOpenAlex for { <https://semopenalex.org/work/W2947515695> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2947515695 abstract "In this paper we propose a new model-based framework for testing security properties of Internet of Things in Smart Cities. In general a model-based approach consists in extracting test cases from a formal specification either of the system under test or the environment of the considered system in an automatic fashion. Our framework is mainly built on the use of two formalisms namely Attack Trees and Price Timed Automata. An attack tree allows to describe the strategy adopted by the malicious party which intends to violate the security of the considered IOT system. An attack tree is translated into a network of price timed automata. The product of the constructed price timed automata is then computed using the well known UPPAALL platform. The obtained timed automata product serves as input for the adopted test generation algorithm. Moreover our framework takes advantage of the use of the standardized specification and execution testing language TTCN-3. With this respect, the obtained abstract tests are translated into the TTCN-3 format. Finally we propose a cloud-oriented architecture in order to ensure test execution and to collect the generated verdicts." @default.
- W2947515695 created "2019-06-07" @default.
- W2947515695 creator A5004970162 @default.
- W2947515695 creator A5021988081 @default.
- W2947515695 date "2019-01-01" @default.
- W2947515695 modified "2023-10-14" @default.
- W2947515695 title "A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata" @default.
- W2947515695 doi "https://doi.org/10.5220/0007830605700577" @default.
- W2947515695 hasPublicationYear "2019" @default.
- W2947515695 type Work @default.
- W2947515695 sameAs 2947515695 @default.
- W2947515695 citedByCount "22" @default.
- W2947515695 countsByYear W29475156952020 @default.
- W2947515695 countsByYear W29475156952021 @default.
- W2947515695 countsByYear W29475156952022 @default.
- W2947515695 countsByYear W29475156952023 @default.
- W2947515695 crossrefType "proceedings-article" @default.
- W2947515695 hasAuthorship W2947515695A5004970162 @default.
- W2947515695 hasAuthorship W2947515695A5021988081 @default.
- W2947515695 hasBestOaLocation W29475156951 @default.
- W2947515695 hasConcept C112505250 @default.
- W2947515695 hasConcept C149635348 @default.
- W2947515695 hasConcept C38652104 @default.
- W2947515695 hasConcept C41008148 @default.
- W2947515695 hasConcept C80444323 @default.
- W2947515695 hasConcept C81860439 @default.
- W2947515695 hasConceptScore W2947515695C112505250 @default.
- W2947515695 hasConceptScore W2947515695C149635348 @default.
- W2947515695 hasConceptScore W2947515695C38652104 @default.
- W2947515695 hasConceptScore W2947515695C41008148 @default.
- W2947515695 hasConceptScore W2947515695C80444323 @default.
- W2947515695 hasConceptScore W2947515695C81860439 @default.
- W2947515695 hasLocation W29475156951 @default.
- W2947515695 hasLocation W29475156952 @default.
- W2947515695 hasLocation W29475156953 @default.
- W2947515695 hasOpenAccess W2947515695 @default.
- W2947515695 hasPrimaryLocation W29475156951 @default.
- W2947515695 hasRelatedWork W153904579 @default.
- W2947515695 hasRelatedWork W2322757112 @default.
- W2947515695 hasRelatedWork W2368796975 @default.
- W2947515695 hasRelatedWork W2550930058 @default.
- W2947515695 hasRelatedWork W2618984630 @default.
- W2947515695 hasRelatedWork W2751166006 @default.
- W2947515695 hasRelatedWork W2807530277 @default.
- W2947515695 hasRelatedWork W2970262160 @default.
- W2947515695 hasRelatedWork W3027691494 @default.
- W2947515695 hasRelatedWork W3081898826 @default.
- W2947515695 isParatext "false" @default.
- W2947515695 isRetracted "false" @default.
- W2947515695 magId "2947515695" @default.
- W2947515695 workType "article" @default.