FRINK Linked Data Fragments server

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

• W1987581799 endingPage "207" @default.
• W1987581799 startingPage "193" @default.
• W1987581799 abstract "We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the computational model. It produces proofs presented as sequences of games; these games are formalized in a probabilistic polynomial-time process calculus. Our tool provides a generic method for specifying security properties of the cryptographic primitives, which can handle shared-key and public-key encryption, signatures, message authentication codes, and hash functions. Our tool produces proofs valid for a number of sessions polynomial in the security parameter, in the presence of an active adversary. We have implemented our tool and tested it on a number of examples of protocols from the literature." @default.
• W1987581799 created "2016-06-24" @default.
• W1987581799 creator A5004976322 @default.
• W1987581799 date "2008-10-01" @default.
• W1987581799 modified "2023-10-17" @default.
• W1987581799 title "A Computationally Sound Mechanized Prover for Security Protocols" @default.
• W1987581799 cites W1480122568 @default.
• W1987581799 cites W1499934958 @default.
• W1987581799 cites W1516512945 @default.
• W1987581799 cites W1582972367 @default.
• W1987581799 cites W1606603814 @default.
• W1987581799 cites W1607941647 @default.
• W1987581799 cites W1760594424 @default.
• W1987581799 cites W1913041503 @default.
• W1987581799 cites W1923391011 @default.
• W1987581799 cites W1966212263 @default.
• W1987581799 cites W1968386045 @default.
• W1987581799 cites W1982325601 @default.
• W1987581799 cites W1992547339 @default.
• W1987581799 cites W1999863358 @default.
• W1987581799 cites W2001539364 @default.
• W1987581799 cites W2001788001 @default.
• W1987581799 cites W2058129511 @default.
• W1987581799 cites W2079705087 @default.
• W1987581799 cites W2097913369 @default.
• W1987581799 cites W2098263389 @default.
• W1987581799 cites W2102632421 @default.
• W1987581799 cites W2104130981 @default.
• W1987581799 cites W2106150202 @default.
• W1987581799 cites W2120600989 @default.
• W1987581799 cites W2125591151 @default.
• W1987581799 cites W2127035198 @default.
• W1987581799 cites W2130899669 @default.
• W1987581799 cites W2134166359 @default.
• W1987581799 cites W2134508058 @default.
• W1987581799 cites W2139172211 @default.
• W1987581799 cites W2146973388 @default.
• W1987581799 cites W2168418017 @default.
• W1987581799 cites W2339045958 @default.
• W1987581799 cites W2914157499 @default.
• W1987581799 cites W3029602774 @default.
• W1987581799 doi "https://doi.org/10.1109/tdsc.2007.1005" @default.
• W1987581799 hasPublicationYear "2008" @default.
• W1987581799 type Work @default.
• W1987581799 sameAs 1987581799 @default.
• W1987581799 citedByCount "134" @default.
• W1987581799 countsByYear W19875817992012 @default.
• W1987581799 countsByYear W19875817992013 @default.
• W1987581799 countsByYear W19875817992014 @default.
• W1987581799 countsByYear W19875817992015 @default.
• W1987581799 countsByYear W19875817992016 @default.
• W1987581799 countsByYear W19875817992017 @default.
• W1987581799 countsByYear W19875817992018 @default.
• W1987581799 countsByYear W19875817992019 @default.
• W1987581799 countsByYear W19875817992020 @default.
• W1987581799 countsByYear W19875817992021 @default.
• W1987581799 countsByYear W19875817992022 @default.
• W1987581799 countsByYear W19875817992023 @default.
• W1987581799 crossrefType "journal-article" @default.
• W1987581799 hasAuthorship W1987581799A5004976322 @default.
• W1987581799 hasConcept C108710211 @default.
• W1987581799 hasConcept C11413529 @default.
• W1987581799 hasConcept C148417208 @default.
• W1987581799 hasConcept C148730421 @default.
• W1987581799 hasConcept C15927051 @default.
• W1987581799 hasConcept C159718280 @default.
• W1987581799 hasConcept C178489894 @default.
• W1987581799 hasConcept C203062551 @default.
• W1987581799 hasConcept C2524010 @default.
• W1987581799 hasConcept C26517878 @default.
• W1987581799 hasConcept C2776711565 @default.
• W1987581799 hasConcept C33884865 @default.
• W1987581799 hasConcept C33923547 @default.
• W1987581799 hasConcept C38652104 @default.
• W1987581799 hasConcept C41008148 @default.
• W1987581799 hasConcept C65302260 @default.
• W1987581799 hasConcept C80444323 @default.
• W1987581799 hasConcept C99138194 @default.
• W1987581799 hasConceptScore W1987581799C108710211 @default.
• W1987581799 hasConceptScore W1987581799C11413529 @default.
• W1987581799 hasConceptScore W1987581799C148417208 @default.
• W1987581799 hasConceptScore W1987581799C148730421 @default.
• W1987581799 hasConceptScore W1987581799C15927051 @default.
• W1987581799 hasConceptScore W1987581799C159718280 @default.
• W1987581799 hasConceptScore W1987581799C178489894 @default.
• W1987581799 hasConceptScore W1987581799C203062551 @default.
• W1987581799 hasConceptScore W1987581799C2524010 @default.
• W1987581799 hasConceptScore W1987581799C26517878 @default.
• W1987581799 hasConceptScore W1987581799C2776711565 @default.
• W1987581799 hasConceptScore W1987581799C33884865 @default.
• W1987581799 hasConceptScore W1987581799C33923547 @default.
• W1987581799 hasConceptScore W1987581799C38652104 @default.
• W1987581799 hasConceptScore W1987581799C41008148 @default.
• W1987581799 hasConceptScore W1987581799C65302260 @default.
• W1987581799 hasConceptScore W1987581799C80444323 @default.
• W1987581799 hasConceptScore W1987581799C99138194 @default.
• W1987581799 hasIssue "4" @default.
• W1987581799 hasLocation W19875817991 @default.

• next