FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2275140988> ?p ?o ?g. }

• W2275140988 endingPage "359" @default.
• W2275140988 startingPage "342" @default.
• W2275140988 abstract "Quantitative timing is often explicitly used in systems for better security, e.g., the credentials for automatic website logon often has limited lifetime. Verifying timing relevant security protocols in these systems is very challenging as timing adds another dimension of complexity compared with the untimed protocol verification. In our previous work, we proposed an approach to check the correctness of the timed authentication in security protocols with fixed timing constraints. However, a more difficult question persists, i.e., given a particular protocol design, whether the protocol has security flaws in its design or it can be configured secure with proper parameter values? In this work, we answer this question by proposing a parameterized verification framework, where the quantitative parameters in the protocols can be intuitively specified as well as automatically analyzed. Given a security protocol, our verification algorithm either produces the secure constraints of the parameters, or constructs an attack that works for any parameter values. The correctness of our algorithm is formally proved. We implement our method into a tool called PTAuth and evaluate it with several security protocols. Using PTAuth, we have successfully found a timing attack in Kerberos V which is unreported before." @default.
• W2275140988 created "2016-06-24" @default.
• W2275140988 creator A5023363049 @default.
• W2275140988 creator A5027475930 @default.
• W2275140988 creator A5068911982 @default.
• W2275140988 creator A5085067496 @default.
• W2275140988 date "2015-01-01" @default.
• W2275140988 modified "2023-09-26" @default.
• W2275140988 title "Verifying Parameterized Timed Security Protocols" @default.
• W2275140988 cites W132289538 @default.
• W2275140988 cites W146244851 @default.
• W2275140988 cites W1487657751 @default.
• W2275140988 cites W1543653153 @default.
• W2275140988 cites W1603878273 @default.
• W2275140988 cites W1635413415 @default.
• W2275140988 cites W1670563787 @default.
• W2275140988 cites W2010939995 @default.
• W2275140988 cites W2029693536 @default.
• W2275140988 cites W2097913369 @default.
• W2275140988 cites W2118377274 @default.
• W2275140988 cites W2138769968 @default.
• W2275140988 cites W2146973388 @default.
• W2275140988 cites W2159796097 @default.
• W2275140988 cites W2164947865 @default.
• W2275140988 cites W2169908972 @default.
• W2275140988 cites W2896599519 @default.
• W2275140988 cites W4299402001 @default.
• W2275140988 doi "https://doi.org/10.1007/978-3-319-19249-9_22" @default.
• W2275140988 hasPublicationYear "2015" @default.
• W2275140988 type Work @default.
• W2275140988 sameAs 2275140988 @default.
• W2275140988 citedByCount "4" @default.
• W2275140988 countsByYear W22751409882016 @default.
• W2275140988 countsByYear W22751409882018 @default.
• W2275140988 countsByYear W22751409882019 @default.
• W2275140988 countsByYear W22751409882022 @default.
• W2275140988 crossrefType "book-chapter" @default.
• W2275140988 hasAuthorship W2275140988A5023363049 @default.
• W2275140988 hasAuthorship W2275140988A5027475930 @default.
• W2275140988 hasAuthorship W2275140988A5068911982 @default.
• W2275140988 hasAuthorship W2275140988A5085067496 @default.
• W2275140988 hasBestOaLocation W22751409882 @default.
• W2275140988 hasConcept C110251889 @default.
• W2275140988 hasConcept C111498074 @default.
• W2275140988 hasConcept C11413529 @default.
• W2275140988 hasConcept C120314980 @default.
• W2275140988 hasConcept C142724271 @default.
• W2275140988 hasConcept C148417208 @default.
• W2275140988 hasConcept C165464430 @default.
• W2275140988 hasConcept C178489894 @default.
• W2275140988 hasConcept C199360897 @default.
• W2275140988 hasConcept C202444582 @default.
• W2275140988 hasConcept C204787440 @default.
• W2275140988 hasConcept C2780385302 @default.
• W2275140988 hasConcept C32455479 @default.
• W2275140988 hasConcept C33676613 @default.
• W2275140988 hasConcept C33884865 @default.
• W2275140988 hasConcept C33923547 @default.
• W2275140988 hasConcept C38652104 @default.
• W2275140988 hasConcept C41008148 @default.
• W2275140988 hasConcept C55439883 @default.
• W2275140988 hasConcept C71924100 @default.
• W2275140988 hasConcept C80444323 @default.
• W2275140988 hasConceptScore W2275140988C110251889 @default.
• W2275140988 hasConceptScore W2275140988C111498074 @default.
• W2275140988 hasConceptScore W2275140988C11413529 @default.
• W2275140988 hasConceptScore W2275140988C120314980 @default.
• W2275140988 hasConceptScore W2275140988C142724271 @default.
• W2275140988 hasConceptScore W2275140988C148417208 @default.
• W2275140988 hasConceptScore W2275140988C165464430 @default.
• W2275140988 hasConceptScore W2275140988C178489894 @default.
• W2275140988 hasConceptScore W2275140988C199360897 @default.
• W2275140988 hasConceptScore W2275140988C202444582 @default.
• W2275140988 hasConceptScore W2275140988C204787440 @default.
• W2275140988 hasConceptScore W2275140988C2780385302 @default.
• W2275140988 hasConceptScore W2275140988C32455479 @default.
• W2275140988 hasConceptScore W2275140988C33676613 @default.
• W2275140988 hasConceptScore W2275140988C33884865 @default.
• W2275140988 hasConceptScore W2275140988C33923547 @default.
• W2275140988 hasConceptScore W2275140988C38652104 @default.
• W2275140988 hasConceptScore W2275140988C41008148 @default.
• W2275140988 hasConceptScore W2275140988C55439883 @default.
• W2275140988 hasConceptScore W2275140988C71924100 @default.
• W2275140988 hasConceptScore W2275140988C80444323 @default.
• W2275140988 hasLocation W22751409881 @default.
• W2275140988 hasLocation W22751409882 @default.
• W2275140988 hasOpenAccess W2275140988 @default.
• W2275140988 hasPrimaryLocation W22751409881 @default.
• W2275140988 hasRelatedWork W1024627881 @default.
• W2275140988 hasRelatedWork W1844392338 @default.
• W2275140988 hasRelatedWork W2043773242 @default.
• W2275140988 hasRelatedWork W2130433881 @default.
• W2275140988 hasRelatedWork W2155162307 @default.
• W2275140988 hasRelatedWork W2275140988 @default.
• W2275140988 hasRelatedWork W3021273075 @default.
• W2275140988 hasRelatedWork W4287783361 @default.
• W2275140988 hasRelatedWork W2133143122 @default.
• W2275140988 hasRelatedWork W2592470068 @default.

• next