Intransitive non-interference for cryptographic purposes. In

Abstract

Abstrac

    Similar works