FRINK Linked Data Fragments server

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

• W165715981 endingPage "286" @default.
• W165715981 startingPage "267" @default.
• W165715981 abstract "Despite much work on sessions and session types in non-adversarial contexts, session-like behavior given an active adversary has not received an adequate definition and proof methods. We provide a syntactic property that guarantees that a protocol has session-respecting executions. Any uncompromised subset of the participants are still guaranteed that their interaction will respect sessions. A protocol transformation turns any protocol into a session-respecting protocol. We do this via a general theory of separability. Our main theorem applies to different separability requirements, and characterizes when we can separate protocol executions sufficiently to meet a particular requirement. This theorem also gives direct proofs of some old and new protocol composition results. Thus, our theory of separability appears to cover protocol composition and session-like behavior within a uniform framework, and gives a general pattern for reasoning about independence." @default.
• W165715981 created "2016-06-24" @default.
• W165715981 creator A5069090711 @default.
• W165715981 creator A5091406959 @default.
• W165715981 date "2013-01-01" @default.
• W165715981 modified "2023-09-25" @default.
• W165715981 title "Sessions and Separability in Security Protocols" @default.
• W165715981 cites W1499934958 @default.
• W165715981 cites W1541087836 @default.
• W165715981 cites W1542059364 @default.
• W165715981 cites W1548249447 @default.
• W165715981 cites W1555936145 @default.
• W165715981 cites W1597908183 @default.
• W165715981 cites W1784055113 @default.
• W165715981 cites W1835425562 @default.
• W165715981 cites W2026586936 @default.
• W165715981 cites W2027660602 @default.
• W165715981 cites W2029693536 @default.
• W165715981 cites W2029851387 @default.
• W165715981 cites W2052014974 @default.
• W165715981 cites W2075426808 @default.
• W165715981 cites W2092503472 @default.
• W165715981 cites W2095757617 @default.
• W165715981 cites W2104655005 @default.
• W165715981 cites W2109695147 @default.
• W165715981 cites W2117064875 @default.
• W165715981 cites W2124030056 @default.
• W165715981 cites W2146973388 @default.
• W165715981 cites W2153281696 @default.
• W165715981 cites W2155032609 @default.
• W165715981 cites W2157278388 @default.
• W165715981 cites W3008328790 @default.
• W165715981 cites W4235235661 @default.
• W165715981 doi "https://doi.org/10.1007/978-3-642-36830-1_14" @default.
• W165715981 hasPublicationYear "2013" @default.
• W165715981 type Work @default.
• W165715981 sameAs 165715981 @default.
• W165715981 citedByCount "1" @default.
• W165715981 countsByYear W1657159812016 @default.
• W165715981 crossrefType "book-chapter" @default.
• W165715981 hasAuthorship W165715981A5069090711 @default.
• W165715981 hasAuthorship W165715981A5091406959 @default.
• W165715981 hasBestOaLocation W1657159811 @default.
• W165715981 hasConcept C105795698 @default.
• W165715981 hasConcept C108710211 @default.
• W165715981 hasConcept C111472728 @default.
• W165715981 hasConcept C136764020 @default.
• W165715981 hasConcept C138885662 @default.
• W165715981 hasConcept C142724271 @default.
• W165715981 hasConcept C148730421 @default.
• W165715981 hasConcept C154945302 @default.
• W165715981 hasConcept C189950617 @default.
• W165715981 hasConcept C191197275 @default.
• W165715981 hasConcept C204787440 @default.
• W165715981 hasConcept C2524010 @default.
• W165715981 hasConcept C2779182362 @default.
• W165715981 hasConcept C2780385302 @default.
• W165715981 hasConcept C33923547 @default.
• W165715981 hasConcept C35651441 @default.
• W165715981 hasConcept C37736160 @default.
• W165715981 hasConcept C38652104 @default.
• W165715981 hasConcept C41008148 @default.
• W165715981 hasConcept C41065033 @default.
• W165715981 hasConcept C71924100 @default.
• W165715981 hasConcept C80444323 @default.
• W165715981 hasConceptScore W165715981C105795698 @default.
• W165715981 hasConceptScore W165715981C108710211 @default.
• W165715981 hasConceptScore W165715981C111472728 @default.
• W165715981 hasConceptScore W165715981C136764020 @default.
• W165715981 hasConceptScore W165715981C138885662 @default.
• W165715981 hasConceptScore W165715981C142724271 @default.
• W165715981 hasConceptScore W165715981C148730421 @default.
• W165715981 hasConceptScore W165715981C154945302 @default.
• W165715981 hasConceptScore W165715981C189950617 @default.
• W165715981 hasConceptScore W165715981C191197275 @default.
• W165715981 hasConceptScore W165715981C204787440 @default.
• W165715981 hasConceptScore W165715981C2524010 @default.
• W165715981 hasConceptScore W165715981C2779182362 @default.
• W165715981 hasConceptScore W165715981C2780385302 @default.
• W165715981 hasConceptScore W165715981C33923547 @default.
• W165715981 hasConceptScore W165715981C35651441 @default.
• W165715981 hasConceptScore W165715981C37736160 @default.
• W165715981 hasConceptScore W165715981C38652104 @default.
• W165715981 hasConceptScore W165715981C41008148 @default.
• W165715981 hasConceptScore W165715981C41065033 @default.
• W165715981 hasConceptScore W165715981C71924100 @default.
• W165715981 hasConceptScore W165715981C80444323 @default.
• W165715981 hasLocation W1657159811 @default.
• W165715981 hasLocation W1657159812 @default.
• W165715981 hasOpenAccess W165715981 @default.
• W165715981 hasPrimaryLocation W1657159811 @default.
• W165715981 hasRelatedWork W1550213001 @default.
• W165715981 hasRelatedWork W1583236736 @default.
• W165715981 hasRelatedWork W2522301850 @default.
• W165715981 hasRelatedWork W286553814 @default.
• W165715981 hasRelatedWork W3193386261 @default.
• W165715981 hasRelatedWork W4248052496 @default.
• W165715981 hasRelatedWork W4251088474 @default.

• next