Achieving Security Assurance with Assertion-based Application Construction
Carlos E. Rubio-Medrano, Gail‐Joon Ahn, Karsten Sohr · 2014
Modern software applications are commonly builtby leveraging pre-fabricated modules, e.g. application programming interfaces (APIs), which are essential to implement the desired functionalities of software applications, helping reduce the overall development costs and time. When APIs deal with sec