FRINK Linked Data Fragments server

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

• W75154067 abstract "We present a formal framework for incremental reasoning about authentication protocols, supported by the Protocol Derivation Assistant (Pda). A salient feature of our derivational approach is that proofs of properties of complex protocols are factored into simpler proofs of properties of their components, combined with proofs that the relevant refinement and composition operations preserve the proven properties or transform them in the desired way. In the present paper, we introduce an axiomatic theory of authentication suitable for the automatic proof of authentication properties. We describe a proof of the authentication property of a simple protocol, as derived in Pda, for which the the proof obligations have been automatically generated and discharged. Producing the proof forced us to spell out previously unrecognized assumptions, on which the correctness of the protocol depends. Pda has support for collaboration and tool integration. It can be freely downloaded from [5]." @default.
• W75154067 created "2016-06-24" @default.
• W75154067 creator A5061638693 @default.
• W75154067 date "2006-01-01" @default.
• W75154067 modified "2023-09-26" @default.
• W75154067 title "Proving Authentication Properties in the Protocol Derivation Assistant" @default.
• W75154067 cites W1513692111 @default.
• W75154067 cites W1530116042 @default.
• W75154067 cites W1562901937 @default.
• W75154067 cites W1566084892 @default.
• W75154067 cites W1578636016 @default.
• W75154067 cites W1578978955 @default.
• W75154067 cites W1597908183 @default.
• W75154067 cites W1756661417 @default.
• W75154067 cites W1935929520 @default.
• W75154067 cites W2029693536 @default.
• W75154067 cites W2052539228 @default.
• W75154067 cites W2091622322 @default.
• W75154067 cites W2105060599 @default.
• W75154067 cites W2105601930 @default.
• W75154067 cites W2109394932 @default.
• W75154067 cites W2113986000 @default.
• W75154067 cites W2117064875 @default.
• W75154067 cites W2120600989 @default.
• W75154067 cites W2123171822 @default.
• W75154067 cites W2123508449 @default.
• W75154067 cites W2127035198 @default.
• W75154067 cites W2131895477 @default.
• W75154067 cites W2132334337 @default.
• W75154067 cites W2141582971 @default.
• W75154067 cites W2150682469 @default.
• W75154067 cites W2154311790 @default.
• W75154067 cites W2156186849 @default.
• W75154067 cites W2156773905 @default.
• W75154067 cites W2169752429 @default.
• W75154067 cites W2171075846 @default.
• W75154067 cites W2175137100 @default.
• W75154067 cites W2914206182 @default.
• W75154067 hasPublicationYear "2006" @default.
• W75154067 type Work @default.
• W75154067 sameAs 75154067 @default.
• W75154067 citedByCount "8" @default.
• W75154067 countsByYear W751540672012 @default.
• W75154067 countsByYear W751540672015 @default.
• W75154067 countsByYear W751540672016 @default.
• W75154067 countsByYear W751540672020 @default.
• W75154067 crossrefType "journal-article" @default.
• W75154067 hasAuthorship W75154067A5061638693 @default.
• W75154067 hasConcept C108710211 @default.
• W75154067 hasConcept C111472728 @default.
• W75154067 hasConcept C138885662 @default.
• W75154067 hasConcept C142724271 @default.
• W75154067 hasConcept C148417208 @default.
• W75154067 hasConcept C167729594 @default.
• W75154067 hasConcept C189950617 @default.
• W75154067 hasConcept C199360897 @default.
• W75154067 hasConcept C203265346 @default.
• W75154067 hasConcept C204787440 @default.
• W75154067 hasConcept C21564112 @default.
• W75154067 hasConcept C2524010 @default.
• W75154067 hasConcept C2780385302 @default.
• W75154067 hasConcept C2780586882 @default.
• W75154067 hasConcept C33923547 @default.
• W75154067 hasConcept C38652104 @default.
• W75154067 hasConcept C41008148 @default.
• W75154067 hasConcept C55439883 @default.
• W75154067 hasConcept C71924100 @default.
• W75154067 hasConcept C80444323 @default.
• W75154067 hasConcept C94461902 @default.
• W75154067 hasConceptScore W75154067C108710211 @default.
• W75154067 hasConceptScore W75154067C111472728 @default.
• W75154067 hasConceptScore W75154067C138885662 @default.
• W75154067 hasConceptScore W75154067C142724271 @default.
• W75154067 hasConceptScore W75154067C148417208 @default.
• W75154067 hasConceptScore W75154067C167729594 @default.
• W75154067 hasConceptScore W75154067C189950617 @default.
• W75154067 hasConceptScore W75154067C199360897 @default.
• W75154067 hasConceptScore W75154067C203265346 @default.
• W75154067 hasConceptScore W75154067C204787440 @default.
• W75154067 hasConceptScore W75154067C21564112 @default.
• W75154067 hasConceptScore W75154067C2524010 @default.
• W75154067 hasConceptScore W75154067C2780385302 @default.
• W75154067 hasConceptScore W75154067C2780586882 @default.
• W75154067 hasConceptScore W75154067C33923547 @default.
• W75154067 hasConceptScore W75154067C38652104 @default.
• W75154067 hasConceptScore W75154067C41008148 @default.
• W75154067 hasConceptScore W75154067C55439883 @default.
• W75154067 hasConceptScore W75154067C71924100 @default.
• W75154067 hasConceptScore W75154067C80444323 @default.
• W75154067 hasConceptScore W75154067C94461902 @default.
• W75154067 hasLocation W751540671 @default.
• W75154067 hasOpenAccess W75154067 @default.
• W75154067 hasPrimaryLocation W751540671 @default.
• W75154067 hasRelatedWork W1559824347 @default.
• W75154067 hasRelatedWork W1566084892 @default.
• W75154067 hasRelatedWork W1591274089 @default.
• W75154067 hasRelatedWork W1597908183 @default.
• W75154067 hasRelatedWork W1914742777 @default.
• W75154067 hasRelatedWork W2029693536 @default.
• W75154067 hasRelatedWork W2091622322 @default.

• next