Matches in SemOpenAlex for { <https://semopenalex.org/work/W2173871098> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2173871098 abstract "Model checking at the design level makes it possible to find protocol flaws in security-critical applications automatically. But depending on the size of the application and especially on the abstraction of the application model, model checking may need a lot of resources, primarily time. To reduce the complexity, the application models are usually highly abstracted. But in a model-driven approach with automatic generation of runnable applications the application models need to be detailed and are often too complex to check in reasonable time. In this paper we describe an approach to handle this problem by using additional UML models to restrict the protocol runs, the attacker abilities and the numbers of participants. This makes model checking of large applications in our model-driven approach called SecureMDD possible without manual abstraction of the generated specifications. For model checking we use AVANTSSAR and show how the restrictions modeled within UML are translated. We demonstrate our approach with a smart card based electronic ticketing example." @default.
- W2173871098 created "2016-06-24" @default.
- W2173871098 creator A5018907838 @default.
- W2173871098 creator A5035884631 @default.
- W2173871098 creator A5056376062 @default.
- W2173871098 creator A5079244795 @default.
- W2173871098 date "2015-09-01" @default.
- W2173871098 modified "2023-09-28" @default.
- W2173871098 title "Abstracting security-critical applications for model checking in a model-driven approach" @default.
- W2173871098 cites W1493944547 @default.
- W2173871098 cites W1748251377 @default.
- W2173871098 cites W1782799247 @default.
- W2173871098 cites W1795549172 @default.
- W2173871098 cites W1845333155 @default.
- W2173871098 cites W2010173096 @default.
- W2173871098 cites W2073125568 @default.
- W2173871098 cites W2079614594 @default.
- W2173871098 cites W2080252053 @default.
- W2173871098 cites W2120360250 @default.
- W2173871098 cites W2121845793 @default.
- W2173871098 cites W2159723285 @default.
- W2173871098 cites W3030245678 @default.
- W2173871098 cites W952263751 @default.
- W2173871098 cites W2000162934 @default.
- W2173871098 doi "https://doi.org/10.1109/icsess.2015.7338996" @default.
- W2173871098 hasPublicationYear "2015" @default.
- W2173871098 type Work @default.
- W2173871098 sameAs 2173871098 @default.
- W2173871098 citedByCount "2" @default.
- W2173871098 countsByYear W21738710982016 @default.
- W2173871098 countsByYear W21738710982023 @default.
- W2173871098 crossrefType "proceedings-article" @default.
- W2173871098 hasAuthorship W2173871098A5018907838 @default.
- W2173871098 hasAuthorship W2173871098A5035884631 @default.
- W2173871098 hasAuthorship W2173871098A5056376062 @default.
- W2173871098 hasAuthorship W2173871098A5079244795 @default.
- W2173871098 hasConcept C110251889 @default.
- W2173871098 hasConcept C111472728 @default.
- W2173871098 hasConcept C111498074 @default.
- W2173871098 hasConcept C120314980 @default.
- W2173871098 hasConcept C124304363 @default.
- W2173871098 hasConcept C138885662 @default.
- W2173871098 hasConcept C142724271 @default.
- W2173871098 hasConcept C145644426 @default.
- W2173871098 hasConcept C178489894 @default.
- W2173871098 hasConcept C199360897 @default.
- W2173871098 hasConcept C204787440 @default.
- W2173871098 hasConcept C2777904410 @default.
- W2173871098 hasConcept C2780385302 @default.
- W2173871098 hasConcept C30888246 @default.
- W2173871098 hasConcept C33884865 @default.
- W2173871098 hasConcept C38652104 @default.
- W2173871098 hasConcept C41008148 @default.
- W2173871098 hasConcept C71924100 @default.
- W2173871098 hasConcept C80444323 @default.
- W2173871098 hasConceptScore W2173871098C110251889 @default.
- W2173871098 hasConceptScore W2173871098C111472728 @default.
- W2173871098 hasConceptScore W2173871098C111498074 @default.
- W2173871098 hasConceptScore W2173871098C120314980 @default.
- W2173871098 hasConceptScore W2173871098C124304363 @default.
- W2173871098 hasConceptScore W2173871098C138885662 @default.
- W2173871098 hasConceptScore W2173871098C142724271 @default.
- W2173871098 hasConceptScore W2173871098C145644426 @default.
- W2173871098 hasConceptScore W2173871098C178489894 @default.
- W2173871098 hasConceptScore W2173871098C199360897 @default.
- W2173871098 hasConceptScore W2173871098C204787440 @default.
- W2173871098 hasConceptScore W2173871098C2777904410 @default.
- W2173871098 hasConceptScore W2173871098C2780385302 @default.
- W2173871098 hasConceptScore W2173871098C30888246 @default.
- W2173871098 hasConceptScore W2173871098C33884865 @default.
- W2173871098 hasConceptScore W2173871098C38652104 @default.
- W2173871098 hasConceptScore W2173871098C41008148 @default.
- W2173871098 hasConceptScore W2173871098C71924100 @default.
- W2173871098 hasConceptScore W2173871098C80444323 @default.
- W2173871098 hasLocation W21738710981 @default.
- W2173871098 hasOpenAccess W2173871098 @default.
- W2173871098 hasPrimaryLocation W21738710981 @default.
- W2173871098 hasRelatedWork W1873956753 @default.
- W2173871098 hasRelatedWork W2233600960 @default.
- W2173871098 hasRelatedWork W2281413768 @default.
- W2173871098 hasRelatedWork W2416182070 @default.
- W2173871098 hasRelatedWork W2436999048 @default.
- W2173871098 hasRelatedWork W2521280855 @default.
- W2173871098 hasRelatedWork W2594389189 @default.
- W2173871098 hasRelatedWork W2686042345 @default.
- W2173871098 hasRelatedWork W2892818578 @default.
- W2173871098 hasRelatedWork W2903337687 @default.
- W2173871098 hasRelatedWork W2903522954 @default.
- W2173871098 hasRelatedWork W2904162908 @default.
- W2173871098 hasRelatedWork W2914153353 @default.
- W2173871098 hasRelatedWork W3045559840 @default.
- W2173871098 hasRelatedWork W3106637877 @default.
- W2173871098 hasRelatedWork W3122171607 @default.
- W2173871098 hasRelatedWork W3135658438 @default.
- W2173871098 hasRelatedWork W3168029334 @default.
- W2173871098 hasRelatedWork W2294434451 @default.
- W2173871098 isParatext "false" @default.
- W2173871098 isRetracted "false" @default.
- W2173871098 magId "2173871098" @default.
- W2173871098 workType "article" @default.