FRINK Linked Data Fragments server

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

• W647513699 abstract "We define C3, a model-based formalism that is one half of a framework for the modelling, specification and verification of cryptographic protocols. C3 consists of a design language of distributed processes and an associated (SOS) notion of concurrent execution. The other half of our framework is a property-based formalism, i.e., a logic for the specification and verification of cryptographic protocols, called CPL. The two primary features of the co-design of C3 and CPL are that reduction constraints of C3-processes are checkable via CPL-satisfaction, and that C3’s notion of observational equivalence and CPL’s notion of propositional knowledge have a common definitional basis, namely structurally indistinguishable protocol histories. Moreover, this co-design permits separation of the concerns of protocol and property description, within the same framework. Other important features of C3 are explicit notions of secure (out- of-band) communication and history-based key lookup, which together give a concrete foundation on which to base authentication and key establishment protocols." @default.
• W647513699 created "2016-06-24" @default.
• W647513699 creator A5018685791 @default.
• W647513699 creator A5038036076 @default.
• W647513699 creator A5084615644 @default.
• W647513699 date "2006-01-01" @default.
• W647513699 modified "2023-10-01" @default.
• W647513699 title "Calculus of Cryptographic Communication" @default.
• W647513699 cites W1538657331 @default.
• W647513699 cites W1554289623 @default.
• W647513699 cites W1569881051 @default.
• W647513699 cites W1588668163 @default.
• W647513699 cites W1607643969 @default.
• W647513699 cites W1660562555 @default.
• W647513699 cites W1904856735 @default.
• W647513699 cites W1987574012 @default.
• W647513699 cites W1994676271 @default.
• W647513699 cites W2001539364 @default.
• W647513699 cites W2010939995 @default.
• W647513699 cites W2029693536 @default.
• W647513699 cites W2104655005 @default.
• W647513699 cites W2114189125 @default.
• W647513699 cites W2117064875 @default.
• W647513699 cites W2127035198 @default.
• W647513699 cites W2146819619 @default.
• W647513699 cites W2148082093 @default.
• W647513699 cites W2156773905 @default.
• W647513699 cites W2174699955 @default.
• W647513699 cites W2224085299 @default.
• W647513699 cites W2400049039 @default.
• W647513699 cites W2481879913 @default.
• W647513699 cites W2870190769 @default.
• W647513699 cites W3029206032 @default.
• W647513699 cites W2685983232 @default.
• W647513699 hasPublicationYear "2006" @default.
• W647513699 type Work @default.
• W647513699 sameAs 647513699 @default.
• W647513699 citedByCount "3" @default.
• W647513699 crossrefType "journal-article" @default.
• W647513699 hasAuthorship W647513699A5018685791 @default.
• W647513699 hasAuthorship W647513699A5038036076 @default.
• W647513699 hasAuthorship W647513699A5084615644 @default.
• W647513699 hasConcept C110251889 @default.
• W647513699 hasConcept C111472728 @default.
• W647513699 hasConcept C118615104 @default.
• W647513699 hasConcept C138885662 @default.
• W647513699 hasConcept C142362112 @default.
• W647513699 hasConcept C153349607 @default.
• W647513699 hasConcept C15927051 @default.
• W647513699 hasConcept C178489894 @default.
• W647513699 hasConcept C189950617 @default.
• W647513699 hasConcept C199360897 @default.
• W647513699 hasConcept C21564112 @default.
• W647513699 hasConcept C26517878 @default.
• W647513699 hasConcept C2777721189 @default.
• W647513699 hasConcept C2780069185 @default.
• W647513699 hasConcept C33884865 @default.
• W647513699 hasConcept C33923547 @default.
• W647513699 hasConcept C38652104 @default.
• W647513699 hasConcept C41008148 @default.
• W647513699 hasConcept C558565934 @default.
• W647513699 hasConcept C73301696 @default.
• W647513699 hasConcept C80444323 @default.
• W647513699 hasConceptScore W647513699C110251889 @default.
• W647513699 hasConceptScore W647513699C111472728 @default.
• W647513699 hasConceptScore W647513699C118615104 @default.
• W647513699 hasConceptScore W647513699C138885662 @default.
• W647513699 hasConceptScore W647513699C142362112 @default.
• W647513699 hasConceptScore W647513699C153349607 @default.
• W647513699 hasConceptScore W647513699C15927051 @default.
• W647513699 hasConceptScore W647513699C178489894 @default.
• W647513699 hasConceptScore W647513699C189950617 @default.
• W647513699 hasConceptScore W647513699C199360897 @default.
• W647513699 hasConceptScore W647513699C21564112 @default.
• W647513699 hasConceptScore W647513699C26517878 @default.
• W647513699 hasConceptScore W647513699C2777721189 @default.
• W647513699 hasConceptScore W647513699C2780069185 @default.
• W647513699 hasConceptScore W647513699C33884865 @default.
• W647513699 hasConceptScore W647513699C33923547 @default.
• W647513699 hasConceptScore W647513699C38652104 @default.
• W647513699 hasConceptScore W647513699C41008148 @default.
• W647513699 hasConceptScore W647513699C558565934 @default.
• W647513699 hasConceptScore W647513699C73301696 @default.
• W647513699 hasConceptScore W647513699C80444323 @default.
• W647513699 hasLocation W6475136991 @default.
• W647513699 hasOpenAccess W647513699 @default.
• W647513699 hasPrimaryLocation W6475136991 @default.
• W647513699 hasRelatedWork W1480198727 @default.
• W647513699 hasRelatedWork W1540759322 @default.
• W647513699 hasRelatedWork W1566400168 @default.
• W647513699 hasRelatedWork W1586422879 @default.
• W647513699 hasRelatedWork W15993971 @default.
• W647513699 hasRelatedWork W1681051970 @default.
• W647513699 hasRelatedWork W1684428352 @default.
• W647513699 hasRelatedWork W1798924124 @default.
• W647513699 hasRelatedWork W18341231 @default.
• W647513699 hasRelatedWork W2010939995 @default.
• W647513699 hasRelatedWork W2020961808 @default.
• W647513699 hasRelatedWork W2023361932 @default.
• W647513699 hasRelatedWork W2024784309 @default.

• next