Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140548364> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2140548364 abstract "Formal analysis is widely used to prove security properties of the protocols. There are tools to check protocols in isolation, but in fact we use many protocols in parallel or even vertically stacked, e.g. running an application protocol (like login) over a secure channel (like TLS) and in general it is unclear if that is safe. There are several works that give sufficient conditions for parallel and vertical composition, but there exists no program to check whether these conditions are actually met by a given suite of protocols. The aim of the master thesis project is to implement a protocol composition checker and present it as a service for registering protocols and checking compatibility of the protocols among each other. In order to establish the checker, it is necessary to collect and integrate different conditions defined through the literature. Also, we will define a framework based on Alice and Bob notation, so the checker can examine protocols in an unambiguous manner. Further we will develop a library of widely-used protocols like TLS that are provenly compatible with each other and define a set of negative example proto- cols to test the checker. We want to implement the checker as an extension of the existing Open-Source Fixed-Point Model-Checker OFMC to easily integrate our composition checker with a existing verification procedure that support Alice and Bob notation." @default.
- W2140548364 created "2016-06-24" @default.
- W2140548364 creator A5003265085 @default.
- W2140548364 date "2012-01-01" @default.
- W2140548364 modified "2023-09-24" @default.
- W2140548364 title "An Automatic Protocol Composition Checker" @default.
- W2140548364 cites W1491035119 @default.
- W2140548364 cites W1583295953 @default.
- W2140548364 cites W1681146363 @default.
- W2140548364 cites W2027660602 @default.
- W2140548364 cites W2039875296 @default.
- W2140548364 cites W2106539366 @default.
- W2140548364 cites W2117064875 @default.
- W2140548364 cites W2132898941 @default.
- W2140548364 cites W2146973388 @default.
- W2140548364 cites W2163758100 @default.
- W2140548364 cites W2169908972 @default.
- W2140548364 cites W2916447643 @default.
- W2140548364 cites W2936382569 @default.
- W2140548364 hasPublicationYear "2012" @default.
- W2140548364 type Work @default.
- W2140548364 sameAs 2140548364 @default.
- W2140548364 citedByCount "0" @default.
- W2140548364 crossrefType "dissertation" @default.
- W2140548364 hasAuthorship W2140548364A5003265085 @default.
- W2140548364 hasConcept C110251889 @default.
- W2140548364 hasConcept C111498074 @default.
- W2140548364 hasConcept C142724271 @default.
- W2140548364 hasConcept C166957645 @default.
- W2140548364 hasConcept C177264268 @default.
- W2140548364 hasConcept C199360897 @default.
- W2140548364 hasConcept C204787440 @default.
- W2140548364 hasConcept C2780385302 @default.
- W2140548364 hasConcept C33923547 @default.
- W2140548364 hasConcept C41008148 @default.
- W2140548364 hasConcept C45357846 @default.
- W2140548364 hasConcept C71924100 @default.
- W2140548364 hasConcept C75606506 @default.
- W2140548364 hasConcept C79581498 @default.
- W2140548364 hasConcept C94375191 @default.
- W2140548364 hasConcept C95457728 @default.
- W2140548364 hasConceptScore W2140548364C110251889 @default.
- W2140548364 hasConceptScore W2140548364C111498074 @default.
- W2140548364 hasConceptScore W2140548364C142724271 @default.
- W2140548364 hasConceptScore W2140548364C166957645 @default.
- W2140548364 hasConceptScore W2140548364C177264268 @default.
- W2140548364 hasConceptScore W2140548364C199360897 @default.
- W2140548364 hasConceptScore W2140548364C204787440 @default.
- W2140548364 hasConceptScore W2140548364C2780385302 @default.
- W2140548364 hasConceptScore W2140548364C33923547 @default.
- W2140548364 hasConceptScore W2140548364C41008148 @default.
- W2140548364 hasConceptScore W2140548364C45357846 @default.
- W2140548364 hasConceptScore W2140548364C71924100 @default.
- W2140548364 hasConceptScore W2140548364C75606506 @default.
- W2140548364 hasConceptScore W2140548364C79581498 @default.
- W2140548364 hasConceptScore W2140548364C94375191 @default.
- W2140548364 hasConceptScore W2140548364C95457728 @default.
- W2140548364 hasLocation W21405483641 @default.
- W2140548364 hasOpenAccess W2140548364 @default.
- W2140548364 hasPrimaryLocation W21405483641 @default.
- W2140548364 hasRelatedWork W1579989646 @default.
- W2140548364 hasRelatedWork W1951334222 @default.
- W2140548364 hasRelatedWork W2004665206 @default.
- W2140548364 hasRelatedWork W2045679397 @default.
- W2140548364 hasRelatedWork W2062781426 @default.
- W2140548364 hasRelatedWork W2117292948 @default.
- W2140548364 hasRelatedWork W2148512098 @default.
- W2140548364 hasRelatedWork W2154731717 @default.
- W2140548364 hasRelatedWork W2169923303 @default.
- W2140548364 hasRelatedWork W2275140988 @default.
- W2140548364 hasRelatedWork W2375691540 @default.
- W2140548364 hasRelatedWork W2429306479 @default.
- W2140548364 hasRelatedWork W2514462612 @default.
- W2140548364 hasRelatedWork W2620991964 @default.
- W2140548364 hasRelatedWork W3003355714 @default.
- W2140548364 hasRelatedWork W3089867982 @default.
- W2140548364 hasRelatedWork W3094700539 @default.
- W2140548364 hasRelatedWork W3166879819 @default.
- W2140548364 hasRelatedWork W563085368 @default.
- W2140548364 hasRelatedWork W768482223 @default.
- W2140548364 isParatext "false" @default.
- W2140548364 isRetracted "false" @default.
- W2140548364 magId "2140548364" @default.
- W2140548364 workType "dissertation" @default.