Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies.

Rémi Delmas Thomas Polacsek

Published in: CAiSE (2015)

Keyphrases

management policies
formal verification
diffusion model
optimal policy
user requirements
diffusion process
exchange information
real time
anisotropic diffusion
information exchange
share information
model checking
face verification
formal methods
functional requirements
grid workflow