Evaluation of new CYPHONIC: Overlay network protocol based on Go language

Yoshikawa, Taiki; Komura, Hijiri; Nishiwaki, Chihiro; Goto, Ren; Matama, Kazushige; Naito, Katsuhiro

doi:10.1109/icce53296.2022.9730323

Cited by 11 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Go was designed as a general purpose system's programming language. It learned from C and Newsqueak (channels) [19]. It has garbage collection, is statically typed and has compilers on Windows, Linux and MacOS X.…”

Section: Gomentioning

confidence: 99%

K‐Go: An executable formal semantics of Go language in K framework

Zhao

Liu

Hu³

et al. 2023

IET Blockchain

View full text Add to dashboard Cite

Go is a relatively new programming language and has become one of the most important programming languages used widely in blockchain. A formal semantics plays an important role in program synthesis, analysis and verification. The existed formal semantics of Go are not executable and do not cover the core features, hence, this paper presents an executable formal semantics for Go, called K-Go, using rewriting logic in 𝕂 framework to make sure the semantics is both executable and applicable. K-Go includes syntax, configuration and rules and covers the declaration and definition of basic types, basic expression, concurrency, main statement data reading and writing based on channel. K-Go is validated by test set with 100% semantic coverage based on the official test suite. The evaluation experiment shows that K-Go is correct. Using formal semantics of Go language, building Go program synthesis, analysis and verification tools is easy for analyzing more characteristics of Go programs.

show abstract

Section: Gomentioning

confidence: 99%

K‐Go: An executable formal semantics of Go language in K framework

Zhao

Liu

Hu³

et al. 2023

IET Blockchain

View full text Add to dashboard Cite

show abstract

“…In some cases, they may handle security as a low-priority function compared to the designated service functions. The authors have been developing the overlay network protocol, called CYber PHysical Overlay Network over Internet Communication (CYPHONIC), as the solution for the easy supporting of the zero-trust security model [3]. CYPHONIC is a communication framework that provides mutual authentication and secure communication between devices.…”

Section: Introductionmentioning

confidence: 99%

Design of new CYPHONIC adapter focused on packet sequential processing scheme

et al. 2023

View full text Add to dashboard Cite

The security policy changed from the traditional "castle and moat" approach to the zero-trust security model due to the recent change in work styles. The authors have been developing the overlay network protocol, called CYber PHysical Overlay Network over Internet Communication (CYPHONIC), to support the zero-trust security model easily. Additionally, we have designed an essential function of a gateway device called a CYPHONIC adapter because the proposed protocol requires devices to install a special client program. The initial implementation suffers from performance degradation of Transmission Control Protocol (TCP) due to order changes of packets during packet handling functions. This paper redesigns the adapter functions focused on the packet processing scheme of the CYPHONIC adapter and confirms the throughput improvement in standard protocols.

show abstract