Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503960128> ?p ?o ?g. }
- W1503960128 endingPage "325" @default.
- W1503960128 startingPage "310" @default.
- W1503960128 abstract "We are concerned to give certain guarantees about the security of a system. We identify two kinds of attack: the internally scheduled attack (exemplified by Trojan Horse attacks) and externally scheduled attacks (exemplified by timing attacks). In this paper we focus on the latter. We present a semantic framework for studying such attacks in the context of PCCP, a simple process algebra with a constraint store. We show that a measure of the efficacy of an attacker can be determined by considering its observable behaviour over the ” average” store of the system (for some number of steps). We show how to construct an analysis to determine the average store using the technique of probabilistic abstract interpretation." @default.
- W1503960128 created "2016-06-24" @default.
- W1503960128 creator A5013709529 @default.
- W1503960128 creator A5034703008 @default.
- W1503960128 creator A5018783929 @default.
- W1503960128 date "2002-01-01" @default.
- W1503960128 modified "2023-10-18" @default.
- W1503960128 title "Analysing Approximate Confinement under Uniform Attacks" @default.
- W1503960128 cites W1494550316 @default.
- W1503960128 cites W1521474031 @default.
- W1503960128 cites W1553894716 @default.
- W1503960128 cites W1955233489 @default.
- W1503960128 cites W1977764760 @default.
- W1503960128 cites W1989095004 @default.
- W1503960128 cites W1992374442 @default.
- W1503960128 cites W1993941352 @default.
- W1503960128 cites W2033431741 @default.
- W1503960128 cites W2057503672 @default.
- W1503960128 cites W2081810835 @default.
- W1503960128 cites W2096094850 @default.
- W1503960128 cites W2121739482 @default.
- W1503960128 cites W2137174159 @default.
- W1503960128 cites W2154909745 @default.
- W1503960128 cites W2164297069 @default.
- W1503960128 cites W2168686464 @default.
- W1503960128 cites W2180221446 @default.
- W1503960128 doi "https://doi.org/10.1007/3-540-45789-5_23" @default.
- W1503960128 hasPublicationYear "2002" @default.
- W1503960128 type Work @default.
- W1503960128 sameAs 1503960128 @default.
- W1503960128 citedByCount "7" @default.
- W1503960128 crossrefType "book-chapter" @default.
- W1503960128 hasAuthorship W1503960128A5013709529 @default.
- W1503960128 hasAuthorship W1503960128A5018783929 @default.
- W1503960128 hasAuthorship W1503960128A5034703008 @default.
- W1503960128 hasBestOaLocation W15039601282 @default.
- W1503960128 hasConcept C120665830 @default.
- W1503960128 hasConcept C121332964 @default.
- W1503960128 hasConcept C124101348 @default.
- W1503960128 hasConcept C151730666 @default.
- W1503960128 hasConcept C154945302 @default.
- W1503960128 hasConcept C174333608 @default.
- W1503960128 hasConcept C192209626 @default.
- W1503960128 hasConcept C199360897 @default.
- W1503960128 hasConcept C2524010 @default.
- W1503960128 hasConcept C2776036281 @default.
- W1503960128 hasConcept C2777337426 @default.
- W1503960128 hasConcept C2779343474 @default.
- W1503960128 hasConcept C2780009758 @default.
- W1503960128 hasConcept C2780801425 @default.
- W1503960128 hasConcept C32848918 @default.
- W1503960128 hasConcept C33923547 @default.
- W1503960128 hasConcept C38652104 @default.
- W1503960128 hasConcept C41008148 @default.
- W1503960128 hasConcept C49937458 @default.
- W1503960128 hasConcept C527412718 @default.
- W1503960128 hasConcept C62520636 @default.
- W1503960128 hasConcept C80444323 @default.
- W1503960128 hasConcept C86803240 @default.
- W1503960128 hasConcept C98045186 @default.
- W1503960128 hasConceptScore W1503960128C120665830 @default.
- W1503960128 hasConceptScore W1503960128C121332964 @default.
- W1503960128 hasConceptScore W1503960128C124101348 @default.
- W1503960128 hasConceptScore W1503960128C151730666 @default.
- W1503960128 hasConceptScore W1503960128C154945302 @default.
- W1503960128 hasConceptScore W1503960128C174333608 @default.
- W1503960128 hasConceptScore W1503960128C192209626 @default.
- W1503960128 hasConceptScore W1503960128C199360897 @default.
- W1503960128 hasConceptScore W1503960128C2524010 @default.
- W1503960128 hasConceptScore W1503960128C2776036281 @default.
- W1503960128 hasConceptScore W1503960128C2777337426 @default.
- W1503960128 hasConceptScore W1503960128C2779343474 @default.
- W1503960128 hasConceptScore W1503960128C2780009758 @default.
- W1503960128 hasConceptScore W1503960128C2780801425 @default.
- W1503960128 hasConceptScore W1503960128C32848918 @default.
- W1503960128 hasConceptScore W1503960128C33923547 @default.
- W1503960128 hasConceptScore W1503960128C38652104 @default.
- W1503960128 hasConceptScore W1503960128C41008148 @default.
- W1503960128 hasConceptScore W1503960128C49937458 @default.
- W1503960128 hasConceptScore W1503960128C527412718 @default.
- W1503960128 hasConceptScore W1503960128C62520636 @default.
- W1503960128 hasConceptScore W1503960128C80444323 @default.
- W1503960128 hasConceptScore W1503960128C86803240 @default.
- W1503960128 hasConceptScore W1503960128C98045186 @default.
- W1503960128 hasLocation W15039601281 @default.
- W1503960128 hasLocation W15039601282 @default.
- W1503960128 hasOpenAccess W1503960128 @default.
- W1503960128 hasPrimaryLocation W15039601281 @default.
- W1503960128 hasRelatedWork W2039075288 @default.
- W1503960128 hasRelatedWork W2127785228 @default.
- W1503960128 hasRelatedWork W2198975262 @default.
- W1503960128 hasRelatedWork W2351213879 @default.
- W1503960128 hasRelatedWork W2369184823 @default.
- W1503960128 hasRelatedWork W2372432206 @default.
- W1503960128 hasRelatedWork W2374332588 @default.
- W1503960128 hasRelatedWork W3123798765 @default.
- W1503960128 hasRelatedWork W3138786979 @default.
- W1503960128 hasRelatedWork W46247028 @default.