Process algebra and non-interference. (2001)

by Peter Ryan, Steve Schneider
Venue:J. Comput. Secur.,