DMCA

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

Cached

Download Links

by Ro Aldini , Marco Bernardo
Venue:in Proc. of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS’09), Springer, LNCS 5511:18–33
Citations:3 - 1 self