Title :
Security analysis of Tramel
Author_Institution :
Dept. of Syst. Anal., Miami Univ., Oxford, OH, USA
Abstract :
An operational formal specification of the Tramel system is presented. Tramel is used by NASA´s Jet Propulsion Laboratory to support asynchronous inter-task communication of distributed software across varying architectures and operating systems. Security analysis of communications between non-Tramel programs and Tramel is explored using an operational trace-based specification model.
Keywords :
formal specification; message passing; security of data; Task Remote Asynchronous Message Exchange Layer; Tramel system; asynchronous inter-task communication; distributed software; operational formal specification; operational trace-based specification model; security analysis; Communication system security; Computer architecture; Formal specifications; Laboratories; Propulsion; Prototypes; Software prototyping; Software testing; Space vehicles; System testing;
Conference_Titel :
Systems Sciences, 1999. HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on
Conference_Location :
Maui, HI, USA
Print_ISBN :
0-7695-0001-3
DOI :
10.1109/HICSS.1999.772902
