Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569881051> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1569881051 endingPage "74" @default.
- W1569881051 startingPage "47" @default.
- W1569881051 abstract "We propose a new efficient automatic verification technique, Athena, for security protocol analysis. It uses a new efficient representation - our extension to the Strand Space Model, and utilizes techniques from both model checking and theorem proving approaches. Athena is fully automatic and is able to prove the correctness of many security protocols with arbitrary number of concurrent runs. The run time for a typical protocol from the literature, like the Needham-Schroeder protocol, is often a fraction of a second. Athena exploits several different techniques that enable it to analyze infinite sets of protocol runs and achieve such efficiency. Our extended Strand Space Model is a natural and efficient representation for the problem domain. The security properties are specified in a simple logic which permits both efficient proof search algorithms and has enough expressive power to specify interesting properties. The automatic proof search procedure borrows some efficient techniques from both model checking and theorem proving. We believe that it is the right combination of the new compact representation and all the techniques that actually makes Athena successful in fast and automatic verification of security protocols." @default.
- W1569881051 created "2016-06-24" @default.
- W1569881051 creator A5019426968 @default.
- W1569881051 creator A5029235448 @default.
- W1569881051 creator A5056518136 @default.
- W1569881051 date "2001-01-01" @default.
- W1569881051 modified "2023-10-14" @default.
- W1569881051 title "Athena: a novel approach to efficient automatic security protocol analysis1" @default.
- W1569881051 cites W117052899 @default.
- W1569881051 cites W1491429571 @default.
- W1569881051 cites W1502051745 @default.
- W1569881051 cites W1521883036 @default.
- W1569881051 cites W1523442991 @default.
- W1569881051 cites W1528441743 @default.
- W1569881051 cites W1552045127 @default.
- W1569881051 cites W1710110546 @default.
- W1569881051 cites W1727096726 @default.
- W1569881051 cites W1862498160 @default.
- W1569881051 cites W2029693536 @default.
- W1569881051 cites W2058129511 @default.
- W1569881051 cites W2101201543 @default.
- W1569881051 cites W2102922499 @default.
- W1569881051 cites W2104130981 @default.
- W1569881051 cites W2105060599 @default.
- W1569881051 cites W2105750191 @default.
- W1569881051 cites W2112189440 @default.
- W1569881051 cites W2120600989 @default.
- W1569881051 cites W2124782811 @default.
- W1569881051 cites W2137073376 @default.
- W1569881051 cites W2145415641 @default.
- W1569881051 cites W2146973388 @default.
- W1569881051 cites W2150426251 @default.
- W1569881051 cites W2150682469 @default.
- W1569881051 cites W2155032609 @default.
- W1569881051 cites W2164587664 @default.
- W1569881051 cites W2913459036 @default.
- W1569881051 doi "https://doi.org/10.3233/jcs-2001-91-203" @default.
- W1569881051 hasPublicationYear "2001" @default.
- W1569881051 type Work @default.
- W1569881051 sameAs 1569881051 @default.
- W1569881051 citedByCount "183" @default.
- W1569881051 countsByYear W15698810512012 @default.
- W1569881051 countsByYear W15698810512013 @default.
- W1569881051 countsByYear W15698810512014 @default.
- W1569881051 countsByYear W15698810512015 @default.
- W1569881051 countsByYear W15698810512016 @default.
- W1569881051 countsByYear W15698810512017 @default.
- W1569881051 countsByYear W15698810512018 @default.
- W1569881051 countsByYear W15698810512021 @default.
- W1569881051 countsByYear W15698810512022 @default.
- W1569881051 crossrefType "journal-article" @default.
- W1569881051 hasAuthorship W1569881051A5019426968 @default.
- W1569881051 hasAuthorship W1569881051A5029235448 @default.
- W1569881051 hasAuthorship W1569881051A5056518136 @default.
- W1569881051 hasBestOaLocation W15698810512 @default.
- W1569881051 hasConcept C142724271 @default.
- W1569881051 hasConcept C149635348 @default.
- W1569881051 hasConcept C178489894 @default.
- W1569881051 hasConcept C204787440 @default.
- W1569881051 hasConcept C2780385302 @default.
- W1569881051 hasConcept C33884865 @default.
- W1569881051 hasConcept C38652104 @default.
- W1569881051 hasConcept C41008148 @default.
- W1569881051 hasConcept C71924100 @default.
- W1569881051 hasConceptScore W1569881051C142724271 @default.
- W1569881051 hasConceptScore W1569881051C149635348 @default.
- W1569881051 hasConceptScore W1569881051C178489894 @default.
- W1569881051 hasConceptScore W1569881051C204787440 @default.
- W1569881051 hasConceptScore W1569881051C2780385302 @default.
- W1569881051 hasConceptScore W1569881051C33884865 @default.
- W1569881051 hasConceptScore W1569881051C38652104 @default.
- W1569881051 hasConceptScore W1569881051C41008148 @default.
- W1569881051 hasConceptScore W1569881051C71924100 @default.
- W1569881051 hasIssue "1-2" @default.
- W1569881051 hasLocation W15698810511 @default.
- W1569881051 hasLocation W15698810512 @default.
- W1569881051 hasOpenAccess W1569881051 @default.
- W1569881051 hasPrimaryLocation W15698810511 @default.
- W1569881051 hasRelatedWork W1502851386 @default.
- W1569881051 hasRelatedWork W1528076219 @default.
- W1569881051 hasRelatedWork W1995842939 @default.
- W1569881051 hasRelatedWork W2148742293 @default.
- W1569881051 hasRelatedWork W224727255 @default.
- W1569881051 hasRelatedWork W2352858694 @default.
- W1569881051 hasRelatedWork W2382390229 @default.
- W1569881051 hasRelatedWork W2392792567 @default.
- W1569881051 hasRelatedWork W2547925868 @default.
- W1569881051 hasRelatedWork W2769337394 @default.
- W1569881051 hasVolume "9" @default.
- W1569881051 isParatext "false" @default.
- W1569881051 isRetracted "false" @default.
- W1569881051 magId "1569881051" @default.
- W1569881051 workType "article" @default.