Trial Implementation of a Secure Application Using Ten15
ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)
Pagination or Media Count:
This report describes the implementation of a subset of the SERCUS demonstration in the abstract algebraically defined, strongly typed language Ten15. Ten15 contains constructs that implement all of the features of a modern high level programming language, as well as facilities for manipulating system level aspects of a computer such as filestore. A general overview of SERCUS as implemented on the Perq is provided, along with a summary of the Ten15 implementation of SERCUS using the Ten15 Cross Compilation System. The use of the Cross Compilation System is then described, along with an overview of the Ten15 notation. The report then describes in detail the implementation of the individual modules making up the Ten15 SERCUS demonstration. These include the classifications, context, journalling, login and related procedures, and the registry modules. Each section describes the modes and operators defined in the module SercusModesandOps for use in the module, followed by descriptions of the procedures contained in the module. The exceptionfailure strategy employed in the Ten15 SERCUS is also described.
- Computer Programming and Software
- Computer Systems Management and Standards