FRINK Linked Data Fragments server

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

• W2116251710 abstract "Security protocols are hard to design, even under the assumption of perfect cryptography. This is especially true when a protocol involves different timing aspects such as timestamps, timeout, delays and a set of timing constraints. In this paper, we propose a methodology for modeling and analyzing security protocols that are aware of timing aspects. We develop a formalism for modeling security protocols by extending Timed CSP with the capability of stating complicated timing behaviors for processes and events. A reasoning mechanism for the proposed formalism is developed based on Constraint Logic Programming (CLP). Using the reasoning engine built in CLP, the authentication properties of timed security protocols are able to be verified and attacks can be discovered. We demonstrate the capability of our method by modeling and verifying real-world security protocols. New approaches of using timing information to unfold and prevent potential attacks are also presented." @default.
• W2116251710 created "2016-06-24" @default.
• W2116251710 creator A5006145166 @default.
• W2116251710 creator A5018148446 @default.
• W2116251710 creator A5023363049 @default.
• W2116251710 date "2010-01-01" @default.
• W2116251710 modified "2023-09-27" @default.
• W2116251710 title "Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP" @default.
• W2116251710 cites W10909475 @default.
• W2116251710 cites W1525983789 @default.
• W2116251710 cites W1538657331 @default.
• W2116251710 cites W1602114053 @default.
• W2116251710 cites W1623229847 @default.
• W2116251710 cites W1670563787 @default.
• W2116251710 cites W1809589590 @default.
• W2116251710 cites W1879575712 @default.
• W2116251710 cites W1975691076 @default.
• W2116251710 cites W1985660652 @default.
• W2116251710 cites W1996144424 @default.
• W2116251710 cites W2010939995 @default.
• W2116251710 cites W2037230951 @default.
• W2116251710 cites W2039875296 @default.
• W2116251710 cites W2060498389 @default.
• W2116251710 cites W2063727779 @default.
• W2116251710 cites W2115114737 @default.
• W2116251710 cites W2129384397 @default.
• W2116251710 cites W2138769968 @default.
• W2116251710 cites W2140665129 @default.
• W2116251710 cites W2145415641 @default.
• W2116251710 cites W2158744037 @default.
• W2116251710 cites W2168332701 @default.
• W2116251710 cites W3013607954 @default.
• W2116251710 cites W3144368627 @default.
• W2116251710 cites W2583561269 @default.
• W2116251710 doi "https://doi.org/10.1109/ssiri.2010.29" @default.
• W2116251710 hasPublicationYear "2010" @default.
• W2116251710 type Work @default.
• W2116251710 sameAs 2116251710 @default.
• W2116251710 citedByCount "2" @default.
• W2116251710 countsByYear W21162517102012 @default.
• W2116251710 crossrefType "proceedings-article" @default.
• W2116251710 hasAuthorship W2116251710A5006145166 @default.
• W2116251710 hasAuthorship W2116251710A5018148446 @default.
• W2116251710 hasAuthorship W2116251710A5023363049 @default.
• W2116251710 hasConcept C113954288 @default.
• W2116251710 hasConcept C120314980 @default.
• W2116251710 hasConcept C121822524 @default.
• W2116251710 hasConcept C142362112 @default.
• W2116251710 hasConcept C142724271 @default.
• W2116251710 hasConcept C153349607 @default.
• W2116251710 hasConcept C178489894 @default.
• W2116251710 hasConcept C204787440 @default.
• W2116251710 hasConcept C2780385302 @default.
• W2116251710 hasConcept C31258907 @default.
• W2116251710 hasConcept C31691690 @default.
• W2116251710 hasConcept C33884865 @default.
• W2116251710 hasConcept C38652104 @default.
• W2116251710 hasConcept C41008148 @default.
• W2116251710 hasConcept C558565934 @default.
• W2116251710 hasConcept C71924100 @default.
• W2116251710 hasConcept C73301696 @default.
• W2116251710 hasConcept C80444323 @default.
• W2116251710 hasConceptScore W2116251710C113954288 @default.
• W2116251710 hasConceptScore W2116251710C120314980 @default.
• W2116251710 hasConceptScore W2116251710C121822524 @default.
• W2116251710 hasConceptScore W2116251710C142362112 @default.
• W2116251710 hasConceptScore W2116251710C142724271 @default.
• W2116251710 hasConceptScore W2116251710C153349607 @default.
• W2116251710 hasConceptScore W2116251710C178489894 @default.
• W2116251710 hasConceptScore W2116251710C204787440 @default.
• W2116251710 hasConceptScore W2116251710C2780385302 @default.
• W2116251710 hasConceptScore W2116251710C31258907 @default.
• W2116251710 hasConceptScore W2116251710C31691690 @default.
• W2116251710 hasConceptScore W2116251710C33884865 @default.
• W2116251710 hasConceptScore W2116251710C38652104 @default.
• W2116251710 hasConceptScore W2116251710C41008148 @default.
• W2116251710 hasConceptScore W2116251710C558565934 @default.
• W2116251710 hasConceptScore W2116251710C71924100 @default.
• W2116251710 hasConceptScore W2116251710C73301696 @default.
• W2116251710 hasConceptScore W2116251710C80444323 @default.
• W2116251710 hasLocation W21162517101 @default.
• W2116251710 hasOpenAccess W2116251710 @default.
• W2116251710 hasPrimaryLocation W21162517101 @default.
• W2116251710 hasRelatedWork W132289538 @default.
• W2116251710 hasRelatedWork W1539079134 @default.
• W2116251710 hasRelatedWork W1540359676 @default.
• W2116251710 hasRelatedWork W1681467772 @default.
• W2116251710 hasRelatedWork W1879575712 @default.
• W2116251710 hasRelatedWork W1935656167 @default.
• W2116251710 hasRelatedWork W2030071471 @default.
• W2116251710 hasRelatedWork W2046856381 @default.
• W2116251710 hasRelatedWork W2052539228 @default.
• W2116251710 hasRelatedWork W2103436977 @default.
• W2116251710 hasRelatedWork W2125642758 @default.
• W2116251710 hasRelatedWork W2148512098 @default.
• W2116251710 hasRelatedWork W2168942683 @default.
• W2116251710 hasRelatedWork W2275140988 @default.
• W2116251710 hasRelatedWork W2465504811 @default.
• W2116251710 hasRelatedWork W2620991964 @default.
• W2116251710 hasRelatedWork W2904739196 @default.

• next