DocumentCode
339855
Title
Security analysis of Tramel
Author
Sobel, A.E.K.
Author_Institution
Dept. of Syst. Anal., Miami Univ., Oxford, OH, USA
Volume
Track3
fYear
1999
fDate
5-8 Jan. 1999
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/HICSS.1999.772902
Filename
772902
Link To Document