FRINK Linked Data Fragments server

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

• W1502851386 abstract "Many security architectures make use of layered security protocols, where a special-purpose application protocol is layered on top of a general-purpose secure transport protocol. When analysing such an architecture, it makes sense to abstract away from the implementation details of the secure transport protocol and just model the services it provides. But is this abstraction sound, or might it risk losing attacks? This is the question we consider in this paper. We show that --under certain assumptions-- the abstraction is sound, in the sense that it correctly models the application-layer behaviour as seen by honest principals." @default.
• W1502851386 created "2016-06-24" @default.
• W1502851386 creator A5009748138 @default.
• W1502851386 creator A5077303029 @default.
• W1502851386 date "2011-01-01" @default.
• W1502851386 modified "2023-09-26" @default.
• W1502851386 title "Understanding Abstractions of Secure Channels" @default.
• W1502851386 cites W1491994446 @default.
• W1502851386 cites W1541087836 @default.
• W1502851386 cites W1551843303 @default.
• W1502851386 cites W1602381506 @default.
• W1502851386 cites W1681146363 @default.
• W1502851386 cites W1731788295 @default.
• W1502851386 cites W1835425562 @default.
• W1502851386 cites W1840967680 @default.
• W1502851386 cites W2029851387 @default.
• W1502851386 cites W2052014974 @default.
• W1502851386 cites W2121845793 @default.
• W1502851386 cites W2124030056 @default.
• W1502851386 cites W2125226998 @default.
• W1502851386 cites W2132606052 @default.
• W1502851386 cites W2141582971 @default.
• W1502851386 cites W2152241830 @default.
• W1502851386 doi "https://doi.org/10.1007/978-3-642-19751-2_4" @default.
• W1502851386 hasPublicationYear "2011" @default.
• W1502851386 type Work @default.
• W1502851386 sameAs 1502851386 @default.
• W1502851386 citedByCount "7" @default.
• W1502851386 countsByYear W15028513862012 @default.
• W1502851386 countsByYear W15028513862013 @default.
• W1502851386 countsByYear W15028513862014 @default.
• W1502851386 countsByYear W15028513862015 @default.
• W1502851386 countsByYear W15028513862017 @default.
• W1502851386 countsByYear W15028513862021 @default.
• W1502851386 crossrefType "book-chapter" @default.
• W1502851386 hasAuthorship W1502851386A5009748138 @default.
• W1502851386 hasAuthorship W1502851386A5077303029 @default.
• W1502851386 hasConcept C111472728 @default.
• W1502851386 hasConcept C120314980 @default.
• W1502851386 hasConcept C123657996 @default.
• W1502851386 hasConcept C124304363 @default.
• W1502851386 hasConcept C138885662 @default.
• W1502851386 hasConcept C142362112 @default.
• W1502851386 hasConcept C142724271 @default.
• W1502851386 hasConcept C153349607 @default.
• W1502851386 hasConcept C178489894 @default.
• W1502851386 hasConcept C178790620 @default.
• W1502851386 hasConcept C185592680 @default.
• W1502851386 hasConcept C204787440 @default.
• W1502851386 hasConcept C2779227376 @default.
• W1502851386 hasConcept C2780385302 @default.
• W1502851386 hasConcept C31258907 @default.
• W1502851386 hasConcept C33884865 @default.
• W1502851386 hasConcept C38652104 @default.
• W1502851386 hasConcept C41008148 @default.
• W1502851386 hasConcept C71924100 @default.
• W1502851386 hasConcept C80444323 @default.
• W1502851386 hasConceptScore W1502851386C111472728 @default.
• W1502851386 hasConceptScore W1502851386C120314980 @default.
• W1502851386 hasConceptScore W1502851386C123657996 @default.
• W1502851386 hasConceptScore W1502851386C124304363 @default.
• W1502851386 hasConceptScore W1502851386C138885662 @default.
• W1502851386 hasConceptScore W1502851386C142362112 @default.
• W1502851386 hasConceptScore W1502851386C142724271 @default.
• W1502851386 hasConceptScore W1502851386C153349607 @default.
• W1502851386 hasConceptScore W1502851386C178489894 @default.
• W1502851386 hasConceptScore W1502851386C178790620 @default.
• W1502851386 hasConceptScore W1502851386C185592680 @default.
• W1502851386 hasConceptScore W1502851386C204787440 @default.
• W1502851386 hasConceptScore W1502851386C2779227376 @default.
• W1502851386 hasConceptScore W1502851386C2780385302 @default.
• W1502851386 hasConceptScore W1502851386C31258907 @default.
• W1502851386 hasConceptScore W1502851386C33884865 @default.
• W1502851386 hasConceptScore W1502851386C38652104 @default.
• W1502851386 hasConceptScore W1502851386C41008148 @default.
• W1502851386 hasConceptScore W1502851386C71924100 @default.
• W1502851386 hasConceptScore W1502851386C80444323 @default.
• W1502851386 hasLocation W15028513861 @default.
• W1502851386 hasOpenAccess W1502851386 @default.
• W1502851386 hasPrimaryLocation W15028513861 @default.
• W1502851386 hasRelatedWork W118637762 @default.
• W1502851386 hasRelatedWork W1500196878 @default.
• W1502851386 hasRelatedWork W1504821644 @default.
• W1502851386 hasRelatedWork W1510395564 @default.
• W1502851386 hasRelatedWork W1513741154 @default.
• W1502851386 hasRelatedWork W1541087836 @default.
• W1502851386 hasRelatedWork W1731788295 @default.
• W1502851386 hasRelatedWork W1987743852 @default.
• W1502851386 hasRelatedWork W1989002073 @default.
• W1502851386 hasRelatedWork W2024770257 @default.
• W1502851386 hasRelatedWork W2026586936 @default.
• W1502851386 hasRelatedWork W2037084871 @default.
• W1502851386 hasRelatedWork W2125226998 @default.
• W1502851386 hasRelatedWork W2146681155 @default.
• W1502851386 hasRelatedWork W2152241830 @default.
• W1502851386 hasRelatedWork W2160973709 @default.
• W1502851386 hasRelatedWork W2281146526 @default.
• W1502851386 hasRelatedWork W2788178296 @default.
• W1502851386 hasRelatedWork W2907876 @default.
• W1502851386 hasRelatedWork W3099742470 @default.

• next