Research Article
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 | |
|
|