FRINK Linked Data Fragments server

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

• W2114497629 endingPage "311" @default.
• W2114497629 startingPage "247" @default.
• W2114497629 abstract "We formalize the Dolev–Yao model of security protocols, using a notation based on multiset rewriting with existentials. The goals are to provide a simple formal notation for describing security protocols, to formalize the assumptions of the Dolev–Yao" @default.
• W2114497629 created "2016-06-24" @default.
• W2114497629 creator A5003908930 @default.
• W2114497629 creator A5033241736 @default.
• W2114497629 creator A5054465062 @default.
• W2114497629 creator A5060775456 @default.
• W2114497629 date "2004-02-01" @default.
• W2114497629 modified "2023-10-16" @default.
• W2114497629 title "Multiset rewriting and the complexity of bounded security protocols" @default.
• W2114497629 cites W11971752 @default.
• W2114497629 cites W1486676229 @default.
• W2114497629 cites W1503991720 @default.
• W2114497629 cites W1518887142 @default.
• W2114497629 cites W1521883036 @default.
• W2114497629 cites W1523512699 @default.
• W2114497629 cites W1542190420 @default.
• W2114497629 cites W1562901937 @default.
• W2114497629 cites W1573231949 @default.
• W2114497629 cites W1585877836 @default.
• W2114497629 cites W1635413415 @default.
• W2114497629 cites W1727096726 @default.
• W2114497629 cites W1779054477 @default.
• W2114497629 cites W1867986337 @default.
• W2114497629 cites W1973745704 @default.
• W2114497629 cites W1979382506 @default.
• W2114497629 cites W1988327784 @default.
• W2114497629 cites W1989783863 @default.
• W2114497629 cites W1994584977 @default.
• W2114497629 cites W1994676271 @default.
• W2114497629 cites W2010939995 @default.
• W2114497629 cites W2012428008 @default.
• W2114497629 cites W2029693536 @default.
• W2114497629 cites W2035406799 @default.
• W2114497629 cites W2055378322 @default.
• W2114497629 cites W2074244772 @default.
• W2114497629 cites W2082529483 @default.
• W2114497629 cites W2084788336 @default.
• W2114497629 cites W2088094394 @default.
• W2114497629 cites W2088096459 @default.
• W2114497629 cites W2096939726 @default.
• W2114497629 cites W2098339462 @default.
• W2114497629 cites W2104130981 @default.
• W2114497629 cites W2104494325 @default.
• W2114497629 cites W2105505307 @default.
• W2114497629 cites W2105750191 @default.
• W2114497629 cites W2107905351 @default.
• W2114497629 cites W2110423379 @default.
• W2114497629 cites W2116976042 @default.
• W2114497629 cites W2118034427 @default.
• W2114497629 cites W2119617924 @default.
• W2114497629 cites W2124679171 @default.
• W2114497629 cites W2124782811 @default.
• W2114497629 cites W2131895477 @default.
• W2114497629 cites W2134587548 @default.
• W2114497629 cites W2140587192 @default.
• W2114497629 cites W2142191554 @default.
• W2114497629 cites W2146973388 @default.
• W2114497629 cites W2150426251 @default.
• W2114497629 cites W2150682469 @default.
• W2114497629 cites W2151141190 @default.
• W2114497629 cites W2153921791 @default.
• W2114497629 cites W2180774571 @default.
• W2114497629 cites W2290014530 @default.
• W2114497629 cites W2413236481 @default.
• W2114497629 cites W2543855814 @default.
• W2114497629 cites W2911865844 @default.
• W2114497629 cites W3013607954 @default.
• W2114497629 cites W3143649921 @default.
• W2114497629 cites W9614445 @default.
• W2114497629 doi "https://doi.org/10.3233/jcs-2004-12203" @default.
• W2114497629 hasPublicationYear "2004" @default.
• W2114497629 type Work @default.
• W2114497629 sameAs 2114497629 @default.
• W2114497629 citedByCount "139" @default.
• W2114497629 countsByYear W21144976292012 @default.
• W2114497629 countsByYear W21144976292013 @default.
• W2114497629 countsByYear W21144976292014 @default.
• W2114497629 countsByYear W21144976292015 @default.
• W2114497629 countsByYear W21144976292016 @default.
• W2114497629 countsByYear W21144976292017 @default.
• W2114497629 countsByYear W21144976292018 @default.
• W2114497629 countsByYear W21144976292019 @default.
• W2114497629 countsByYear W21144976292020 @default.
• W2114497629 countsByYear W21144976292021 @default.
• W2114497629 countsByYear W21144976292022 @default.
• W2114497629 crossrefType "journal-article" @default.
• W2114497629 hasAuthorship W2114497629A5003908930 @default.
• W2114497629 hasAuthorship W2114497629A5033241736 @default.
• W2114497629 hasAuthorship W2114497629A5054465062 @default.
• W2114497629 hasAuthorship W2114497629A5060775456 @default.
• W2114497629 hasConcept C118615104 @default.
• W2114497629 hasConcept C134306372 @default.
• W2114497629 hasConcept C154690210 @default.
• W2114497629 hasConcept C178489894 @default.
• W2114497629 hasConcept C199360897 @default.
• W2114497629 hasConcept C2779623528 @default.
• W2114497629 hasConcept C33884865 @default.
• W2114497629 hasConcept C33923547 @default.

• next