Validating a high performance programmable secure coprocessor Indoor sax chat woman
This paper, a product of the seond phase of effort, records trend information developed primarily from in-house technical expertise.
This paper details our experiences with successfully validating a trusted device at FIPS 140-1 Level 4 - earning the world\‘s first certificate at this highest level.
In some sense, our validation effort was an experiment to quantify the design and work effort necessary to achieve this previously unachieved security assurance level.
, and at least one author has to have had an affiliation with the Watson team (although not necessarily when the paper was published).
We give a formal specification of the dynamic loading of classes in the Java Virtual Machine (JVM) and of the visibility of mmbers of the loaded classes.
This specification is obtained by abstracting out the part of the run-time state of the JVM that is relevant for dynamic loading and visibility, and consists of a set of inference rules defining abstract operations for loading, linking and verifying classes.