2020 Ivannikov Memorial Workshop (IVMEM)最新文献_第2页

Compact Interface Method Table Layout 紧凑的接口方法表布局

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00018

Ivan Trepakov, P. Pavlov

引用次数: 0

Adaptation of the TOSCA standard model for the Kubernetes container environment 为Kubernetes容器环境调整TOSCA标准模型

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00008

A. Borisova, Valeriya Shvetcova, O. Borisenko

{"title":"Adaptation of the TOSCA standard model for the Kubernetes container environment","authors":"A. Borisova, Valeriya Shvetcova, O. Borisenko","doi":"10.1109/IVMEM51402.2020.00008","DOIUrl":"https://doi.org/10.1109/IVMEM51402.2020.00008","url":null,"abstract":"The main difference between container-based and virtualization-based cloud environments is the way of the virtualization methods for OS and auxiliary resources. Software applications can be both deployed in a cloud on virtual machines or in local data centres on physical machines. Containers are based on OS-level virtualization. So, container applications can be deployed on a virtual machine in the cloud too. To deal with the growth of various, but functionally similar cloud environments, the TOSCA [1] (Topology and Orchestration for Cloud Applications) standard was created. It allows to describe deployment resources in a TOSCA Domain-specific language that does not depend on the provider. Kubernetes [8] is an open-source system for deployment automation, scaling, and management of containerized applications. TOSCA standard was created to describe cloud applications, but the model may be suitable for describing container applications that Kubernetes orchestrate. This paper considers Kubernetes as a cloud provider and examines the applicability of the TOSCA standard for unifying deployment and orchestration not only of resources provided by virtualization-based clouds but also of containerized ones.","PeriodicalId":325794,"journal":{"name":"2020 Ivannikov Memorial Workshop (IVMEM)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115593752","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Three-step Algorithms for Detection of High Degree Nodes in Online Social Networks 在线社交网络中高节点检测的三步算法

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00014

Danil Shaikhelislamov, Mikhail Drobyshevskiy, D. Turdakov, A. Yatskov, M. Varlamov, Denis Aivazov

引用次数: 1

Evaluation of thread-local garbage collection 线程本地垃圾收集的评估

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00009

A. Filatov, V. Mikheev

引用次数: 0

Title Page III 第三页

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/ivmem51402.2020.00002

引用次数: 0

Verifying cryptographic protocols by Tamarin Prover 验证加密协议的塔玛琳证明

2020 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2020-09-01 DOI: 10.1109/IVMEM51402.2020.00019

Evgenii M. Vinarskii, A. Demakov, A. Kamkin, N. Yevtushenko

{"title":"Verifying cryptographic protocols by Tamarin Prover","authors":"Evgenii M. Vinarskii, A. Demakov, A. Kamkin, N. Yevtushenko","doi":"10.1109/IVMEM51402.2020.00019","DOIUrl":"https://doi.org/10.1109/IVMEM51402.2020.00019","url":null,"abstract":"Cryptographic protocols are utilized for establishing a secure session between “honest” agents which communicate strictly according to the protocol rules as well as for ensuring the authenticated and confidential transmission of messages. The specification of a cryptographic protocol is usually presented as a set of requirements for the sequences of transmitted messages including the format of such messages. Note that protocol can describe several execution scenarios. All these requirements lead to a huge formal specification for a real cryptographic protocol and therefore, it is difficult to verify the security of the whole cryptographic protocol at once. In this paper, to overcome this problem, we suggest verifying the protocol security for its fragments. Namely, we verify the security properties for a special set of so-called traces of the cryptographic protocol. Intuitively, a trace of the cryptographic protocol is a sequence of computations, value checks, and transmissions on the sides of “honest” agents permitted by the protocol. In order to choose such set of traces, we introduce an Adversary model and the notion of a similarity relation for traces. We then verify the security properties of selected traces with Tamarin Prover. Experimental results for the EAP and Noise protocols clearly show that this approach can be promising for automatic verification of large protocols.","PeriodicalId":325794,"journal":{"name":"2020 Ivannikov Memorial Workshop (IVMEM)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123495414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0