Java White Papers
Object Oriented Verification Kernels for Secure Java Applications
Overview This paper presents an approach to the verification of large Java programs. The focus lies on programs that implement a distributed communicating system e.g. in an M-or E-Commerce scenario. When trying to verify such programs, thousands of Java classes with tens of thousands of lines of code would have to be taken into consideration. That is impossible. The paper introduces a technique that dramatically reduces the amount of source code that must be considered. Additionally, a suitable method for programming security critical systems is introduced. The reduction is achieved by extracting a verification kernel from the program, which is sufficient for proving the correctness of the relevant part.
| Publisher | University of Augsburg | File Format | |
|---|---|---|---|
| Date Published | November 2006 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 5 out of 9 users found this white paper useful
White Paper RSS
Download
Register
