Search For:

Displaying 1-2 out of 2 total
Securing Class Initialization in Java-like Languages
Found in: IEEE Transactions on Dependable and Secure Computing
By Willard Rafnsson,Keiko Nakata,Andrei Sabelfeld
Issue Date:January 2013
pp. 1-13
Language-based information-flow security is concerned with specifying and enforcing security policies for information flow via language constructs. Although much progress has been made on understanding information flow in object-oriented programs, little a...
Limiting information leakage in event-based communication
Found in: Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security (PLAS '11)
By Andrei Sabelfeld, Willard Rafnsson
Issue Date:June 2011
pp. 1-16
Event-based communication is a major source of power and flexibility for today's applications. For example, in the context of a web browser, the dynamism of user experience is driven by events: fine-grained interaction of the user with a web application tr...