1. Application and Website Security – Designer Edition:Using Formal Specification Techniques To Discover Design Flaws Daniel OwensIT Security Professional 2. INTRODUCTION…