Developing a Security Typed Java Servlet

9 years 4 months ago
Developing a Security Typed Java Servlet
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check for security policy violation that may occur during web application system development. To check for policy compliance, the programmer must walk through all the code and check every line to make sure that there are no security violations. For example, a developer may develop a web application system connected to data base that seems to work properly, but it can make a certain security policy violation by permitting unauthorized users to access the data base system. This paper proposes a solution for the above problem by developing and application of a security typed Java servlet that can run on the web server side safely. This servlet is developed by embedding the Java code produced by compiling the Java information flow language (Jif) (a security-typed programming language that extends Java with support for i...
Doaa Hassan, Sherif El-Kassas, Ibrahim Ziedan
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Authors Doaa Hassan, Sherif El-Kassas, Ibrahim Ziedan
Comments (0)