From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT

Table 1

WSNNode class framework specific for WSN sensor modeling.

Class	Variable	Method
WSNNode	(i) ID: int	+getID(): int
	(ii) Loc: Location	+getLocation(): Location
	(iii) Nonce: int	+getNonce(): int
	(iv) TransRadius: int
	(v) Knowledge: KnowledgeSet
	(vi) PrivateKey: Key
Location	(i) Axis: int
	(ii) Axis: int
Key	(i) ID: int	+getID(): int
	(ii) Loc: Location	+getLocation(): int
	(iii) Type: int
KnowledgeSet	Utype: enumeration