Skip to main content


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