Matches in SemOpenAlex for { <https://semopenalex.org/work/W1972505764> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1972505764 abstract "Learning techniques allow the automatic inference of the behaviour of a system as a finite state machine. We demonstrate that learning techniques can be used to extract such formal models from software on banking smartcards which - as most bank cards do - implement variants of the EMV protocol suite. Such automated reverse-engineering, which only observes the smartcard as a black box, takes little effort and is fast. The finite state machine models obtained provide a useful insight into decisions (or indeed mistakes) made in the design and implementation, and would be useful as part of security evaluations - not just for bank cards but for smartcard applications in general - as they can show unexpected additional functionality that is easily missed in conformance tests." @default.
- W1972505764 created "2016-06-24" @default.
- W1972505764 creator A5018169511 @default.
- W1972505764 creator A5028584606 @default.
- W1972505764 creator A5037215996 @default.
- W1972505764 date "2013-03-01" @default.
- W1972505764 modified "2023-09-26" @default.
- W1972505764 title "Formal Models of Bank Cards for Free" @default.
- W1972505764 cites W1547240621 @default.
- W1972505764 cites W1938383858 @default.
- W1972505764 cites W1989445634 @default.
- W1972505764 cites W2011762419 @default.
- W1972505764 cites W2088297136 @default.
- W1972505764 cites W2092622056 @default.
- W1972505764 cites W2094116506 @default.
- W1972505764 cites W2115675703 @default.
- W1972505764 cites W2129975948 @default.
- W1972505764 cites W2149792581 @default.
- W1972505764 cites W2150326814 @default.
- W1972505764 doi "https://doi.org/10.1109/icstw.2013.60" @default.
- W1972505764 hasPublicationYear "2013" @default.
- W1972505764 type Work @default.
- W1972505764 sameAs 1972505764 @default.
- W1972505764 citedByCount "60" @default.
- W1972505764 countsByYear W19725057642012 @default.
- W1972505764 countsByYear W19725057642014 @default.
- W1972505764 countsByYear W19725057642015 @default.
- W1972505764 countsByYear W19725057642016 @default.
- W1972505764 countsByYear W19725057642017 @default.
- W1972505764 countsByYear W19725057642018 @default.
- W1972505764 countsByYear W19725057642019 @default.
- W1972505764 countsByYear W19725057642020 @default.
- W1972505764 countsByYear W19725057642021 @default.
- W1972505764 countsByYear W19725057642022 @default.
- W1972505764 countsByYear W19725057642023 @default.
- W1972505764 crossrefType "proceedings-article" @default.
- W1972505764 hasAuthorship W1972505764A5018169511 @default.
- W1972505764 hasAuthorship W1972505764A5028584606 @default.
- W1972505764 hasAuthorship W1972505764A5037215996 @default.
- W1972505764 hasBestOaLocation W19725057642 @default.
- W1972505764 hasConcept C110406131 @default.
- W1972505764 hasConcept C115903868 @default.
- W1972505764 hasConcept C142724271 @default.
- W1972505764 hasConcept C154945302 @default.
- W1972505764 hasConcept C166957645 @default.
- W1972505764 hasConcept C167822520 @default.
- W1972505764 hasConcept C199360897 @default.
- W1972505764 hasConcept C204787440 @default.
- W1972505764 hasConcept C207850805 @default.
- W1972505764 hasConcept C2776214188 @default.
- W1972505764 hasConcept C2777904410 @default.
- W1972505764 hasConcept C2780385302 @default.
- W1972505764 hasConcept C38652104 @default.
- W1972505764 hasConcept C41008148 @default.
- W1972505764 hasConcept C48103436 @default.
- W1972505764 hasConcept C71924100 @default.
- W1972505764 hasConcept C79581498 @default.
- W1972505764 hasConcept C94966114 @default.
- W1972505764 hasConcept C95457728 @default.
- W1972505764 hasConceptScore W1972505764C110406131 @default.
- W1972505764 hasConceptScore W1972505764C115903868 @default.
- W1972505764 hasConceptScore W1972505764C142724271 @default.
- W1972505764 hasConceptScore W1972505764C154945302 @default.
- W1972505764 hasConceptScore W1972505764C166957645 @default.
- W1972505764 hasConceptScore W1972505764C167822520 @default.
- W1972505764 hasConceptScore W1972505764C199360897 @default.
- W1972505764 hasConceptScore W1972505764C204787440 @default.
- W1972505764 hasConceptScore W1972505764C207850805 @default.
- W1972505764 hasConceptScore W1972505764C2776214188 @default.
- W1972505764 hasConceptScore W1972505764C2777904410 @default.
- W1972505764 hasConceptScore W1972505764C2780385302 @default.
- W1972505764 hasConceptScore W1972505764C38652104 @default.
- W1972505764 hasConceptScore W1972505764C41008148 @default.
- W1972505764 hasConceptScore W1972505764C48103436 @default.
- W1972505764 hasConceptScore W1972505764C71924100 @default.
- W1972505764 hasConceptScore W1972505764C79581498 @default.
- W1972505764 hasConceptScore W1972505764C94966114 @default.
- W1972505764 hasConceptScore W1972505764C95457728 @default.
- W1972505764 hasLocation W19725057641 @default.
- W1972505764 hasLocation W19725057642 @default.
- W1972505764 hasLocation W19725057643 @default.
- W1972505764 hasOpenAccess W1972505764 @default.
- W1972505764 hasPrimaryLocation W19725057641 @default.
- W1972505764 hasRelatedWork W1494902786 @default.
- W1972505764 hasRelatedWork W1859617653 @default.
- W1972505764 hasRelatedWork W1972505764 @default.
- W1972505764 hasRelatedWork W2114452345 @default.
- W1972505764 hasRelatedWork W2139769766 @default.
- W1972505764 hasRelatedWork W2347396877 @default.
- W1972505764 hasRelatedWork W2353037276 @default.
- W1972505764 hasRelatedWork W239045340 @default.
- W1972505764 hasRelatedWork W2792204436 @default.
- W1972505764 hasRelatedWork W2922161859 @default.
- W1972505764 isParatext "false" @default.
- W1972505764 isRetracted "false" @default.
- W1972505764 magId "1972505764" @default.
- W1972505764 workType "article" @default.