Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569250084> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1569250084 abstract "We revisit the approach defined in [2] for the formal verification of cryptographic protocols so as to allow for some mechanization in the verification process. In the original approach verification uses theorem proving. Here we show that for a wide range of practical situations and properties it is possible to perform the verification on a finite and safe abstract model." @default.
- W1569250084 created "2016-06-24" @default.
- W1569250084 creator A5025030118 @default.
- W1569250084 date "1997-01-01" @default.
- W1569250084 modified "2023-09-25" @default.
- W1569250084 title "Towards a mechanization of cryptographic protocol verification" @default.
- W1569250084 cites W1487396988 @default.
- W1569250084 cites W1881906100 @default.
- W1569250084 cites W1987073197 @default.
- W1569250084 cites W2080593426 @default.
- W1569250084 cites W2093305078 @default.
- W1569250084 cites W2142120435 @default.
- W1569250084 cites W2169908972 @default.
- W1569250084 doi "https://doi.org/10.1007/3-540-63166-6_15" @default.
- W1569250084 hasPublicationYear "1997" @default.
- W1569250084 type Work @default.
- W1569250084 sameAs 1569250084 @default.
- W1569250084 citedByCount "33" @default.
- W1569250084 countsByYear W15692500842012 @default.
- W1569250084 crossrefType "book-chapter" @default.
- W1569250084 hasAuthorship W1569250084A5025030118 @default.
- W1569250084 hasBestOaLocation W15692500841 @default.
- W1569250084 hasConcept C111498074 @default.
- W1569250084 hasConcept C11413529 @default.
- W1569250084 hasConcept C142284323 @default.
- W1569250084 hasConcept C149091818 @default.
- W1569250084 hasConcept C15927051 @default.
- W1569250084 hasConcept C159985019 @default.
- W1569250084 hasConcept C178489894 @default.
- W1569250084 hasConcept C186846655 @default.
- W1569250084 hasConcept C192562407 @default.
- W1569250084 hasConcept C199360897 @default.
- W1569250084 hasConcept C204323151 @default.
- W1569250084 hasConcept C206880738 @default.
- W1569250084 hasConcept C2777904410 @default.
- W1569250084 hasConcept C33884865 @default.
- W1569250084 hasConcept C41008148 @default.
- W1569250084 hasConcept C75606506 @default.
- W1569250084 hasConcept C80444323 @default.
- W1569250084 hasConcept C98045186 @default.
- W1569250084 hasConceptScore W1569250084C111498074 @default.
- W1569250084 hasConceptScore W1569250084C11413529 @default.
- W1569250084 hasConceptScore W1569250084C142284323 @default.
- W1569250084 hasConceptScore W1569250084C149091818 @default.
- W1569250084 hasConceptScore W1569250084C15927051 @default.
- W1569250084 hasConceptScore W1569250084C159985019 @default.
- W1569250084 hasConceptScore W1569250084C178489894 @default.
- W1569250084 hasConceptScore W1569250084C186846655 @default.
- W1569250084 hasConceptScore W1569250084C192562407 @default.
- W1569250084 hasConceptScore W1569250084C199360897 @default.
- W1569250084 hasConceptScore W1569250084C204323151 @default.
- W1569250084 hasConceptScore W1569250084C206880738 @default.
- W1569250084 hasConceptScore W1569250084C2777904410 @default.
- W1569250084 hasConceptScore W1569250084C33884865 @default.
- W1569250084 hasConceptScore W1569250084C41008148 @default.
- W1569250084 hasConceptScore W1569250084C75606506 @default.
- W1569250084 hasConceptScore W1569250084C80444323 @default.
- W1569250084 hasConceptScore W1569250084C98045186 @default.
- W1569250084 hasLocation W15692500841 @default.
- W1569250084 hasOpenAccess W1569250084 @default.
- W1569250084 hasPrimaryLocation W15692500841 @default.
- W1569250084 hasRelatedWork W1552843130 @default.
- W1569250084 hasRelatedWork W1597765364 @default.
- W1569250084 hasRelatedWork W1660562555 @default.
- W1569250084 hasRelatedWork W1841687327 @default.
- W1569250084 hasRelatedWork W1973054120 @default.
- W1569250084 hasRelatedWork W1994676271 @default.
- W1569250084 hasRelatedWork W2001788001 @default.
- W1569250084 hasRelatedWork W2002770083 @default.
- W1569250084 hasRelatedWork W2003915781 @default.
- W1569250084 hasRelatedWork W2010939995 @default.
- W1569250084 hasRelatedWork W2029693536 @default.
- W1569250084 hasRelatedWork W2049224403 @default.
- W1569250084 hasRelatedWork W2074244772 @default.
- W1569250084 hasRelatedWork W2097913369 @default.
- W1569250084 hasRelatedWork W2146973388 @default.
- W1569250084 hasRelatedWork W2150682469 @default.
- W1569250084 hasRelatedWork W2155032609 @default.
- W1569250084 hasRelatedWork W2413236481 @default.
- W1569250084 hasRelatedWork W3143649921 @default.
- W1569250084 hasRelatedWork W3162919972 @default.
- W1569250084 isParatext "false" @default.
- W1569250084 isRetracted "false" @default.
- W1569250084 magId "1569250084" @default.
- W1569250084 workType "book-chapter" @default.