Verikube: Automatic and Efficient Verification for Container Network Policies

Cited 1 time in webofscience Cited 0 time in scopus
  • Hit : 153
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorKang, Haneyko
dc.contributor.authorShin, Seungwonko
dc.date.accessioned2022-12-19T01:00:22Z-
dc.date.available2022-12-19T01:00:22Z-
dc.date.created2022-12-19-
dc.date.created2022-12-19-
dc.date.issued2022-12-
dc.identifier.citationIEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E105D, no.12, pp.2131 - 2134-
dc.identifier.issn0916-8532-
dc.identifier.urihttp://hdl.handle.net/10203/303142-
dc.description.abstractRecently, Linux Container has been the de-facto standard for a cloud system, enabling cloud providers to create a virtual environment in a much more scaled manner. However, configuring container networks remains immature and requires automatic verification for efficient cloud management. We propose Verikube, which utilizes a novel graph structure representing policies to reduce memory consumption and accelerate verification. Moreover, unlike existing works, Verikube is compatible with the complex semantics of Cilium Policy which a cloud adopts from its advantage of performance. Our evaluation results show that Verikube performs at least seven times better for memory efficiency, at least 1.5 times faster for data structure management, and 20K times better for verification.-
dc.languageEnglish-
dc.publisherIEICE-INST ELECTRONICS INFORMATION COMMUNICATION ENGINEERS-
dc.titleVerikube: Automatic and Efficient Verification for Container Network Policies-
dc.typeArticle-
dc.identifier.wosid000892257200017-
dc.identifier.scopusid2-s2.0-85144534333-
dc.type.rimsART-
dc.citation.volumeE105D-
dc.citation.issue12-
dc.citation.beginningpage2131-
dc.citation.endingpage2134-
dc.citation.publicationnameIEICE TRANSACTIONS ON INFORMATION AND SYSTEMS-
dc.identifier.doi10.1587/transinf.2022EDL8046-
dc.contributor.localauthorShin, Seungwon-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorcloud-
dc.subject.keywordAuthorLinux Container-
dc.subject.keywordAuthornetwork verification-
dc.subject.keywordAuthorfirst-order logic-
dc.subject.keywordAuthorvirtualization-
Appears in Collection
EE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 1 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0