Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572191124> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1572191124 abstract "We characterize the properties of timing channels that are reflected in source code and present formal methods for the identification of these channels in source code of trusted computing bases (TCBs). Our study differs significantly from previous ones which focus on a high-level characterization of timing channels without leading to practical methods for their identification [11," @default.
- W1572191124 created "2016-06-24" @default.
- W1572191124 creator A5010171786 @default.
- W1572191124 creator A5032712488 @default.
- W1572191124 date "1992-01-01" @default.
- W1572191124 modified "2023-09-22" @default.
- W1572191124 title "Formal methods and automated tool for timing-channel identification in tcb source code" @default.
- W1572191124 cites W1987323082 @default.
- W1572191124 cites W1993302007 @default.
- W1572191124 cites W2039638451 @default.
- W1572191124 cites W2094873755 @default.
- W1572191124 cites W2098451214 @default.
- W1572191124 cites W2099137371 @default.
- W1572191124 cites W2121686124 @default.
- W1572191124 cites W2166180744 @default.
- W1572191124 doi "https://doi.org/10.1007/bfb0013892" @default.
- W1572191124 hasPublicationYear "1992" @default.
- W1572191124 type Work @default.
- W1572191124 sameAs 1572191124 @default.
- W1572191124 citedByCount "3" @default.
- W1572191124 crossrefType "book-chapter" @default.
- W1572191124 hasAuthorship W1572191124A5010171786 @default.
- W1572191124 hasAuthorship W1572191124A5032712488 @default.
- W1572191124 hasBestOaLocation W15721911241 @default.
- W1572191124 hasConcept C116834253 @default.
- W1572191124 hasConcept C120665830 @default.
- W1572191124 hasConcept C121332964 @default.
- W1572191124 hasConcept C127162648 @default.
- W1572191124 hasConcept C177264268 @default.
- W1572191124 hasConcept C192209626 @default.
- W1572191124 hasConcept C199360897 @default.
- W1572191124 hasConcept C2776760102 @default.
- W1572191124 hasConcept C41008148 @default.
- W1572191124 hasConcept C43126263 @default.
- W1572191124 hasConcept C59822182 @default.
- W1572191124 hasConcept C76155785 @default.
- W1572191124 hasConcept C86803240 @default.
- W1572191124 hasConceptScore W1572191124C116834253 @default.
- W1572191124 hasConceptScore W1572191124C120665830 @default.
- W1572191124 hasConceptScore W1572191124C121332964 @default.
- W1572191124 hasConceptScore W1572191124C127162648 @default.
- W1572191124 hasConceptScore W1572191124C177264268 @default.
- W1572191124 hasConceptScore W1572191124C192209626 @default.
- W1572191124 hasConceptScore W1572191124C199360897 @default.
- W1572191124 hasConceptScore W1572191124C2776760102 @default.
- W1572191124 hasConceptScore W1572191124C41008148 @default.
- W1572191124 hasConceptScore W1572191124C43126263 @default.
- W1572191124 hasConceptScore W1572191124C59822182 @default.
- W1572191124 hasConceptScore W1572191124C76155785 @default.
- W1572191124 hasConceptScore W1572191124C86803240 @default.
- W1572191124 hasLocation W15721911241 @default.
- W1572191124 hasOpenAccess W1572191124 @default.
- W1572191124 hasPrimaryLocation W15721911241 @default.
- W1572191124 hasRelatedWork W1471507 @default.
- W1572191124 hasRelatedWork W1968836747 @default.
- W1572191124 hasRelatedWork W2000047392 @default.
- W1572191124 hasRelatedWork W2069422100 @default.
- W1572191124 hasRelatedWork W2077825578 @default.
- W1572191124 hasRelatedWork W2108535402 @default.
- W1572191124 hasRelatedWork W21233123 @default.
- W1572191124 hasRelatedWork W2126222634 @default.
- W1572191124 hasRelatedWork W2130990529 @default.
- W1572191124 hasRelatedWork W2140684357 @default.
- W1572191124 hasRelatedWork W2153987222 @default.
- W1572191124 hasRelatedWork W2162333810 @default.
- W1572191124 hasRelatedWork W2359417457 @default.
- W1572191124 hasRelatedWork W2360128176 @default.
- W1572191124 hasRelatedWork W2372685778 @default.
- W1572191124 hasRelatedWork W2372781139 @default.
- W1572191124 hasRelatedWork W241660568 @default.
- W1572191124 hasRelatedWork W2535088717 @default.
- W1572191124 hasRelatedWork W2595350342 @default.
- W1572191124 hasRelatedWork W2808474923 @default.
- W1572191124 isParatext "false" @default.
- W1572191124 isRetracted "false" @default.
- W1572191124 magId "1572191124" @default.
- W1572191124 workType "book-chapter" @default.