Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313121012> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4313121012 endingPage "306" @default.
- W4313121012 startingPage "277" @default.
- W4313121012 abstract "Apache Kafka is an open source distributed messaging system based on the publish-subscribe model, which achieves low latency, high throughput and good load balancing. As a popular messaging system, the transmission of messages between applications is one of the core functions of Kafka. Therefore, the reliability and security of data in the process of message transmission in Kafka have become the focus of attention. The formal methods can analyze whether a model is highly credible. Therefore, it is significant to analyze Kafka messaging mechanism which describes the communication process and rules between each module entity in Kafka from the perspective of formal methods. In this paper, we apply the process algebra CSP (Communicating Sequential Processes) and the model checking tool PAT (Process Analysis Toolkit) to analyze Kafka messaging mechanism. The results of verification show that the model caters for its specification and guarantees the reliability of messages in the normal communication process. Moreover, in order to further analyze the security of Kafka messaging mechanism, we add the intruder model and the authentication protocol Kerberos model and compare the verification results of Kafka messaging mechanism with or without the secure protocol Kerberos. The results show that the Kerberos protocol has improved the security of Kafka messaging mechanism in some aspects, but there are still some security loopholes." @default.
- W4313121012 created "2023-01-06" @default.
- W4313121012 creator A5009246972 @default.
- W4313121012 creator A5016187084 @default.
- W4313121012 creator A5036792191 @default.
- W4313121012 creator A5055720958 @default.
- W4313121012 date "2023-01-01" @default.
- W4313121012 modified "2023-09-26" @default.
- W4313121012 title "Formalization and verification of Kafka messaging mechanism using CSP" @default.
- W4313121012 doi "https://doi.org/10.2298/csis210707057x" @default.
- W4313121012 hasPublicationYear "2023" @default.
- W4313121012 type Work @default.
- W4313121012 citedByCount "0" @default.
- W4313121012 crossrefType "journal-article" @default.
- W4313121012 hasAuthorship W4313121012A5009246972 @default.
- W4313121012 hasAuthorship W4313121012A5016187084 @default.
- W4313121012 hasAuthorship W4313121012A5036792191 @default.
- W4313121012 hasAuthorship W4313121012A5055720958 @default.
- W4313121012 hasBestOaLocation W43131210121 @default.
- W4313121012 hasConcept C111919701 @default.
- W4313121012 hasConcept C120314980 @default.
- W4313121012 hasConcept C142724271 @default.
- W4313121012 hasConcept C148417208 @default.
- W4313121012 hasConcept C204787440 @default.
- W4313121012 hasConcept C2780385302 @default.
- W4313121012 hasConcept C32455479 @default.
- W4313121012 hasConcept C38652104 @default.
- W4313121012 hasConcept C41008148 @default.
- W4313121012 hasConcept C71924100 @default.
- W4313121012 hasConcept C98045186 @default.
- W4313121012 hasConceptScore W4313121012C111919701 @default.
- W4313121012 hasConceptScore W4313121012C120314980 @default.
- W4313121012 hasConceptScore W4313121012C142724271 @default.
- W4313121012 hasConceptScore W4313121012C148417208 @default.
- W4313121012 hasConceptScore W4313121012C204787440 @default.
- W4313121012 hasConceptScore W4313121012C2780385302 @default.
- W4313121012 hasConceptScore W4313121012C32455479 @default.
- W4313121012 hasConceptScore W4313121012C38652104 @default.
- W4313121012 hasConceptScore W4313121012C41008148 @default.
- W4313121012 hasConceptScore W4313121012C71924100 @default.
- W4313121012 hasConceptScore W4313121012C98045186 @default.
- W4313121012 hasIssue "1" @default.
- W4313121012 hasLocation W43131210121 @default.
- W4313121012 hasOpenAccess W4313121012 @default.
- W4313121012 hasPrimaryLocation W43131210121 @default.
- W4313121012 hasRelatedWork W2026027869 @default.
- W4313121012 hasRelatedWork W2181469750 @default.
- W4313121012 hasRelatedWork W2533077019 @default.
- W4313121012 hasRelatedWork W2555884170 @default.
- W4313121012 hasRelatedWork W2950317205 @default.
- W4313121012 hasRelatedWork W3005024658 @default.
- W4313121012 hasRelatedWork W3093519219 @default.
- W4313121012 hasRelatedWork W4293579513 @default.
- W4313121012 hasRelatedWork W4383744984 @default.
- W4313121012 hasRelatedWork W63693818 @default.
- W4313121012 hasVolume "20" @default.
- W4313121012 isParatext "false" @default.
- W4313121012 isRetracted "false" @default.
- W4313121012 workType "article" @default.