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