Table 4 Primitives used in the FSM of the server
From: An evaluation of reputation with regard to the opportunistic forwarding of messages in VANETs
Primitive | Description |
|---|---|
verify() | Verification of check code |
search() | Searching of reputation certificate |
map() | Mapping of identity of the vehicle |
reputation_agg() | Executing the reputation algorithm |
new_vehicle() | New vehicle in the system |
register_process() | Registering of a new vehicle in the system |
behavioral() | Determining the behavioral factor |