Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569295882> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1569295882 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." @default.
- W1569295882 created "2016-06-24" @default.
- W1569295882 creator A5086388086 @default.
- W1569295882 date "2003-01-20" @default.
- W1569295882 modified "2023-10-18" @default.
- W1569295882 title "Security analysis of Tramel" @default.
- W1569295882 cites W1826694691 @default.
- W1569295882 cites W1991782534 @default.
- W1569295882 cites W2027539574 @default.
- W1569295882 cites W2146191617 @default.
- W1569295882 cites W2162891110 @default.
- W1569295882 cites W2162990087 @default.
- W1569295882 cites W85669259 @default.
- W1569295882 doi "https://doi.org/10.1109/hicss.1999.772902" @default.
- W1569295882 hasPublicationYear "2003" @default.
- W1569295882 type Work @default.
- W1569295882 sameAs 1569295882 @default.
- W1569295882 citedByCount "4" @default.
- W1569295882 crossrefType "proceedings-article" @default.
- W1569295882 hasAuthorship W1569295882A5086388086 @default.
- W1569295882 hasConcept C111919701 @default.
- W1569295882 hasConcept C115903868 @default.
- W1569295882 hasConcept C116253237 @default.
- W1569295882 hasConcept C127413603 @default.
- W1569295882 hasConcept C138885662 @default.
- W1569295882 hasConcept C151319957 @default.
- W1569295882 hasConcept C201995342 @default.
- W1569295882 hasConcept C2777904410 @default.
- W1569295882 hasConcept C2780451532 @default.
- W1569295882 hasConcept C29983905 @default.
- W1569295882 hasConcept C38652104 @default.
- W1569295882 hasConcept C41008148 @default.
- W1569295882 hasConcept C41895202 @default.
- W1569295882 hasConcept C527648132 @default.
- W1569295882 hasConcept C62913178 @default.
- W1569295882 hasConcept C75291252 @default.
- W1569295882 hasConcept C75606506 @default.
- W1569295882 hasConcept C76155785 @default.
- W1569295882 hasConceptScore W1569295882C111919701 @default.
- W1569295882 hasConceptScore W1569295882C115903868 @default.
- W1569295882 hasConceptScore W1569295882C116253237 @default.
- W1569295882 hasConceptScore W1569295882C127413603 @default.
- W1569295882 hasConceptScore W1569295882C138885662 @default.
- W1569295882 hasConceptScore W1569295882C151319957 @default.
- W1569295882 hasConceptScore W1569295882C201995342 @default.
- W1569295882 hasConceptScore W1569295882C2777904410 @default.
- W1569295882 hasConceptScore W1569295882C2780451532 @default.
- W1569295882 hasConceptScore W1569295882C29983905 @default.
- W1569295882 hasConceptScore W1569295882C38652104 @default.
- W1569295882 hasConceptScore W1569295882C41008148 @default.
- W1569295882 hasConceptScore W1569295882C41895202 @default.
- W1569295882 hasConceptScore W1569295882C527648132 @default.
- W1569295882 hasConceptScore W1569295882C62913178 @default.
- W1569295882 hasConceptScore W1569295882C75291252 @default.
- W1569295882 hasConceptScore W1569295882C75606506 @default.
- W1569295882 hasConceptScore W1569295882C76155785 @default.
- W1569295882 hasLocation W15692958821 @default.
- W1569295882 hasOpenAccess W1569295882 @default.
- W1569295882 hasPrimaryLocation W15692958821 @default.
- W1569295882 hasRelatedWork W1596801655 @default.
- W1569295882 hasRelatedWork W2282042430 @default.
- W1569295882 hasRelatedWork W2358668433 @default.
- W1569295882 hasRelatedWork W2376932109 @default.
- W1569295882 hasRelatedWork W2390279801 @default.
- W1569295882 hasRelatedWork W2748952813 @default.
- W1569295882 hasRelatedWork W2898879311 @default.
- W1569295882 hasRelatedWork W2899084033 @default.
- W1569295882 hasRelatedWork W2954121957 @default.
- W1569295882 hasRelatedWork W2997738523 @default.
- W1569295882 isParatext "false" @default.
- W1569295882 isRetracted "false" @default.
- W1569295882 magId "1569295882" @default.
- W1569295882 workType "article" @default.