Ali, Rifaqat2018-10-302018-10-302018-10http://hdl.handle.net/123456789/1402enBAN LogicAVISPA toolE-healthcareRandom oracle modelRSA cryptosystemPh.DCSEPH1343Design of remote user authentication schemes based on cryptographic approachThesis