Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.
DOI: 10.1109/hase.2004.1281741
|View full text |Cite
|
Sign up to set email alerts
|

The SSP: an example of high-assurance systems engineering

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
11
0

Publication Types

Select...
3
2
1

Relationship

0
6

Authors

Journals

citations
Cited by 11 publications
(11 citation statements)
references
References 14 publications
0
11
0
Order By: Relevance
“…java.lang and java.util). The targeted platform for adapted libraries is the SCORE processor -a jVM developed at Sandia National Laboratories [11,18].…”
Section: Contributionmentioning
confidence: 99%
See 2 more Smart Citations
“…java.lang and java.util). The targeted platform for adapted libraries is the SCORE processor -a jVM developed at Sandia National Laboratories [11,18].…”
Section: Contributionmentioning
confidence: 99%
“…The targeted platform is the SCORE processor [11,18]. We summarize the processor's restrictions below:…”
Section: Infrastructurementioning
confidence: 99%
See 1 more Smart Citation
“…In particular, we will take a closer look at class loading as it relates to the Sandia Secure Processor (SSP) [22]. The SSP is a hardware implementation of a significant subset of the Java Virtual Machine whose application domain extends to embedded high consequence systems.…”
Section: Example Ii: a Java Class Loader Fragmentmentioning
confidence: 99%
“…The implementation is called the Sandia Secure Processor (SSP) [11] [24] and supports a subset of Java bytecodes as its native instruction set. This paper has three objectives: (1) to informally describe the core functionality of the class loader for the SSP, (2) to demonstrate how the abstract functionality of this core class loader can be implemented using higher-order strategic programming techniques, and (3) to discuss how the correctness of the class loader can formally verified.…”
Section: Introductionmentioning
confidence: 99%