Securing Nonintrusive Web Encryption through Information Flow

Andrew C. Myers
Proceedings of the 2008 workshop on programming languages and analysis for security
Google Scholar

Abstract