RAMHU: A New Robust Lightweight Scheme for Mutual Users Authentication in Healthcare Applications

Table 5

Some HLSPL’s symbols and statements.

Symbol	Description
.	Concatenation
	Asymmetric encryption with public key
	Used to link the role with the intended entity
	Reaction transitions to relate event with act
/∖	Conjunction
	Goal identifier
	The goal of protecting the secret between entities permanently
	The goal of strong authentication between entities
	What intruder knows about network