Process algebra; Contexts; Bisimulation; Trace Equivalence

Information flow security in a multilevel system aims at guaranteeing that no high level information is revealed to low level users, even in the presence of any possible malicious process. This requirement could be stronger than necessary when some …