Time-sensitive information flow control in timed event-B.

Chunyan Mu Shengchao Qin

Published in: TASE (2017)

Keyphrases

sensitive information
flow control
third party
privacy preserving
low bandwidth
sensitive data
original data
state dependent
databases
data mining
state space
computing environments
protect sensitive