@dblp

Intransitive Non-Interference for Cryptographic Purpose.

, and . S&P, page 140-. IEEE Computer Society, (2003)

Links and resources

Tags