Trust Modelling and Verification Using Event-B.

Asieh Salehi Fathabadi Vahid Yazdanpanah

Published in: CoRR (2023)

Keyphrases

event detection
trust model
model checking
condition action rules
database
formal verification
face verification
internet commerce
verification method
trust relationships
asynchronous circuits
virtual teams
formal methods
virtual communities
spatio temporal
case study
information systems