M.: A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference (2009)

by A Aldini, Bernardo
Venue:In Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPAWITS 2009), Springer, LNCS 5511