publication venue for Achieving Security Assurance with Assertion-based Application Construction. 1:150819-150819.