Abstract
Current software engineering practice heavily relies on the reliability of software implementation languages and underlying architectures. However, both the currently used languages, as well as the traditional architectures suffer from a shortage of built-in security. In this paper, an architecture is presented, which is heavily influenced by two properties of secure languages: coercion and exception handling. It is shown that proper design decisions lead to an architecture having a compact data representation, allowing both generic and nongeneric instructions. The architecture is object oriented, and object addressing is under control of the operand stream, with optimalisation possibilities to bypass descriptor inspection.
- BU69 Burroughs Corporation "Burroughs B6700 Information Processing System Reference Manual", Burroughs corporation, Detroit, Mich., 1969.Google Scholar
- GO82 Goor, A.J. van de, "Structured Language Architecture Machine "SLAM", Technical University of Delft, 1982.Google Scholar
- GO84 Goor, A.J. van de, "Effects of Technical Developments on System Security", Computers 82 Security, Dec. 1984.Google Scholar
- HA82 Halim, N. and Pershing, J. "A New Language for Writing Portable and Secure Systerns", Proc. Intern. Workshop on High Level Language Computer Architecture, Fort Lauderdale, Flo., Nov-Dee 1982, pp. 196-202.Google Scholar
- IBM82 The NIL Reference Manual, IBM internal document, T.J. Watson Research Center, Yorktown Heights, N.Y., July 1982.Google Scholar
- KA87 Katwijk, J. van, "The ADA- compiler", PhD thesis, Department of Mathematics and Informatics, Technical University of Delft, 1987.Google Scholar
- WE82 Weghe, R.M. van de, "DUNIL, Delft University Network Implementation Language", Master Thesis 051560-28(1982)24, Electrical Engineering Department, Technical University of Delft, Delft, 1982.Google Scholar
Index Terms
DOAS: an object oriented architecture supporting secure languages
Recommendations
DOAS: an object oriented architecture supporting secure languages
MICRO 22: Proceedings of the 22nd annual workshop on Microprogramming and microarchitectureCurrent software engineering practice heavily relies on the reliability of software implementation languages and underlying architectures. However, both the currently used languages, as well as the traditional architectures suffer from a shortage of ...
A Survey of Architecture Description Languages
IWSSD '96: Proceedings of the 8th International Workshop on Software Specification and DesignArchitecture Description Languages (ADLs) are emerging as viable tools for formally representing the architectures of systems. While growing in number, they vary widely in terms of the abstractions they support and analysis capabilities they provide. ...
Integrating architecture description languages: a semantics-based approach
ICDCIT'05: Proceedings of the Second international conference on Distributed Computing and Internet TechnologyNumerous architectural description languages(ADLs) have been developed in the last decade. However, none of the ADLs and their toolsets are expressive enough to cover all the requirements that may be specified while developing a software system. An ADL ...






Comments