The ultimate control flow transfer in a Java based smart card.
Guillaume BouffardJean-Louis LanetPublished in: Comput. Secur. (2015)
Keyphrases
- control flow
- smart card
- java card
- data flow
- process model
- software testing
- information security
- business process models
- authentication protocol
- security analysis
- security requirements
- authentication scheme
- lightweight
- digital signature
- transition systems
- differential power analysis
- secret key
- workflow management systems
- modeling language
- mobile agents
- remote user authentication scheme
- formal semantics
- artificial intelligence
- business processes