Matches in SemOpenAlex for { <https://semopenalex.org/work/W137369243> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W137369243 abstract "Secure communications over insecure networks relies on the security of cryptographic protocols. Formal verification is an essential step in the design of security protocols. In particular logic-based verification has been shown to be effective and has discovered a number of protocol flaws. However, manual application of the deductive reasoning process is complex, tedious and prone to error. This paper introduces a novel approach to the automation of such a deductive reasoning process. This new approach results in a comparatively simple - but powerful - proving system for logic based security protocol verification." @default.
- W137369243 created "2016-06-24" @default.
- W137369243 creator A5059822467 @default.
- W137369243 creator A5073987773 @default.
- W137369243 date "2004-01-01" @default.
- W137369243 modified "2023-09-27" @default.
- W137369243 title "A Novel Approach to the Automation of Logic-Based Security Protocol Verification" @default.
- W137369243 cites W1566288460 @default.
- W137369243 cites W1597343621 @default.
- W137369243 cites W1773609568 @default.
- W137369243 cites W1777066096 @default.
- W137369243 cites W2070207454 @default.
- W137369243 cites W2102922499 @default.
- W137369243 cites W2106755 @default.
- W137369243 cites W2120600989 @default.
- W137369243 cites W2136262554 @default.
- W137369243 cites W2142507736 @default.
- W137369243 cites W363105024 @default.
- W137369243 hasPublicationYear "2004" @default.
- W137369243 type Work @default.
- W137369243 sameAs 137369243 @default.
- W137369243 citedByCount "4" @default.
- W137369243 crossrefType "journal-article" @default.
- W137369243 hasAuthorship W137369243A5059822467 @default.
- W137369243 hasAuthorship W137369243A5073987773 @default.
- W137369243 hasConcept C111498074 @default.
- W137369243 hasConcept C142724271 @default.
- W137369243 hasConcept C178489894 @default.
- W137369243 hasConcept C195344581 @default.
- W137369243 hasConcept C199360897 @default.
- W137369243 hasConcept C204787440 @default.
- W137369243 hasConcept C2780385302 @default.
- W137369243 hasConcept C33884865 @default.
- W137369243 hasConcept C38652104 @default.
- W137369243 hasConcept C41008148 @default.
- W137369243 hasConcept C62460635 @default.
- W137369243 hasConcept C71924100 @default.
- W137369243 hasConcept C80444323 @default.
- W137369243 hasConcept C98045186 @default.
- W137369243 hasConceptScore W137369243C111498074 @default.
- W137369243 hasConceptScore W137369243C142724271 @default.
- W137369243 hasConceptScore W137369243C178489894 @default.
- W137369243 hasConceptScore W137369243C195344581 @default.
- W137369243 hasConceptScore W137369243C199360897 @default.
- W137369243 hasConceptScore W137369243C204787440 @default.
- W137369243 hasConceptScore W137369243C2780385302 @default.
- W137369243 hasConceptScore W137369243C33884865 @default.
- W137369243 hasConceptScore W137369243C38652104 @default.
- W137369243 hasConceptScore W137369243C41008148 @default.
- W137369243 hasConceptScore W137369243C62460635 @default.
- W137369243 hasConceptScore W137369243C71924100 @default.
- W137369243 hasConceptScore W137369243C80444323 @default.
- W137369243 hasConceptScore W137369243C98045186 @default.
- W137369243 hasLocation W1373692431 @default.
- W137369243 hasOpenAccess W137369243 @default.
- W137369243 hasPrimaryLocation W1373692431 @default.
- W137369243 hasRelatedWork W1533722674 @default.
- W137369243 hasRelatedWork W1584139388 @default.
- W137369243 hasRelatedWork W1589099796 @default.
- W137369243 hasRelatedWork W1687167769 @default.
- W137369243 hasRelatedWork W1695011982 @default.
- W137369243 hasRelatedWork W1965722552 @default.
- W137369243 hasRelatedWork W2078264993 @default.
- W137369243 hasRelatedWork W2078441146 @default.
- W137369243 hasRelatedWork W2093305078 @default.
- W137369243 hasRelatedWork W2105401163 @default.
- W137369243 hasRelatedWork W2124294776 @default.
- W137369243 hasRelatedWork W2151390416 @default.
- W137369243 hasRelatedWork W2166863759 @default.
- W137369243 hasRelatedWork W2208805443 @default.
- W137369243 hasRelatedWork W2347856165 @default.
- W137369243 hasRelatedWork W2384774721 @default.
- W137369243 hasRelatedWork W2919111283 @default.
- W137369243 hasRelatedWork W3126703321 @default.
- W137369243 hasRelatedWork W424338548 @default.
- W137369243 hasRelatedWork W62100894 @default.
- W137369243 isParatext "false" @default.
- W137369243 isRetracted "false" @default.
- W137369243 magId "137369243" @default.
- W137369243 workType "article" @default.