Secrecy in Programming-Language Semantics
Martı́n Abadi · Electronic Notes in Theoretical Computer Science · 1999
These notes discuss secrecy properties of programs from the perspective of programming-language theory. They present and compare some simple type systems for establishing secrecy properties. They also distinguish descriptive and prescriptive statements of secrecy properties.