Tailoring and Verification of the Trust Boundaries in a Heterogeneous TEE Landscape.

Published in: DSN-S (2023)

Keyphrases

patient specific
trust model
model checking
heterogeneous networks
trust evaluation
object boundaries
formal verification
virtual teams
real world
website
trust relationships
trust propagation
case study
heterogeneous data
verification method