Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520200400> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1520200400 abstract "Static analyses allow dangerous code to be rejected before it runs. The distinct security concerns of code providers and end users necessitate that analysis be performed, or at least confirmed, during deployment rather than development; examples of this approach include bytecode verification and proof-carrying code. The situation is more complex in multi-party distributed systems, in which the multiple web services deploying code may have their own competing interests. Applying static analysis techniques to such systems requires the ability to identify the codebase running at a remote location and to dynamically determine the static properties of a codebase associated with an identity. In this paper, we provide formal foundations for these requirements. Rather than craft special-purpose combinators to address these specific concerns, we define a reflective, higher-order applied pi calculus and apply it. We treat process abstractions as serialized program files, and thus permit the direct observation of process syntax. This leads to a semantics quite different from that of higher-order pi or applied pi." @default.
- W1520200400 created "2016-06-24" @default.
- W1520200400 creator A5003460576 @default.
- W1520200400 creator A5089477252 @default.
- W1520200400 date "2010-01-01" @default.
- W1520200400 modified "2023-09-25" @default.
- W1520200400 title "Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties" @default.
- W1520200400 cites W1482731843 @default.
- W1520200400 cites W1540422454 @default.
- W1520200400 cites W1542335382 @default.
- W1520200400 cites W1562901937 @default.
- W1520200400 cites W1570043269 @default.
- W1520200400 cites W1733731286 @default.
- W1520200400 cites W1973054120 @default.
- W1520200400 cites W1987203566 @default.
- W1520200400 cites W1991354622 @default.
- W1520200400 cites W2019545801 @default.
- W1520200400 cites W2024300530 @default.
- W1520200400 cites W2034711041 @default.
- W1520200400 cites W2174624365 @default.
- W1520200400 cites W2657786107 @default.
- W1520200400 cites W86894014 @default.
- W1520200400 doi "https://doi.org/10.1007/978-3-642-12459-4_5" @default.
- W1520200400 hasPublicationYear "2010" @default.
- W1520200400 type Work @default.
- W1520200400 sameAs 1520200400 @default.
- W1520200400 citedByCount "0" @default.
- W1520200400 crossrefType "book-chapter" @default.
- W1520200400 hasAuthorship W1520200400A5003460576 @default.
- W1520200400 hasAuthorship W1520200400A5089477252 @default.
- W1520200400 hasConcept C105339364 @default.
- W1520200400 hasConcept C111498074 @default.
- W1520200400 hasConcept C115903868 @default.
- W1520200400 hasConcept C137287247 @default.
- W1520200400 hasConcept C154504017 @default.
- W1520200400 hasConcept C156325763 @default.
- W1520200400 hasConcept C161771561 @default.
- W1520200400 hasConcept C177264268 @default.
- W1520200400 hasConcept C184337299 @default.
- W1520200400 hasConcept C199360897 @default.
- W1520200400 hasConcept C2776760102 @default.
- W1520200400 hasConcept C2777904410 @default.
- W1520200400 hasConcept C2779818221 @default.
- W1520200400 hasConcept C41008148 @default.
- W1520200400 hasConcept C43126263 @default.
- W1520200400 hasConcept C51929080 @default.
- W1520200400 hasConcept C529173508 @default.
- W1520200400 hasConcept C548217200 @default.
- W1520200400 hasConcept C97686452 @default.
- W1520200400 hasConcept C98045186 @default.
- W1520200400 hasConceptScore W1520200400C105339364 @default.
- W1520200400 hasConceptScore W1520200400C111498074 @default.
- W1520200400 hasConceptScore W1520200400C115903868 @default.
- W1520200400 hasConceptScore W1520200400C137287247 @default.
- W1520200400 hasConceptScore W1520200400C154504017 @default.
- W1520200400 hasConceptScore W1520200400C156325763 @default.
- W1520200400 hasConceptScore W1520200400C161771561 @default.
- W1520200400 hasConceptScore W1520200400C177264268 @default.
- W1520200400 hasConceptScore W1520200400C184337299 @default.
- W1520200400 hasConceptScore W1520200400C199360897 @default.
- W1520200400 hasConceptScore W1520200400C2776760102 @default.
- W1520200400 hasConceptScore W1520200400C2777904410 @default.
- W1520200400 hasConceptScore W1520200400C2779818221 @default.
- W1520200400 hasConceptScore W1520200400C41008148 @default.
- W1520200400 hasConceptScore W1520200400C43126263 @default.
- W1520200400 hasConceptScore W1520200400C51929080 @default.
- W1520200400 hasConceptScore W1520200400C529173508 @default.
- W1520200400 hasConceptScore W1520200400C548217200 @default.
- W1520200400 hasConceptScore W1520200400C97686452 @default.
- W1520200400 hasConceptScore W1520200400C98045186 @default.
- W1520200400 hasLocation W15202004001 @default.
- W1520200400 hasOpenAccess W1520200400 @default.
- W1520200400 hasPrimaryLocation W15202004001 @default.
- W1520200400 hasRelatedWork W1486915527 @default.
- W1520200400 hasRelatedWork W160403501 @default.
- W1520200400 hasRelatedWork W1734334368 @default.
- W1520200400 hasRelatedWork W2182273135 @default.
- W1520200400 hasRelatedWork W2296248453 @default.
- W1520200400 hasRelatedWork W2484118411 @default.
- W1520200400 hasRelatedWork W2511416872 @default.
- W1520200400 hasRelatedWork W2516696752 @default.
- W1520200400 hasRelatedWork W2560572590 @default.
- W1520200400 hasRelatedWork W2625816387 @default.
- W1520200400 hasRelatedWork W2626072773 @default.
- W1520200400 hasRelatedWork W2854587044 @default.
- W1520200400 hasRelatedWork W2898125173 @default.
- W1520200400 hasRelatedWork W2943013893 @default.
- W1520200400 hasRelatedWork W2962835046 @default.
- W1520200400 hasRelatedWork W2970923135 @default.
- W1520200400 hasRelatedWork W2985796433 @default.
- W1520200400 hasRelatedWork W3100118001 @default.
- W1520200400 hasRelatedWork W3126349206 @default.
- W1520200400 hasRelatedWork W3195029717 @default.
- W1520200400 isParatext "false" @default.
- W1520200400 isRetracted "false" @default.
- W1520200400 magId "1520200400" @default.
- W1520200400 workType "book-chapter" @default.