Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238041125> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4238041125 abstract "The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidation. A number of specialized tools have been developed, and others have effectively demonstrated that existing general-purpose tools can also be applied to these problems with good results. However, with this better understanding of the field comes new problems that strain against the limits of the existing tools. In this paper we will outline some of these new problem areas, and describe what new research needs to be done to to meet the challenges posed." @default.
- W4238041125 created "2022-05-12" @default.
- W4238041125 creator A5021410622 @default.
- W4238041125 date "2002-11-07" @default.
- W4238041125 modified "2023-09-28" @default.
- W4238041125 title "Open issues in formal methods for cryptographic protocol analysis" @default.
- W4238041125 cites W1494154039 @default.
- W4238041125 cites W1544787586 @default.
- W4238041125 cites W1561492881 @default.
- W4238041125 cites W1597765364 @default.
- W4238041125 cites W1779054477 @default.
- W4238041125 cites W1783743032 @default.
- W4238041125 cites W1829701666 @default.
- W4238041125 cites W1907943060 @default.
- W4238041125 cites W1921661296 @default.
- W4238041125 cites W1958367842 @default.
- W4238041125 cites W1975688140 @default.
- W4238041125 cites W1991004527 @default.
- W4238041125 cites W1994386233 @default.
- W4238041125 cites W2003915781 @default.
- W4238041125 cites W2004900709 @default.
- W4238041125 cites W2010939995 @default.
- W4238041125 cites W2029693536 @default.
- W4238041125 cites W203757321 @default.
- W4238041125 cites W2090143343 @default.
- W4238041125 cites W2095919219 @default.
- W4238041125 cites W2101361743 @default.
- W4238041125 cites W2104494325 @default.
- W4238041125 cites W2111982337 @default.
- W4238041125 cites W2115674733 @default.
- W4238041125 cites W2124782811 @default.
- W4238041125 cites W2124812431 @default.
- W4238041125 cites W2131895477 @default.
- W4238041125 cites W2134587548 @default.
- W4238041125 cites W2135378536 @default.
- W4238041125 cites W2139289995 @default.
- W4238041125 cites W2139596501 @default.
- W4238041125 cites W2144607915 @default.
- W4238041125 cites W2146973388 @default.
- W4238041125 cites W2150426251 @default.
- W4238041125 cites W2150682469 @default.
- W4238041125 cites W2154209576 @default.
- W4238041125 cites W2160322337 @default.
- W4238041125 cites W2162686919 @default.
- W4238041125 cites W2164587664 @default.
- W4238041125 cites W3162919972 @default.
- W4238041125 cites W4248223175 @default.
- W4238041125 doi "https://doi.org/10.1109/discex.2000.824984" @default.
- W4238041125 hasPublicationYear "2002" @default.
- W4238041125 type Work @default.
- W4238041125 citedByCount "3" @default.
- W4238041125 countsByYear W42380411252022 @default.
- W4238041125 countsByYear W42380411252023 @default.
- W4238041125 crossrefType "proceedings-article" @default.
- W4238041125 hasAuthorship W4238041125A5021410622 @default.
- W4238041125 hasConcept C115903868 @default.
- W4238041125 hasConcept C142724271 @default.
- W4238041125 hasConcept C15927051 @default.
- W4238041125 hasConcept C178489894 @default.
- W4238041125 hasConcept C202444582 @default.
- W4238041125 hasConcept C204787440 @default.
- W4238041125 hasConcept C2780385302 @default.
- W4238041125 hasConcept C33884865 @default.
- W4238041125 hasConcept C33923547 @default.
- W4238041125 hasConcept C38652104 @default.
- W4238041125 hasConcept C41008148 @default.
- W4238041125 hasConcept C71924100 @default.
- W4238041125 hasConcept C75606506 @default.
- W4238041125 hasConcept C9652623 @default.
- W4238041125 hasConceptScore W4238041125C115903868 @default.
- W4238041125 hasConceptScore W4238041125C142724271 @default.
- W4238041125 hasConceptScore W4238041125C15927051 @default.
- W4238041125 hasConceptScore W4238041125C178489894 @default.
- W4238041125 hasConceptScore W4238041125C202444582 @default.
- W4238041125 hasConceptScore W4238041125C204787440 @default.
- W4238041125 hasConceptScore W4238041125C2780385302 @default.
- W4238041125 hasConceptScore W4238041125C33884865 @default.
- W4238041125 hasConceptScore W4238041125C33923547 @default.
- W4238041125 hasConceptScore W4238041125C38652104 @default.
- W4238041125 hasConceptScore W4238041125C41008148 @default.
- W4238041125 hasConceptScore W4238041125C71924100 @default.
- W4238041125 hasConceptScore W4238041125C75606506 @default.
- W4238041125 hasConceptScore W4238041125C9652623 @default.
- W4238041125 hasLocation W42380411251 @default.
- W4238041125 hasOpenAccess W4238041125 @default.
- W4238041125 hasPrimaryLocation W42380411251 @default.
- W4238041125 hasRelatedWork W1533970831 @default.
- W4238041125 hasRelatedWork W1554289623 @default.
- W4238041125 hasRelatedWork W1579989646 @default.
- W4238041125 hasRelatedWork W2069049086 @default.
- W4238041125 hasRelatedWork W2141019415 @default.
- W4238041125 hasRelatedWork W2152891650 @default.
- W4238041125 hasRelatedWork W2160450576 @default.
- W4238041125 hasRelatedWork W2186642995 @default.
- W4238041125 hasRelatedWork W2352858694 @default.
- W4238041125 hasRelatedWork W2401547140 @default.
- W4238041125 isParatext "false" @default.
- W4238041125 isRetracted "false" @default.
- W4238041125 workType "article" @default.