FRINK Linked Data Fragments server

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

• W1788426126 endingPage "287" @default.
• W1788426126 startingPage "272" @default.
• W1788426126 abstract "Cryptographic protocols rely on message-passing to coordinate activity among principals. Many richly developed tools, based on well-understood foundations, are available for the design and analysis of pure message-passing protocols. However, in many protocols, a principal uses non-local, mutable state to coordinate its local sessions. Crosssession state poses difficulties for protocol analysis tools. We provide a framework for modeling stateful protocols, and a hybrid analysis method. We leverage theorem-proving—specifically, PVS—for reasoning about computations over state. An “enrich-by-need” approach—embodied by CPSA—focuses on the message-passing part. The Envelope Protocol, due to Mark Ryan furnishes a case study." @default.
• W1788426126 created "2016-06-24" @default.
• W1788426126 creator A5000552585 @default.
• W1788426126 creator A5046515488 @default.
• W1788426126 creator A5069090711 @default.
• W1788426126 creator A5075781365 @default.
• W1788426126 date "2014-01-01" @default.
• W1788426126 modified "2023-10-16" @default.
• W1788426126 title "A Hybrid Analysis for Security Protocols with State" @default.
• W1788426126 cites W1491991545 @default.
• W1788426126 cites W1496367962 @default.
• W1788426126 cites W1534850143 @default.
• W1788426126 cites W1583282080 @default.
• W1788426126 cites W1595155556 @default.
• W1788426126 cites W1596531288 @default.
• W1788426126 cites W1597908183 @default.
• W1788426126 cites W1863793285 @default.
• W1788426126 cites W1872297260 @default.
• W1788426126 cites W2022203768 @default.
• W1788426126 cites W2044073799 @default.
• W1788426126 cites W2073385346 @default.
• W1788426126 cites W2100683351 @default.
• W1788426126 cites W2104655005 @default.
• W1788426126 cites W2127862944 @default.
• W1788426126 cites W2132477736 @default.
• W1788426126 cites W2139017685 @default.
• W1788426126 cites W2147201643 @default.
• W1788426126 cites W2147669587 @default.
• W1788426126 cites W221514783 @default.
• W1788426126 cites W647742179 @default.
• W1788426126 doi "https://doi.org/10.1007/978-3-319-10181-1_17" @default.
• W1788426126 hasPublicationYear "2014" @default.
• W1788426126 type Work @default.
• W1788426126 sameAs 1788426126 @default.
• W1788426126 citedByCount "15" @default.
• W1788426126 countsByYear W17884261262015 @default.
• W1788426126 countsByYear W17884261262016 @default.
• W1788426126 countsByYear W17884261262017 @default.
• W1788426126 countsByYear W17884261262018 @default.
• W1788426126 countsByYear W17884261262019 @default.
• W1788426126 countsByYear W17884261262020 @default.
• W1788426126 countsByYear W17884261262021 @default.
• W1788426126 crossrefType "book-chapter" @default.
• W1788426126 hasAuthorship W1788426126A5000552585 @default.
• W1788426126 hasAuthorship W1788426126A5046515488 @default.
• W1788426126 hasAuthorship W1788426126A5069090711 @default.
• W1788426126 hasAuthorship W1788426126A5075781365 @default.
• W1788426126 hasBestOaLocation W17884261262 @default.
• W1788426126 hasConcept C120314980 @default.
• W1788426126 hasConcept C142724271 @default.
• W1788426126 hasConcept C144559511 @default.
• W1788426126 hasConcept C153083717 @default.
• W1788426126 hasConcept C154945302 @default.
• W1788426126 hasConcept C158379750 @default.
• W1788426126 hasConcept C165751822 @default.
• W1788426126 hasConcept C178489894 @default.
• W1788426126 hasConcept C199360897 @default.
• W1788426126 hasConcept C204787440 @default.
• W1788426126 hasConcept C22927095 @default.
• W1788426126 hasConcept C2780385302 @default.
• W1788426126 hasConcept C33884865 @default.
• W1788426126 hasConcept C38369872 @default.
• W1788426126 hasConcept C38652104 @default.
• W1788426126 hasConcept C41008148 @default.
• W1788426126 hasConcept C48103436 @default.
• W1788426126 hasConcept C71924100 @default.
• W1788426126 hasConcept C80444323 @default.
• W1788426126 hasConceptScore W1788426126C120314980 @default.
• W1788426126 hasConceptScore W1788426126C142724271 @default.
• W1788426126 hasConceptScore W1788426126C144559511 @default.
• W1788426126 hasConceptScore W1788426126C153083717 @default.
• W1788426126 hasConceptScore W1788426126C154945302 @default.
• W1788426126 hasConceptScore W1788426126C158379750 @default.
• W1788426126 hasConceptScore W1788426126C165751822 @default.
• W1788426126 hasConceptScore W1788426126C178489894 @default.
• W1788426126 hasConceptScore W1788426126C199360897 @default.
• W1788426126 hasConceptScore W1788426126C204787440 @default.
• W1788426126 hasConceptScore W1788426126C22927095 @default.
• W1788426126 hasConceptScore W1788426126C2780385302 @default.
• W1788426126 hasConceptScore W1788426126C33884865 @default.
• W1788426126 hasConceptScore W1788426126C38369872 @default.
• W1788426126 hasConceptScore W1788426126C38652104 @default.
• W1788426126 hasConceptScore W1788426126C41008148 @default.
• W1788426126 hasConceptScore W1788426126C48103436 @default.
• W1788426126 hasConceptScore W1788426126C71924100 @default.
• W1788426126 hasConceptScore W1788426126C80444323 @default.
• W1788426126 hasLocation W17884261261 @default.
• W1788426126 hasLocation W17884261262 @default.
• W1788426126 hasOpenAccess W1788426126 @default.
• W1788426126 hasPrimaryLocation W17884261261 @default.
• W1788426126 hasRelatedWork W1024627881 @default.
• W1788426126 hasRelatedWork W1506075192 @default.
• W1788426126 hasRelatedWork W1727279179 @default.
• W1788426126 hasRelatedWork W2112092915 @default.
• W1788426126 hasRelatedWork W2174624365 @default.
• W1788426126 hasRelatedWork W2358638783 @default.
• W1788426126 hasRelatedWork W2808953413 @default.
• W1788426126 hasRelatedWork W3187594930 @default.

• next