Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503660839> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1503660839 endingPage "356" @default.
- W1503660839 startingPage "352" @default.
- W1503660839 abstract "In this paper, mostly consisting of definitions, we revisit the modelsof security protocols: we show that the symbolic and the computationalmodels (as well as others) are instances of a same generic model. Ourdefinitions are also parametrized by the security primitives, thenotion of attacker and, to some extent, the process calculus." @default.
- W1503660839 created "2016-06-24" @default.
- W1503660839 creator A5027210933 @default.
- W1503660839 date "2008-01-01" @default.
- W1503660839 modified "2023-09-23" @default.
- W1503660839 title "About models of security protocols" @default.
- W1503660839 cites W1492593877 @default.
- W1503660839 cites W1582972367 @default.
- W1503660839 cites W1860797715 @default.
- W1503660839 cites W1973054120 @default.
- W1503660839 cites W1982325601 @default.
- W1503660839 cites W1988245494 @default.
- W1503660839 cites W1994676271 @default.
- W1503660839 cites W2127035198 @default.
- W1503660839 cites W3021065823 @default.
- W1503660839 doi "https://doi.org/10.4230/lipics.fsttcs.2008.1766" @default.
- W1503660839 hasPublicationYear "2008" @default.
- W1503660839 type Work @default.
- W1503660839 sameAs 1503660839 @default.
- W1503660839 citedByCount "1" @default.
- W1503660839 crossrefType "proceedings-article" @default.
- W1503660839 hasAuthorship W1503660839A5027210933 @default.
- W1503660839 hasConcept C121822524 @default.
- W1503660839 hasConcept C147343967 @default.
- W1503660839 hasConcept C161771561 @default.
- W1503660839 hasConcept C178489894 @default.
- W1503660839 hasConcept C199360897 @default.
- W1503660839 hasConcept C33884865 @default.
- W1503660839 hasConcept C38652104 @default.
- W1503660839 hasConcept C41008148 @default.
- W1503660839 hasConcept C80444323 @default.
- W1503660839 hasConcept C98045186 @default.
- W1503660839 hasConceptScore W1503660839C121822524 @default.
- W1503660839 hasConceptScore W1503660839C147343967 @default.
- W1503660839 hasConceptScore W1503660839C161771561 @default.
- W1503660839 hasConceptScore W1503660839C178489894 @default.
- W1503660839 hasConceptScore W1503660839C199360897 @default.
- W1503660839 hasConceptScore W1503660839C33884865 @default.
- W1503660839 hasConceptScore W1503660839C38652104 @default.
- W1503660839 hasConceptScore W1503660839C41008148 @default.
- W1503660839 hasConceptScore W1503660839C80444323 @default.
- W1503660839 hasConceptScore W1503660839C98045186 @default.
- W1503660839 hasLocation W15036608391 @default.
- W1503660839 hasOpenAccess W1503660839 @default.
- W1503660839 hasPrimaryLocation W15036608391 @default.
- W1503660839 hasRelatedWork W1510395564 @default.
- W1503660839 hasRelatedWork W1522185018 @default.
- W1503660839 hasRelatedWork W1548945677 @default.
- W1503660839 hasRelatedWork W1635800776 @default.
- W1503660839 hasRelatedWork W1665970519 @default.
- W1503660839 hasRelatedWork W1996281641 @default.
- W1503660839 hasRelatedWork W2030664040 @default.
- W1503660839 hasRelatedWork W2097924903 @default.
- W1503660839 hasRelatedWork W2132606052 @default.
- W1503660839 hasRelatedWork W2140546312 @default.
- W1503660839 hasRelatedWork W2143077513 @default.
- W1503660839 hasRelatedWork W2145946155 @default.
- W1503660839 hasRelatedWork W2317567036 @default.
- W1503660839 hasRelatedWork W2337586789 @default.
- W1503660839 hasRelatedWork W2357170575 @default.
- W1503660839 hasRelatedWork W2507474852 @default.
- W1503660839 hasRelatedWork W2807853195 @default.
- W1503660839 hasRelatedWork W3022774529 @default.
- W1503660839 hasRelatedWork W3029231860 @default.
- W1503660839 hasRelatedWork W69351110 @default.
- W1503660839 hasVolume "2" @default.
- W1503660839 isParatext "false" @default.
- W1503660839 isRetracted "false" @default.
- W1503660839 magId "1503660839" @default.
- W1503660839 workType "article" @default.