FRINK Linked Data Fragments server

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

• W1991234099 endingPage "61" @default.
• W1991234099 startingPage "1" @default.
• W1991234099 abstract "We present an architecture and tools for verifying implementations of security protocols. Our implementations can run with both concrete and symbolic implementations of cryptographic algorithms. The concrete implementation is for production and interoperability testing. The symbolic implementation is for debugging and formal verification. We develop our approach for protocols written in F#, a dialect of ML, and verify them by compilation to ProVerif, a resolution-based theorem prover for cryptographic protocols. We establish the correctness of this compilation scheme, and we illustrate our approach with protocols for Web Services security." @default.
• W1991234099 created "2016-06-24" @default.
• W1991234099 creator A5026297326 @default.
• W1991234099 creator A5040820774 @default.
• W1991234099 creator A5078684560 @default.
• W1991234099 creator A5082774652 @default.
• W1991234099 date "2008-12-01" @default.
• W1991234099 modified "2023-10-05" @default.
• W1991234099 title "Verified interoperable implementations of security protocols" @default.
• W1991234099 cites W1562901937 @default.
• W1991234099 cites W1608435723 @default.
• W1991234099 cites W174979378 @default.
• W1991234099 cites W1817601911 @default.
• W1991234099 cites W1973054120 @default.
• W1991234099 cites W1982325601 @default.
• W1991234099 cites W1983077483 @default.
• W1991234099 cites W1996107803 @default.
• W1991234099 cites W1999810324 @default.
• W1991234099 cites W2002685828 @default.
• W1991234099 cites W2007072126 @default.
• W1991234099 cites W2028613837 @default.
• W1991234099 cites W2029693536 @default.
• W1991234099 cites W2058129511 @default.
• W1991234099 cites W2072210640 @default.
• W1991234099 cites W2097134979 @default.
• W1991234099 cites W2103343871 @default.
• W1991234099 cites W2104578611 @default.
• W1991234099 cites W2118870447 @default.
• W1991234099 cites W2125515762 @default.
• W1991234099 cites W2131660291 @default.
• W1991234099 cites W2134166359 @default.
• W1991234099 cites W2146973388 @default.
• W1991234099 cites W2152744480 @default.
• W1991234099 cites W2154385894 @default.
• W1991234099 cites W2170626879 @default.
• W1991234099 cites W2170630946 @default.
• W1991234099 cites W3031048092 @default.
• W1991234099 doi "https://doi.org/10.1145/1452044.1452049" @default.
• W1991234099 hasPublicationYear "2008" @default.
• W1991234099 type Work @default.
• W1991234099 sameAs 1991234099 @default.
• W1991234099 citedByCount "48" @default.
• W1991234099 countsByYear W19912340992012 @default.
• W1991234099 countsByYear W19912340992013 @default.
• W1991234099 countsByYear W19912340992014 @default.
• W1991234099 countsByYear W19912340992015 @default.
• W1991234099 countsByYear W19912340992017 @default.
• W1991234099 countsByYear W19912340992018 @default.
• W1991234099 countsByYear W19912340992019 @default.
• W1991234099 countsByYear W19912340992021 @default.
• W1991234099 countsByYear W19912340992022 @default.
• W1991234099 countsByYear W19912340992023 @default.
• W1991234099 crossrefType "journal-article" @default.
• W1991234099 hasAuthorship W1991234099A5026297326 @default.
• W1991234099 hasAuthorship W1991234099A5040820774 @default.
• W1991234099 hasAuthorship W1991234099A5078684560 @default.
• W1991234099 hasAuthorship W1991234099A5082774652 @default.
• W1991234099 hasBestOaLocation W19912340991 @default.
• W1991234099 hasConcept C111919701 @default.
• W1991234099 hasConcept C115903868 @default.
• W1991234099 hasConcept C15927051 @default.
• W1991234099 hasConcept C168065819 @default.
• W1991234099 hasConcept C178489894 @default.
• W1991234099 hasConcept C199360897 @default.
• W1991234099 hasConcept C20136886 @default.
• W1991234099 hasConcept C206880738 @default.
• W1991234099 hasConcept C26713055 @default.
• W1991234099 hasConcept C33884865 @default.
• W1991234099 hasConcept C38652104 @default.
• W1991234099 hasConcept C41008148 @default.
• W1991234099 hasConcept C55439883 @default.
• W1991234099 hasConcept C80444323 @default.
• W1991234099 hasConceptScore W1991234099C111919701 @default.
• W1991234099 hasConceptScore W1991234099C115903868 @default.
• W1991234099 hasConceptScore W1991234099C15927051 @default.
• W1991234099 hasConceptScore W1991234099C168065819 @default.
• W1991234099 hasConceptScore W1991234099C178489894 @default.
• W1991234099 hasConceptScore W1991234099C199360897 @default.
• W1991234099 hasConceptScore W1991234099C20136886 @default.
• W1991234099 hasConceptScore W1991234099C206880738 @default.
• W1991234099 hasConceptScore W1991234099C26713055 @default.
• W1991234099 hasConceptScore W1991234099C33884865 @default.
• W1991234099 hasConceptScore W1991234099C38652104 @default.
• W1991234099 hasConceptScore W1991234099C41008148 @default.
• W1991234099 hasConceptScore W1991234099C55439883 @default.
• W1991234099 hasConceptScore W1991234099C80444323 @default.
• W1991234099 hasIssue "1" @default.
• W1991234099 hasLocation W19912340991 @default.
• W1991234099 hasOpenAccess W1991234099 @default.
• W1991234099 hasPrimaryLocation W19912340991 @default.
• W1991234099 hasRelatedWork W1585391890 @default.
• W1991234099 hasRelatedWork W1914742777 @default.
• W1991234099 hasRelatedWork W2036426496 @default.
• W1991234099 hasRelatedWork W2042340048 @default.
• W1991234099 hasRelatedWork W2159543798 @default.
• W1991234099 hasRelatedWork W2176772889 @default.
• W1991234099 hasRelatedWork W2346199595 @default.
• W1991234099 hasRelatedWork W2351521370 @default.

• next