Matches in SemOpenAlex for { <https://semopenalex.org/work/W58094417> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W58094417 abstract "The possession of secrets is a recurrent theme in security literature and practice. We present a refinement type system, based on indexed intuitonist S4 necessity, for an object calculus with explicit locations (corresponding to principals) to control the principals that may possess a secret. Type safety ensures that if the execution of a well-typed program leads to a configuration with an object p located at principal a, then a possesses the capability to p. We illustrate the type system with simple examples drawn from web applications, including an illustration of how Cross-Site Request Forgery (CSRF) vulnerabilities may manifest themselves as absurd refinements on object declarations during type checking." @default.
- W58094417 created "2016-06-24" @default.
- W58094417 creator A5056673780 @default.
- W58094417 creator A5087794979 @default.
- W58094417 creator A5089477252 @default.
- W58094417 date "2012-01-01" @default.
- W58094417 modified "2023-10-05" @default.
- W58094417 title "Succour to the Confused Deputy" @default.
- W58094417 cites W1535318411 @default.
- W58094417 cites W1562901937 @default.
- W58094417 cites W159994793 @default.
- W58094417 cites W1678412398 @default.
- W58094417 cites W16849275 @default.
- W58094417 cites W2016204058 @default.
- W58094417 cites W2037671236 @default.
- W58094417 cites W2056073317 @default.
- W58094417 cites W2102506488 @default.
- W58094417 cites W2117403024 @default.
- W58094417 cites W2126275975 @default.
- W58094417 cites W2161353020 @default.
- W58094417 cites W2170810021 @default.
- W58094417 cites W2174624365 @default.
- W58094417 cites W2296232480 @default.
- W58094417 cites W2342083136 @default.
- W58094417 cites W4238262926 @default.
- W58094417 doi "https://doi.org/10.1007/978-3-642-35182-2_6" @default.
- W58094417 hasPublicationYear "2012" @default.
- W58094417 type Work @default.
- W58094417 sameAs 58094417 @default.
- W58094417 citedByCount "0" @default.
- W58094417 crossrefType "book-chapter" @default.
- W58094417 hasAuthorship W58094417A5056673780 @default.
- W58094417 hasAuthorship W58094417A5087794979 @default.
- W58094417 hasAuthorship W58094417A5089477252 @default.
- W58094417 hasConcept C154945302 @default.
- W58094417 hasConcept C41008148 @default.
- W58094417 hasConceptScore W58094417C154945302 @default.
- W58094417 hasConceptScore W58094417C41008148 @default.
- W58094417 hasLocation W580944171 @default.
- W58094417 hasOpenAccess W58094417 @default.
- W58094417 hasPrimaryLocation W580944171 @default.
- W58094417 hasRelatedWork W1596801655 @default.
- W58094417 hasRelatedWork W2130043461 @default.
- W58094417 hasRelatedWork W2350741829 @default.
- W58094417 hasRelatedWork W2358668433 @default.
- W58094417 hasRelatedWork W2376932109 @default.
- W58094417 hasRelatedWork W2382290278 @default.
- W58094417 hasRelatedWork W2390279801 @default.
- W58094417 hasRelatedWork W2748952813 @default.
- W58094417 hasRelatedWork W2899084033 @default.
- W58094417 hasRelatedWork W2530322880 @default.
- W58094417 isParatext "false" @default.
- W58094417 isRetracted "false" @default.
- W58094417 magId "58094417" @default.
- W58094417 workType "book-chapter" @default.