Matches in SemOpenAlex for { <https://semopenalex.org/work/W2794806606> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2794806606 abstract "To analyse cryptographic properties of distributed systems in a systematic way, a formal theory is required. In this paper, we present a theory that allows (1) to specify distributed systems formally, (2) to verify their cryptographic wrt. composition properties, and (3) to demonstrate the correctness of syntactic interfaces for specified system components automatically. To demonstrate the feasibility of the approach we use a typical example from the domain of crypto-based systems: a variant of the Internet security protocol TLS. A security flaw in the initial version of TLS specification was revealed using a semi-automatic theorem prover, Isabelle/HOL." @default.
- W2794806606 created "2018-04-06" @default.
- W2794806606 creator A5049584186 @default.
- W2794806606 creator A5049817677 @default.
- W2794806606 date "2018-07-05" @default.
- W2794806606 modified "2023-09-27" @default.
- W2794806606 title "FocusST Solution for Analysis of Cryptographic Properties" @default.
- W2794806606 cites W1166400963 @default.
- W2794806606 cites W146244851 @default.
- W2794806606 cites W1518442267 @default.
- W2794806606 cites W1565715468 @default.
- W2794806606 cites W1588668163 @default.
- W2794806606 cites W2002789557 @default.
- W2794806606 cites W2029693536 @default.
- W2794806606 cites W2079626875 @default.
- W2794806606 cites W2107537653 @default.
- W2794806606 cites W2139793270 @default.
- W2794806606 cites W2144642244 @default.
- W2794806606 cites W2539848927 @default.
- W2794806606 cites W2950563969 @default.
- W2794806606 cites W85167013 @default.
- W2794806606 hasPublicationYear "2018" @default.
- W2794806606 type Work @default.
- W2794806606 sameAs 2794806606 @default.
- W2794806606 citedByCount "0" @default.
- W2794806606 crossrefType "posted-content" @default.
- W2794806606 hasAuthorship W2794806606A5049584186 @default.
- W2794806606 hasAuthorship W2794806606A5049817677 @default.
- W2794806606 hasConcept C111498074 @default.
- W2794806606 hasConcept C120314980 @default.
- W2794806606 hasConcept C134306372 @default.
- W2794806606 hasConcept C142724271 @default.
- W2794806606 hasConcept C15927051 @default.
- W2794806606 hasConcept C17435882 @default.
- W2794806606 hasConcept C178489894 @default.
- W2794806606 hasConcept C199360897 @default.
- W2794806606 hasConcept C204787440 @default.
- W2794806606 hasConcept C206880738 @default.
- W2794806606 hasConcept C2780385302 @default.
- W2794806606 hasConcept C33884865 @default.
- W2794806606 hasConcept C33923547 @default.
- W2794806606 hasConcept C36503486 @default.
- W2794806606 hasConcept C38652104 @default.
- W2794806606 hasConcept C41008148 @default.
- W2794806606 hasConcept C55439883 @default.
- W2794806606 hasConcept C71924100 @default.
- W2794806606 hasConcept C80444323 @default.
- W2794806606 hasConceptScore W2794806606C111498074 @default.
- W2794806606 hasConceptScore W2794806606C120314980 @default.
- W2794806606 hasConceptScore W2794806606C134306372 @default.
- W2794806606 hasConceptScore W2794806606C142724271 @default.
- W2794806606 hasConceptScore W2794806606C15927051 @default.
- W2794806606 hasConceptScore W2794806606C17435882 @default.
- W2794806606 hasConceptScore W2794806606C178489894 @default.
- W2794806606 hasConceptScore W2794806606C199360897 @default.
- W2794806606 hasConceptScore W2794806606C204787440 @default.
- W2794806606 hasConceptScore W2794806606C206880738 @default.
- W2794806606 hasConceptScore W2794806606C2780385302 @default.
- W2794806606 hasConceptScore W2794806606C33884865 @default.
- W2794806606 hasConceptScore W2794806606C33923547 @default.
- W2794806606 hasConceptScore W2794806606C36503486 @default.
- W2794806606 hasConceptScore W2794806606C38652104 @default.
- W2794806606 hasConceptScore W2794806606C41008148 @default.
- W2794806606 hasConceptScore W2794806606C55439883 @default.
- W2794806606 hasConceptScore W2794806606C71924100 @default.
- W2794806606 hasConceptScore W2794806606C80444323 @default.
- W2794806606 hasLocation W27948066061 @default.
- W2794806606 hasOpenAccess W2794806606 @default.
- W2794806606 hasPrimaryLocation W27948066061 @default.
- W2794806606 hasRelatedWork W1553936698 @default.
- W2794806606 hasRelatedWork W1853215850 @default.
- W2794806606 hasRelatedWork W2074244772 @default.
- W2794806606 hasRelatedWork W2081888787 @default.
- W2794806606 hasRelatedWork W2123262379 @default.
- W2794806606 hasRelatedWork W2151471244 @default.
- W2794806606 hasRelatedWork W2158464066 @default.
- W2794806606 hasRelatedWork W2159617506 @default.
- W2794806606 hasRelatedWork W2169923303 @default.
- W2794806606 hasRelatedWork W2351521370 @default.
- W2794806606 hasRelatedWork W2360199299 @default.
- W2794806606 hasRelatedWork W2369722586 @default.
- W2794806606 hasRelatedWork W2374301032 @default.
- W2794806606 hasRelatedWork W288661550 @default.
- W2794806606 hasRelatedWork W2972606400 @default.
- W2794806606 hasRelatedWork W3094700539 @default.
- W2794806606 hasRelatedWork W3166879819 @default.
- W2794806606 hasRelatedWork W66756909 @default.
- W2794806606 hasRelatedWork W2188455844 @default.
- W2794806606 hasRelatedWork W2612924960 @default.
- W2794806606 isParatext "false" @default.
- W2794806606 isRetracted "false" @default.
- W2794806606 magId "2794806606" @default.
- W2794806606 workType "article" @default.