Sign in
A novel mutual authentication scheme with formal proof for smart healthcare systems under global mobility networks notion.
Fan Wu
Xiong Li
Lili Xu
Saru Kumari
Arun Kumar Sangaiah
Published in:
Comput. Electr. Eng. (2018)
Keyphrases
</>
authentication scheme
formal proof
healthcare systems
smart card
user authentication
secret key
theorem prover
public key
security flaws
databases
information systems
web services
wireless networks
authentication protocol
tampering detection