Research indexJournal article
Improving perimeter security with security-oriented program transformations
Hafiz, Johnson
1 May 2009
NobleIDark:/48914/w1/20260522/F091BF64DOI10.1109/iwsess.2009.5068460
Improving perimeter security with security-oriented program transformations
Hafiz, Johnson · 2009 · Subscription
NobleIDark:/48914/w1/20260522/F091BF64DOI10.1109/iwsess.2009.5068460
The full text is at the publisher
You can read the abstract here, or open it at the publisher.
Abstract
A security-oriented program transformation maps programs to security-augmented programs, i.e. it introduces a protection mechanism to make programs more secure. Our previous work defined security-oriented program transformations [6], introduced a catalog of transformations [8], and showed how program transformations could be applied to systematically eradicate various types of data injection attacks [9]. This paper shows how security-oriented program transformations could be used to improve the security of a system's perimeter by introducing authentication, authorization and input validation components. The program transformation examples in this paper are JAVA specific, but the transformations could be implemented to use other authentication and authorization frameworks.