A Formal Security Model of a Smart Card Web Server.
Pierre NeronQuang-Huy NguyenPublished in: CARDIS (2011)
Keyphrases
- web server
- security model
- smart card
- security requirements
- security analysis
- java card
- website
- information security
- web pages
- security mechanisms
- authentication protocol
- public key
- end users
- digital signature
- access control
- secret key
- authentication scheme
- provably secure
- secure communication
- web search engines
- user authentication
- sensitive data
- software development