Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions.

David A. Naumann Anindya Banerjee Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. 2-22 2010 ESOP http://dx.doi.org/10.1007/978-3-642-11957-6_2 conf/esop/2010 db/conf/esop/esop2010.html#NaumannB10