In this paper, we introduce the novel concept of a secure interface deenition compiler (a \se-curity" compiler, for short). We show how interface designers can declare an application's security requirements as part of the interface deenition process, and how a security compiler can automatically generate code that implements security requirements in client stubs and server skeletons. We propose...
