Matches in SemOpenAlex for { <https://semopenalex.org/work/W3000553614> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W3000553614 abstract "We describe a verification method for cryptographic protocols, based on first-order invariants. For typical protocols, a suitable invariant can be generated mechanically from the program text, allo..." @default.
- W3000553614 created "2020-01-23" @default.
- W3000553614 creator A5089933462 @default.
- W3000553614 date "2003-03-01" @default.
- W3000553614 modified "2023-09-26" @default.
- W3000553614 title "First-order verification of cryptographic protocols" @default.
- W3000553614 doi "https://doi.org/10.5555/859246.859249" @default.
- W3000553614 hasPublicationYear "2003" @default.
- W3000553614 type Work @default.
- W3000553614 sameAs 3000553614 @default.
- W3000553614 citedByCount "2" @default.
- W3000553614 countsByYear W30005536142015 @default.
- W3000553614 crossrefType "journal-article" @default.
- W3000553614 hasAuthorship W3000553614A5089933462 @default.
- W3000553614 hasConcept C15927051 @default.
- W3000553614 hasConcept C178489894 @default.
- W3000553614 hasConcept C33884865 @default.
- W3000553614 hasConcept C38652104 @default.
- W3000553614 hasConcept C41008148 @default.
- W3000553614 hasConceptScore W3000553614C15927051 @default.
- W3000553614 hasConceptScore W3000553614C178489894 @default.
- W3000553614 hasConceptScore W3000553614C33884865 @default.
- W3000553614 hasConceptScore W3000553614C38652104 @default.
- W3000553614 hasConceptScore W3000553614C41008148 @default.
- W3000553614 hasLocation W30005536141 @default.
- W3000553614 hasOpenAccess W3000553614 @default.
- W3000553614 hasPrimaryLocation W30005536141 @default.
- W3000553614 hasRelatedWork W1487531107 @default.
- W3000553614 hasRelatedWork W1508108434 @default.
- W3000553614 hasRelatedWork W1511606616 @default.
- W3000553614 hasRelatedWork W1773609568 @default.
- W3000553614 hasRelatedWork W1991004527 @default.
- W3000553614 hasRelatedWork W2093305078 @default.
- W3000553614 hasRelatedWork W2111201167 @default.
- W3000553614 hasRelatedWork W2119617924 @default.
- W3000553614 hasRelatedWork W2297563222 @default.
- W3000553614 hasRelatedWork W2339855751 @default.
- W3000553614 hasRelatedWork W2350517833 @default.
- W3000553614 hasRelatedWork W2361781577 @default.
- W3000553614 hasRelatedWork W2369046735 @default.
- W3000553614 hasRelatedWork W2391515972 @default.
- W3000553614 hasRelatedWork W2516369397 @default.
- W3000553614 hasRelatedWork W2613366409 @default.
- W3000553614 hasRelatedWork W2955453015 @default.
- W3000553614 hasRelatedWork W3019583494 @default.
- W3000553614 hasRelatedWork W2193820374 @default.
- W3000553614 hasRelatedWork W2514100693 @default.
- W3000553614 isParatext "false" @default.
- W3000553614 isRetracted "false" @default.
- W3000553614 magId "3000553614" @default.
- W3000553614 workType "article" @default.