FRINK Linked Data Fragments server

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

• W137648246 abstract "We introduce a basic framework for deriving securityprotocols from simple components, like proofs are derivedfrom axioms. As an initial case study, we derive the re-cently proposed key agreement protocol JFK (Just Fast Key-ing), starting from the basic Diffie-Hellman exchange, andthe generic challenge-response scheme, and refining themby the other required security features, formalized in ourderivation system by suitable refinement and transforma-tion rules." @default.
• W137648246 created "2016-06-24" @default.
• W137648246 creator A5061638693 @default.
• W137648246 date "2002-01-01" @default.
• W137648246 modified "2023-09-27" @default.
• W137648246 title "Derivation of the JFK protocol" @default.
• W137648246 cites W13284323 @default.
• W137648246 cites W1528878926 @default.
• W137648246 cites W1569250084 @default.
• W137648246 cites W1597231760 @default.
• W137648246 cites W1656678770 @default.
• W137648246 cites W1660562555 @default.
• W137648246 cites W1831288070 @default.
• W137648246 cites W1949661937 @default.
• W137648246 cites W1994386233 @default.
• W137648246 cites W2003915781 @default.
• W137648246 cites W2049224403 @default.
• W137648246 cites W2074244772 @default.
• W137648246 cites W2096939726 @default.
• W137648246 cites W2104655005 @default.
• W137648246 cites W2115716046 @default.
• W137648246 cites W2123171822 @default.
• W137648246 cites W2124679171 @default.
• W137648246 cites W2146973388 @default.
• W137648246 cites W2150682469 @default.
• W137648246 cites W2156186849 @default.
• W137648246 cites W2249002881 @default.
• W137648246 cites W2413236481 @default.
• W137648246 cites W3143649921 @default.
• W137648246 cites W98763178 @default.
• W137648246 hasPublicationYear "2002" @default.
• W137648246 type Work @default.
• W137648246 sameAs 137648246 @default.
• W137648246 citedByCount "4" @default.
• W137648246 crossrefType "journal-article" @default.
• W137648246 hasAuthorship W137648246A5061638693 @default.
• W137648246 hasConcept C108710211 @default.
• W137648246 hasConcept C111472728 @default.
• W137648246 hasConcept C134306372 @default.
• W137648246 hasConcept C138885662 @default.
• W137648246 hasConcept C142724271 @default.
• W137648246 hasConcept C148730421 @default.
• W137648246 hasConcept C167729594 @default.
• W137648246 hasConcept C178489894 @default.
• W137648246 hasConcept C199343813 @default.
• W137648246 hasConcept C203062551 @default.
• W137648246 hasConcept C204787440 @default.
• W137648246 hasConcept C2524010 @default.
• W137648246 hasConcept C26517878 @default.
• W137648246 hasConcept C2777686260 @default.
• W137648246 hasConcept C2780385302 @default.
• W137648246 hasConcept C2780586882 @default.
• W137648246 hasConcept C33884865 @default.
• W137648246 hasConcept C33923547 @default.
• W137648246 hasConcept C38652104 @default.
• W137648246 hasConcept C41008148 @default.
• W137648246 hasConcept C71924100 @default.
• W137648246 hasConcept C77618280 @default.
• W137648246 hasConcept C80444323 @default.
• W137648246 hasConcept C99674996 @default.
• W137648246 hasConceptScore W137648246C108710211 @default.
• W137648246 hasConceptScore W137648246C111472728 @default.
• W137648246 hasConceptScore W137648246C134306372 @default.
• W137648246 hasConceptScore W137648246C138885662 @default.
• W137648246 hasConceptScore W137648246C142724271 @default.
• W137648246 hasConceptScore W137648246C148730421 @default.
• W137648246 hasConceptScore W137648246C167729594 @default.
• W137648246 hasConceptScore W137648246C178489894 @default.
• W137648246 hasConceptScore W137648246C199343813 @default.
• W137648246 hasConceptScore W137648246C203062551 @default.
• W137648246 hasConceptScore W137648246C204787440 @default.
• W137648246 hasConceptScore W137648246C2524010 @default.
• W137648246 hasConceptScore W137648246C26517878 @default.
• W137648246 hasConceptScore W137648246C2777686260 @default.
• W137648246 hasConceptScore W137648246C2780385302 @default.
• W137648246 hasConceptScore W137648246C2780586882 @default.
• W137648246 hasConceptScore W137648246C33884865 @default.
• W137648246 hasConceptScore W137648246C33923547 @default.
• W137648246 hasConceptScore W137648246C38652104 @default.
• W137648246 hasConceptScore W137648246C41008148 @default.
• W137648246 hasConceptScore W137648246C71924100 @default.
• W137648246 hasConceptScore W137648246C77618280 @default.
• W137648246 hasConceptScore W137648246C80444323 @default.
• W137648246 hasConceptScore W137648246C99674996 @default.
• W137648246 hasLocation W1376482461 @default.
• W137648246 hasOpenAccess W137648246 @default.
• W137648246 hasPrimaryLocation W1376482461 @default.
• W137648246 hasRelatedWork W1924203876 @default.
• W137648246 hasRelatedWork W1994676271 @default.
• W137648246 hasRelatedWork W2146973388 @default.
• W137648246 hasRelatedWork W2150426251 @default.
• W137648246 hasRelatedWork W2226919719 @default.
• W137648246 hasRelatedWork W2461753066 @default.
• W137648246 hasRelatedWork W3029162146 @default.
• W137648246 hasRelatedWork W3029203673 @default.
• W137648246 hasRelatedWork W3140549273 @default.
• W137648246 hasRelatedWork W1540716578 @default.
• W137648246 isParatext "false" @default.
• W137648246 isRetracted "false" @default.
• W137648246 magId "137648246" @default.

• next