FRINK Linked Data Fragments server

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

• W1485364906 endingPage "49" @default.
• W1485364906 startingPage "35" @default.
• W1485364906 abstract "This paper discusses progress in the verification of security protocols. Focusing on a small, classic example, it stresses the use of program-like representations of protocols, and their automatic analysis in symbolic and computational models." @default.
• W1485364906 created "2016-06-24" @default.
• W1485364906 creator A5004976322 @default.
• W1485364906 creator A5027210933 @default.
• W1485364906 creator A5061767913 @default.
• W1485364906 date "2009-01-01" @default.
• W1485364906 modified "2023-10-18" @default.
• W1485364906 title "Models and Proofs of Protocol Security: A Progress Report" @default.
• W1485364906 cites W1480122568 @default.
• W1485364906 cites W1527737101 @default.
• W1485364906 cites W1531296821 @default.
• W1485364906 cites W1533411097 @default.
• W1485364906 cites W1562901937 @default.
• W1485364906 cites W1589057282 @default.
• W1485364906 cites W1597908183 @default.
• W1485364906 cites W1607941647 @default.
• W1485364906 cites W170425430 @default.
• W1485364906 cites W174979378 @default.
• W1485364906 cites W1979053020 @default.
• W1485364906 cites W2013672985 @default.
• W1485364906 cites W2016142193 @default.
• W1485364906 cites W2055259417 @default.
• W1485364906 cites W2063161063 @default.
• W1485364906 cites W2063608931 @default.
• W1485364906 cites W2072210640 @default.
• W1485364906 cites W2073385346 @default.
• W1485364906 cites W2108978217 @default.
• W1485364906 cites W2110172854 @default.
• W1485364906 cites W2119275622 @default.
• W1485364906 cites W2125515762 @default.
• W1485364906 cites W2155032609 @default.
• W1485364906 cites W2159435827 @default.
• W1485364906 cites W2159617506 @default.
• W1485364906 cites W2162808394 @default.
• W1485364906 cites W2165214731 @default.
• W1485364906 cites W2165477067 @default.
• W1485364906 cites W2170630946 @default.
• W1485364906 cites W2175661655 @default.
• W1485364906 cites W3003983481 @default.
• W1485364906 cites W3031048092 @default.
• W1485364906 cites W3125672686 @default.
• W1485364906 cites W4210300416 @default.
• W1485364906 cites W4240945145 @default.
• W1485364906 cites W4248404554 @default.
• W1485364906 cites W4298899321 @default.
• W1485364906 cites W4323053704 @default.
• W1485364906 doi "https://doi.org/10.1007/978-3-642-02658-4_5" @default.
• W1485364906 hasPublicationYear "2009" @default.
• W1485364906 type Work @default.
• W1485364906 sameAs 1485364906 @default.
• W1485364906 citedByCount "71" @default.
• W1485364906 countsByYear W14853649062012 @default.
• W1485364906 countsByYear W14853649062013 @default.
• W1485364906 countsByYear W14853649062014 @default.
• W1485364906 countsByYear W14853649062015 @default.
• W1485364906 countsByYear W14853649062016 @default.
• W1485364906 countsByYear W14853649062017 @default.
• W1485364906 countsByYear W14853649062018 @default.
• W1485364906 countsByYear W14853649062019 @default.
• W1485364906 countsByYear W14853649062020 @default.
• W1485364906 countsByYear W14853649062021 @default.
• W1485364906 countsByYear W14853649062022 @default.
• W1485364906 countsByYear W14853649062023 @default.
• W1485364906 crossrefType "book-chapter" @default.
• W1485364906 hasAuthorship W1485364906A5004976322 @default.
• W1485364906 hasAuthorship W1485364906A5027210933 @default.
• W1485364906 hasAuthorship W1485364906A5061767913 @default.
• W1485364906 hasBestOaLocation W14853649061 @default.
• W1485364906 hasConcept C108710211 @default.
• W1485364906 hasConcept C115903868 @default.
• W1485364906 hasConcept C142724271 @default.
• W1485364906 hasConcept C178489894 @default.
• W1485364906 hasConcept C199360897 @default.
• W1485364906 hasConcept C204787440 @default.
• W1485364906 hasConcept C2524010 @default.
• W1485364906 hasConcept C2780385302 @default.
• W1485364906 hasConcept C33884865 @default.
• W1485364906 hasConcept C33923547 @default.
• W1485364906 hasConcept C38652104 @default.
• W1485364906 hasConcept C41008148 @default.
• W1485364906 hasConcept C71924100 @default.
• W1485364906 hasConcept C80444323 @default.
• W1485364906 hasConceptScore W1485364906C108710211 @default.
• W1485364906 hasConceptScore W1485364906C115903868 @default.
• W1485364906 hasConceptScore W1485364906C142724271 @default.
• W1485364906 hasConceptScore W1485364906C178489894 @default.
• W1485364906 hasConceptScore W1485364906C199360897 @default.
• W1485364906 hasConceptScore W1485364906C204787440 @default.
• W1485364906 hasConceptScore W1485364906C2524010 @default.
• W1485364906 hasConceptScore W1485364906C2780385302 @default.
• W1485364906 hasConceptScore W1485364906C33884865 @default.
• W1485364906 hasConceptScore W1485364906C33923547 @default.
• W1485364906 hasConceptScore W1485364906C38652104 @default.
• W1485364906 hasConceptScore W1485364906C41008148 @default.
• W1485364906 hasConceptScore W1485364906C71924100 @default.
• W1485364906 hasConceptScore W1485364906C80444323 @default.
• W1485364906 hasLocation W14853649061 @default.
• W1485364906 hasLocation W14853649062 @default.

• next