FRINK Linked Data Fragments server

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

• W3114585449 abstract "We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information available to processes, and a transition semantics that takes account of fundamental properties of time. Additional properties can be added by the user if desirable. This timed protocol framework can be implemented either as a simulation tool or as a symbolic analysis tool in which time references are represented by logical variables, and in which the properties of time are implemented as constraints on those time logical variables. These constraints are carried along the symbolic execution of the protocol. The satisfiability of these constraints can be evaluated as the analysis proceeds, so attacks that violate the laws of physics can be rejected as impossible. We demonstrate the feasibility of our approach by using the Maude-NPA protocol analyzer together with an SMT solver that is used to evaluate the satisfiability of timing constraints. We provide a sound and complete protocol transformation from our timed process algebra to the Maude-NPA syntax and semantics, and we prove its soundness and completeness. We then use the tool to analyze Mafia fraud and distance hijacking attacks on a suite of distance-bounding protocols." @default.
• W3114585449 created "2021-01-05" @default.
• W3114585449 creator A5007839082 @default.
• W3114585449 creator A5015218553 @default.
• W3114585449 creator A5015291142 @default.
• W3114585449 creator A5021410622 @default.
• W3114585449 creator A5032149189 @default.
• W3114585449 date "2020-10-26" @default.
• W3114585449 modified "2023-09-27" @default.
• W3114585449 title "Protocol Analysis with Time" @default.
• W3114585449 cites W146244851 @default.
• W3114585449 cites W1533298133 @default.
• W3114585449 cites W1559824347 @default.
• W3114585449 cites W1598297854 @default.
• W3114585449 cites W1635413415 @default.
• W3114585449 cites W2011329056 @default.
• W3114585449 cites W2022846948 @default.
• W3114585449 cites W2058459987 @default.
• W3114585449 cites W2104655005 @default.
• W3114585449 cites W2127785555 @default.
• W3114585449 cites W2167930752 @default.
• W3114585449 cites W2187366271 @default.
• W3114585449 cites W2296667264 @default.
• W3114585449 cites W2395334218 @default.
• W3114585449 cites W2496342316 @default.
• W3114585449 cites W2598250020 @default.
• W3114585449 cites W2782947067 @default.
• W3114585449 cites W2794691483 @default.
• W3114585449 cites W2889032811 @default.
• W3114585449 cites W2907830512 @default.
• W3114585449 cites W2932671002 @default.
• W3114585449 hasPublicationYear "2020" @default.
• W3114585449 type Work @default.
• W3114585449 sameAs 3114585449 @default.
• W3114585449 citedByCount "0" @default.
• W3114585449 crossrefType "posted-content" @default.
• W3114585449 hasAuthorship W3114585449A5007839082 @default.
• W3114585449 hasAuthorship W3114585449A5015218553 @default.
• W3114585449 hasAuthorship W3114585449A5015291142 @default.
• W3114585449 hasAuthorship W3114585449A5021410622 @default.
• W3114585449 hasAuthorship W3114585449A5032149189 @default.
• W3114585449 hasConcept C11413529 @default.
• W3114585449 hasConcept C134306372 @default.
• W3114585449 hasConcept C142724271 @default.
• W3114585449 hasConcept C154945302 @default.
• W3114585449 hasConcept C161771561 @default.
• W3114585449 hasConcept C166957645 @default.
• W3114585449 hasConcept C168773769 @default.
• W3114585449 hasConcept C17231256 @default.
• W3114585449 hasConcept C178489894 @default.
• W3114585449 hasConcept C184337299 @default.
• W3114585449 hasConcept C199360897 @default.
• W3114585449 hasConcept C204787440 @default.
• W3114585449 hasConcept C2780385302 @default.
• W3114585449 hasConcept C33884865 @default.
• W3114585449 hasConcept C33923547 @default.
• W3114585449 hasConcept C39920170 @default.
• W3114585449 hasConcept C41008148 @default.
• W3114585449 hasConcept C60048249 @default.
• W3114585449 hasConcept C63584917 @default.
• W3114585449 hasConcept C65620979 @default.
• W3114585449 hasConcept C71924100 @default.
• W3114585449 hasConcept C79581498 @default.
• W3114585449 hasConcept C80444323 @default.
• W3114585449 hasConcept C95457728 @default.
• W3114585449 hasConcept C98045186 @default.
• W3114585449 hasConceptScore W3114585449C11413529 @default.
• W3114585449 hasConceptScore W3114585449C134306372 @default.
• W3114585449 hasConceptScore W3114585449C142724271 @default.
• W3114585449 hasConceptScore W3114585449C154945302 @default.
• W3114585449 hasConceptScore W3114585449C161771561 @default.
• W3114585449 hasConceptScore W3114585449C166957645 @default.
• W3114585449 hasConceptScore W3114585449C168773769 @default.
• W3114585449 hasConceptScore W3114585449C17231256 @default.
• W3114585449 hasConceptScore W3114585449C178489894 @default.
• W3114585449 hasConceptScore W3114585449C184337299 @default.
• W3114585449 hasConceptScore W3114585449C199360897 @default.
• W3114585449 hasConceptScore W3114585449C204787440 @default.
• W3114585449 hasConceptScore W3114585449C2780385302 @default.
• W3114585449 hasConceptScore W3114585449C33884865 @default.
• W3114585449 hasConceptScore W3114585449C33923547 @default.
• W3114585449 hasConceptScore W3114585449C39920170 @default.
• W3114585449 hasConceptScore W3114585449C41008148 @default.
• W3114585449 hasConceptScore W3114585449C60048249 @default.
• W3114585449 hasConceptScore W3114585449C63584917 @default.
• W3114585449 hasConceptScore W3114585449C65620979 @default.
• W3114585449 hasConceptScore W3114585449C71924100 @default.
• W3114585449 hasConceptScore W3114585449C79581498 @default.
• W3114585449 hasConceptScore W3114585449C80444323 @default.
• W3114585449 hasConceptScore W3114585449C95457728 @default.
• W3114585449 hasConceptScore W3114585449C98045186 @default.
• W3114585449 hasLocation W31145854491 @default.
• W3114585449 hasOpenAccess W3114585449 @default.
• W3114585449 hasPrimaryLocation W31145854491 @default.
• W3114585449 hasRelatedWork W1535978686 @default.
• W3114585449 hasRelatedWork W1546954646 @default.
• W3114585449 hasRelatedWork W1840677318 @default.
• W3114585449 hasRelatedWork W2012369158 @default.
• W3114585449 hasRelatedWork W2055877289 @default.
• W3114585449 hasRelatedWork W2059862967 @default.

• next