Achieving Security Assurance with Assertion-based Application Construction

Rubio-Medrano, Carlos E. and Ahn, Gail-Joon and Sohr, Karsten (2015) Achieving Security Assurance with Assertion-based Application Construction. EAI Endorsed Transactions on Collaborative Computing.

[thumbnail of 22458.pdf] PDF
22458.pdf
Download (1MB)

Abstract

Modern software applications are commonly built by 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 se

Item Type: Article
Date Deposited: 04 Mar 2026 10:37
Last Modified: 12 Apr 2026 10:12
URI: http://eprints.eai.eu/id/eprint/13862

Actions (login required)

View Item
View Item