Matches in SemOpenAlex for { <https://semopenalex.org/work/W1773609568> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1773609568 endingPage "216" @default.
- W1773609568 startingPage "189" @default.
- W1773609568 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, allowing safety properties to be proved by ordinary first-order reasoning. The method has been implemented in an automatic verifier, TAPS, that proves safety properties comparable to those in published Isabelle verifications, but does so much faster with little or no guidance from the user. TAPS has verified properties of about 100 protocols, including all but three protocols from the Clark and Jacob survey; on average, these verifications require less than a second of CPU time and less than 4 bytes of hints from the user." @default.
- W1773609568 created "2016-06-24" @default.
- W1773609568 creator A5036882148 @default.
- W1773609568 date "2003-04-01" @default.
- W1773609568 modified "2023-10-18" @default.
- W1773609568 title "First-order verification of cryptographic protocols" @default.
- W1773609568 cites W1494987821 @default.
- W1773609568 cites W1495433690 @default.
- W1773609568 cites W1509743338 @default.
- W1773609568 cites W1542059364 @default.
- W1773609568 cites W1571999050 @default.
- W1773609568 cites W1670563787 @default.
- W1773609568 cites W1705753742 @default.
- W1773609568 cites W1779054477 @default.
- W1773609568 cites W2005594475 @default.
- W1773609568 cites W2010939995 @default.
- W1773609568 cites W2047241038 @default.
- W1773609568 cites W2049224403 @default.
- W1773609568 cites W2101879500 @default.
- W1773609568 cites W2102922499 @default.
- W1773609568 cites W2114189125 @default.
- W1773609568 cites W2119579128 @default.
- W1773609568 cites W2132898941 @default.
- W1773609568 cites W2151803723 @default.
- W1773609568 cites W2151955821 @default.
- W1773609568 cites W2156050784 @default.
- W1773609568 cites W2164587664 @default.
- W1773609568 cites W2170718011 @default.
- W1773609568 cites W3013607954 @default.
- W1773609568 cites W3162919972 @default.
- W1773609568 doi "https://doi.org/10.3233/jcs-2003-11203" @default.
- W1773609568 hasPublicationYear "2003" @default.
- W1773609568 type Work @default.
- W1773609568 sameAs 1773609568 @default.
- W1773609568 citedByCount "31" @default.
- W1773609568 countsByYear W17736095682012 @default.
- W1773609568 countsByYear W17736095682013 @default.
- W1773609568 countsByYear W17736095682015 @default.
- W1773609568 crossrefType "journal-article" @default.
- W1773609568 hasAuthorship W1773609568A5036882148 @default.
- W1773609568 hasConcept C11413529 @default.
- W1773609568 hasConcept C15927051 @default.
- W1773609568 hasConcept C178489894 @default.
- W1773609568 hasConcept C190470478 @default.
- W1773609568 hasConcept C199360897 @default.
- W1773609568 hasConcept C33884865 @default.
- W1773609568 hasConcept C33923547 @default.
- W1773609568 hasConcept C37914503 @default.
- W1773609568 hasConcept C41008148 @default.
- W1773609568 hasConcept C43364308 @default.
- W1773609568 hasConcept C80444323 @default.
- W1773609568 hasConceptScore W1773609568C11413529 @default.
- W1773609568 hasConceptScore W1773609568C15927051 @default.
- W1773609568 hasConceptScore W1773609568C178489894 @default.
- W1773609568 hasConceptScore W1773609568C190470478 @default.
- W1773609568 hasConceptScore W1773609568C199360897 @default.
- W1773609568 hasConceptScore W1773609568C33884865 @default.
- W1773609568 hasConceptScore W1773609568C33923547 @default.
- W1773609568 hasConceptScore W1773609568C37914503 @default.
- W1773609568 hasConceptScore W1773609568C41008148 @default.
- W1773609568 hasConceptScore W1773609568C43364308 @default.
- W1773609568 hasConceptScore W1773609568C80444323 @default.
- W1773609568 hasIssue "2" @default.
- W1773609568 hasLocation W17736095681 @default.
- W1773609568 hasOpenAccess W1773609568 @default.
- W1773609568 hasPrimaryLocation W17736095681 @default.
- W1773609568 hasRelatedWork W1553564935 @default.
- W1773609568 hasRelatedWork W1554274402 @default.
- W1773609568 hasRelatedWork W1575556365 @default.
- W1773609568 hasRelatedWork W2008685380 @default.
- W1773609568 hasRelatedWork W2466025230 @default.
- W1773609568 hasRelatedWork W2532895642 @default.
- W1773609568 hasRelatedWork W2949937073 @default.
- W1773609568 hasRelatedWork W2964027790 @default.
- W1773609568 hasRelatedWork W3034338022 @default.
- W1773609568 hasRelatedWork W1585142320 @default.
- W1773609568 hasVolume "11" @default.
- W1773609568 isParatext "false" @default.
- W1773609568 isRetracted "false" @default.
- W1773609568 magId "1773609568" @default.
- W1773609568 workType "article" @default.