Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040807797> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2040807797 endingPage "138" @default.
- W2040807797 startingPage "133" @default.
- W2040807797 abstract "The smart cards are increasingly used in several fields with critical data that require security. We cite, as example, the medical field and payment shopping with smart card. Therefore, the hardware and software security of smart cards is one of the key elements of the security of sensitive information handled. Currently, several scientific researchers are interested in studying and enhancing the smart cards security. The study of vulnerabilities is a prerequisite for building security guarantees of this type of devices. Indeed, each vulnerability can easily lead to an attack. In this paper, we generate vulnerability test cases based on models of Europay-MasterCard and Visa (EMV) specifications. We used SysML language to model the EMV transaction through machine state diagram. Then, we generated Event-B model that we exploit it to generate vulnerability and robustness test cases. This work aims to ensure the safety of EMV cards against attacks exploiting the vulnerability of the system." @default.
- W2040807797 created "2016-06-24" @default.
- W2040807797 creator A5011160277 @default.
- W2040807797 creator A5013550337 @default.
- W2040807797 creator A5027750319 @default.
- W2040807797 creator A5048731347 @default.
- W2040807797 creator A5081562478 @default.
- W2040807797 date "2013-01-01" @default.
- W2040807797 modified "2023-10-02" @default.
- W2040807797 title "EMV Card: Generation of Test Cases based on SysML Models" @default.
- W2040807797 cites W2135253840 @default.
- W2040807797 cites W4254354208 @default.
- W2040807797 cites W66632153 @default.
- W2040807797 doi "https://doi.org/10.1016/j.ieri.2013.11.020" @default.
- W2040807797 hasPublicationYear "2013" @default.
- W2040807797 type Work @default.
- W2040807797 sameAs 2040807797 @default.
- W2040807797 citedByCount "8" @default.
- W2040807797 countsByYear W20408077972014 @default.
- W2040807797 countsByYear W20408077972015 @default.
- W2040807797 countsByYear W20408077972016 @default.
- W2040807797 countsByYear W20408077972018 @default.
- W2040807797 countsByYear W20408077972023 @default.
- W2040807797 crossrefType "journal-article" @default.
- W2040807797 hasAuthorship W2040807797A5011160277 @default.
- W2040807797 hasAuthorship W2040807797A5013550337 @default.
- W2040807797 hasAuthorship W2040807797A5027750319 @default.
- W2040807797 hasAuthorship W2040807797A5048731347 @default.
- W2040807797 hasAuthorship W2040807797A5081562478 @default.
- W2040807797 hasBestOaLocation W20408077971 @default.
- W2040807797 hasConcept C104317684 @default.
- W2040807797 hasConcept C110406131 @default.
- W2040807797 hasConcept C111919701 @default.
- W2040807797 hasConcept C136764020 @default.
- W2040807797 hasConcept C137176749 @default.
- W2040807797 hasConcept C140547941 @default.
- W2040807797 hasConcept C145097563 @default.
- W2040807797 hasConcept C145644426 @default.
- W2040807797 hasConcept C149071572 @default.
- W2040807797 hasConcept C15744967 @default.
- W2040807797 hasConcept C165696696 @default.
- W2040807797 hasConcept C167063184 @default.
- W2040807797 hasConcept C172776598 @default.
- W2040807797 hasConcept C185592680 @default.
- W2040807797 hasConcept C2777904410 @default.
- W2040807797 hasConcept C2983355114 @default.
- W2040807797 hasConcept C38652104 @default.
- W2040807797 hasConcept C41008148 @default.
- W2040807797 hasConcept C4239916 @default.
- W2040807797 hasConcept C542102704 @default.
- W2040807797 hasConcept C55493867 @default.
- W2040807797 hasConcept C63479239 @default.
- W2040807797 hasConcept C75949130 @default.
- W2040807797 hasConcept C77088390 @default.
- W2040807797 hasConcept C95713431 @default.
- W2040807797 hasConceptScore W2040807797C104317684 @default.
- W2040807797 hasConceptScore W2040807797C110406131 @default.
- W2040807797 hasConceptScore W2040807797C111919701 @default.
- W2040807797 hasConceptScore W2040807797C136764020 @default.
- W2040807797 hasConceptScore W2040807797C137176749 @default.
- W2040807797 hasConceptScore W2040807797C140547941 @default.
- W2040807797 hasConceptScore W2040807797C145097563 @default.
- W2040807797 hasConceptScore W2040807797C145644426 @default.
- W2040807797 hasConceptScore W2040807797C149071572 @default.
- W2040807797 hasConceptScore W2040807797C15744967 @default.
- W2040807797 hasConceptScore W2040807797C165696696 @default.
- W2040807797 hasConceptScore W2040807797C167063184 @default.
- W2040807797 hasConceptScore W2040807797C172776598 @default.
- W2040807797 hasConceptScore W2040807797C185592680 @default.
- W2040807797 hasConceptScore W2040807797C2777904410 @default.
- W2040807797 hasConceptScore W2040807797C2983355114 @default.
- W2040807797 hasConceptScore W2040807797C38652104 @default.
- W2040807797 hasConceptScore W2040807797C41008148 @default.
- W2040807797 hasConceptScore W2040807797C4239916 @default.
- W2040807797 hasConceptScore W2040807797C542102704 @default.
- W2040807797 hasConceptScore W2040807797C55493867 @default.
- W2040807797 hasConceptScore W2040807797C63479239 @default.
- W2040807797 hasConceptScore W2040807797C75949130 @default.
- W2040807797 hasConceptScore W2040807797C77088390 @default.
- W2040807797 hasConceptScore W2040807797C95713431 @default.
- W2040807797 hasLocation W20408077971 @default.
- W2040807797 hasOpenAccess W2040807797 @default.
- W2040807797 hasPrimaryLocation W20408077971 @default.
- W2040807797 hasRelatedWork W120768992 @default.
- W2040807797 hasRelatedWork W1990793567 @default.
- W2040807797 hasRelatedWork W2040807797 @default.
- W2040807797 hasRelatedWork W2042616262 @default.
- W2040807797 hasRelatedWork W2498391341 @default.
- W2040807797 hasRelatedWork W2770474173 @default.
- W2040807797 hasRelatedWork W4206646452 @default.
- W2040807797 hasRelatedWork W4220885008 @default.
- W2040807797 hasRelatedWork W4386004672 @default.
- W2040807797 hasRelatedWork W922414892 @default.
- W2040807797 hasVolume "4" @default.
- W2040807797 isParatext "false" @default.
- W2040807797 isRetracted "false" @default.
- W2040807797 magId "2040807797" @default.
- W2040807797 workType "article" @default.