Achieving Security Assurance with Assertion-based Application Construction

Journal Title: EAI Endorsed Transactions on Collaborative Computing - Year 2015, Vol 1, Issue 6

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 security-related functionality, it is critical to ensure they comply with their design requirements since otherwise unexpected flaws and vulnerabilities may consequently occur. Often, such APIs may lack sufficient specification details, or may implement a semantically-different version of a desired security model to enforce, thus possibly complicating the runtime enforcement of security properties and making it harder to minimize the existence of serious vulnerabilities. This paper proposes a novel approach to address such a critical challenge by leveraging the notion of software assertions. We focus on security requirements in role-based access control models and show how proper verification at the source-code level can be performed with our proposed approach as well as with automated state-of-the-art assertion-based techniques.

Authors and Affiliations

Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr

Keywords

Related Articles

A Tuple Space for Data Sharing in Robot Swarms

In this paper, we present a system to allow a swarm of robots to agree on a set of (key,value) pairs. This system enables a form of information sharing that has the potential to be an asset for coordination in complex en...

An Analytical Study of Computation and Communication Tradeoffs in Distributed Graph

Distributed vertex-centric graph processing systems such as Pregel, Giraph and GPS have acquired significant popularity in recent years. Although the manner in which graph data is partitioned and placed on the computatio...

Analysis of Differential Synchronisation’s Energy Consumption on Mobile Devices

Synchronisation algorithms are central to collaborative editing software. As collaboration is increasingly mediated by mobile devices, the energy eÿciency for such algorithms is interest to a wide community of applicatio...

Notification Mechanisms In Second-Screen Scenarios - Towards a Balanced User Experience

As technological devices surrounding the television are changing, so are viewers’ habits. When the interactive Television industry turns its focus to the development of second-screen applications, this paper reports on a...

Group coordination in a biologically-inspired vectorial network model

Most of the mathematical models of collective behavior describe uncertainty in individual decision making through additive uniform noise. However, recent data driven studies on animal locomotion indicate that a number of...

Download PDF file
  • EP ID EP45707
  • DOI http://dx.doi.org/10.4108/eai.21-12-2015.150819
  • Views 310
  • Downloads 0

How To Cite

Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr (2015). Achieving Security Assurance with Assertion-based Application Construction. EAI Endorsed Transactions on Collaborative Computing, 1(6), -. https://europub.co.uk/articles/-A-45707