FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2796001415> ?p ?o ?g. }

• W2796001415 endingPage "366" @default.
• W2796001415 startingPage "335" @default.
• W2796001415 abstract "We present a new algorithm, together with a full soundness proof, which guarantees probabilistic noninterference (PN) for concurrent programs. The algorithm follows the “low-deterministic security” (LSOD) approach, but for the first time allows general low-nondeterminism as long as PN is not violat ed. The algorithm is based on the earlier observation by Giffhorn and Snelting that low-nondeterminism is secure as long as it is not influenced by high events [International Journal of Information Security 14 (2015) 263–287]. It uses a new system of classification flow equations in multi-threaded programs, together with inter-thread/interprocedural dominators. Compared to LSOD, precision is boosted and false alarms are minimized. We explain details of the new algorithm and its soundness proof. The algorithm is integrated into the JOANA software security tool, and can handle full Java with arbitrary threads. We apply JOANA to a multi-threaded e-voting system, and show how the algorithm eliminates false alarms. We thus demonstrate that low-deterministic security is a highly precise and practically mature software security analysis method." @default.
• W2796001415 created "2018-04-13" @default.
• W2796001415 creator A5018675749 @default.
• W2796001415 creator A5028947472 @default.
• W2796001415 creator A5049741143 @default.
• W2796001415 creator A5051452087 @default.
• W2796001415 creator A5075599540 @default.
• W2796001415 creator A5075887079 @default.
• W2796001415 date "2018-04-09" @default.
• W2796001415 modified "2023-09-28" @default.
• W2796001415 title "Low-deterministic security for low-nondeterministic programs1" @default.
• W2796001415 cites W13082435 @default.
• W2796001415 cites W1482412090 @default.
• W2796001415 cites W1484822807 @default.
• W2796001415 cites W1533386851 @default.
• W2796001415 cites W1579441649 @default.
• W2796001415 cites W1594982746 @default.
• W2796001415 cites W1985453495 @default.
• W2796001415 cites W2012131382 @default.
• W2796001415 cites W2028481887 @default.
• W2796001415 cites W2034527657 @default.
• W2796001415 cites W2039499923 @default.
• W2796001415 cites W2050584434 @default.
• W2796001415 cites W2054383157 @default.
• W2796001415 cites W2057503672 @default.
• W2796001415 cites W2057618986 @default.
• W2796001415 cites W2108887121 @default.
• W2796001415 cites W2122049982 @default.
• W2796001415 cites W2126806819 @default.
• W2796001415 cites W2145400287 @default.
• W2796001415 cites W2145846275 @default.
• W2796001415 cites W2149465027 @default.
• W2796001415 cites W2167272956 @default.
• W2796001415 cites W2170528665 @default.
• W2796001415 cites W2170656359 @default.
• W2796001415 cites W2398006786 @default.
• W2796001415 cites W2481261230 @default.
• W2796001415 cites W2496353951 @default.
• W2796001415 cites W2565255124 @default.
• W2796001415 cites W2744258875 @default.
• W2796001415 cites W2948700248 @default.
• W2796001415 cites W4235389451 @default.
• W2796001415 cites W4235915479 @default.
• W2796001415 cites W4242966830 @default.
• W2796001415 doi "https://doi.org/10.3233/jcs-17984" @default.
• W2796001415 hasPublicationYear "2018" @default.
• W2796001415 type Work @default.
• W2796001415 sameAs 2796001415 @default.
• W2796001415 citedByCount "4" @default.
• W2796001415 countsByYear W27960014152018 @default.
• W2796001415 countsByYear W27960014152019 @default.
• W2796001415 countsByYear W27960014152020 @default.
• W2796001415 countsByYear W27960014152021 @default.
• W2796001415 crossrefType "journal-article" @default.
• W2796001415 hasAuthorship W2796001415A5018675749 @default.
• W2796001415 hasAuthorship W2796001415A5028947472 @default.
• W2796001415 hasAuthorship W2796001415A5049741143 @default.
• W2796001415 hasAuthorship W2796001415A5051452087 @default.
• W2796001415 hasAuthorship W2796001415A5075599540 @default.
• W2796001415 hasAuthorship W2796001415A5075887079 @default.
• W2796001415 hasConcept C11413529 @default.
• W2796001415 hasConcept C138101251 @default.
• W2796001415 hasConcept C154945302 @default.
• W2796001415 hasConcept C176181172 @default.
• W2796001415 hasConcept C17744445 @default.
• W2796001415 hasConcept C199360897 @default.
• W2796001415 hasConcept C199539241 @default.
• W2796001415 hasConcept C2777904410 @default.
• W2796001415 hasConcept C38652104 @default.
• W2796001415 hasConcept C39920170 @default.
• W2796001415 hasConcept C41008148 @default.
• W2796001415 hasConcept C49937458 @default.
• W2796001415 hasConcept C520049643 @default.
• W2796001415 hasConcept C548217200 @default.
• W2796001415 hasConcept C80444323 @default.
• W2796001415 hasConcept C94625758 @default.
• W2796001415 hasConceptScore W2796001415C11413529 @default.
• W2796001415 hasConceptScore W2796001415C138101251 @default.
• W2796001415 hasConceptScore W2796001415C154945302 @default.
• W2796001415 hasConceptScore W2796001415C176181172 @default.
• W2796001415 hasConceptScore W2796001415C17744445 @default.
• W2796001415 hasConceptScore W2796001415C199360897 @default.
• W2796001415 hasConceptScore W2796001415C199539241 @default.
• W2796001415 hasConceptScore W2796001415C2777904410 @default.
• W2796001415 hasConceptScore W2796001415C38652104 @default.
• W2796001415 hasConceptScore W2796001415C39920170 @default.
• W2796001415 hasConceptScore W2796001415C41008148 @default.
• W2796001415 hasConceptScore W2796001415C49937458 @default.
• W2796001415 hasConceptScore W2796001415C520049643 @default.
• W2796001415 hasConceptScore W2796001415C548217200 @default.
• W2796001415 hasConceptScore W2796001415C80444323 @default.
• W2796001415 hasConceptScore W2796001415C94625758 @default.
• W2796001415 hasIssue "3" @default.
• W2796001415 hasLocation W27960014151 @default.
• W2796001415 hasOpenAccess W2796001415 @default.
• W2796001415 hasPrimaryLocation W27960014151 @default.
• W2796001415 hasRelatedWork W1529656707 @default.
• W2796001415 hasRelatedWork W1580323521 @default.

• next