2019 International Conference on Platform Technology and Service (PlatCon)最新文献

A Study on smart city security policy based on blockchain in 5G Age 5G时代基于区块链的智慧城市安全策略研究

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-03-18 DOI: 10.1109/PLATCON.2019.8669406

Jong-ho Noh, Hun-Yeong Kwon

引用次数: 19

Security Evaluation Methodology for Software Defined Network Solutions 软件定义网络解决方案的安全评估方法

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-01-01 DOI: 10.1109/PLATCON.2019.8669405

Jean Claude Nikoue, S. Butakov, Yasir Malik

引用次数: 5

PlatCon 2019 Copyright Page PlatCon 2019版权页面

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-01-01 DOI: 10.1109/platcon.2019.8668956

引用次数: 0

Formal Specification Technique in Smart Contract Verification 智能合约验证中的形式化规范技术

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-01-01 DOI: 10.1109/PLATCON.2019.8669419

Seung-min Lee, Soojin Park, Young B. Park

{"title":"Formal Specification Technique in Smart Contract Verification","authors":"Seung-min Lee, Soojin Park, Young B. Park","doi":"10.1109/PLATCON.2019.8669419","DOIUrl":"https://doi.org/10.1109/PLATCON.2019.8669419","url":null,"abstract":"The block chain technology is changing rapidly. The block chain guarantees the integrity of the book through a specific consensus of the participants. In the past, the block chain technology had a limited range of applications. However, the use of block chain technology is gradually expanding as smart contracts that can formulate general business logic are mentioned. Already studied the components of smart contracts in other studies and proposed the possibility of extending them on the basis of ontology. And research on securing traceability of smart contract based on ontology has been carried out. However, research on various transactions constituting smart contracts is lacking. In this paper, the constituent elements of smart contract are analyzed and expressed by ontology. And the process of negotiating the components is represented by each transaction. Finally, we construct the component represented by the ontology as XML by including the state information in the transaction. In this way, the smart contract is represented in a formal language that contains state information. It also laid the foundation for a smart contract that can be reused and verified.","PeriodicalId":364838,"journal":{"name":"2019 International Conference on Platform Technology and Service (PlatCon)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121630399","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}

引用次数: 9

Android Application Risk Indicator Based on Feature Analysis Utilizing Machine Learning 基于机器学习特征分析的Android应用程序风险指标

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-01-01 DOI: 10.1109/PLATCON.2019.8669424

H. Baek, Minhee Joo, Won Park, Youngin You, K. Lee

{"title":"Android Application Risk Indicator Based on Feature Analysis Utilizing Machine Learning","authors":"H. Baek, Minhee Joo, Won Park, Youngin You, K. Lee","doi":"10.1109/PLATCON.2019.8669424","DOIUrl":"https://doi.org/10.1109/PLATCON.2019.8669424","url":null,"abstract":"As the penetration rate of smart mobile devices has increased, threats targeting the Android platform, which accounts for the majority of mobile operating systems, have increased. As a typical example, a fake Korea Financial Supervisory Service application(app) appeared at the end of 2017. When users installed this app and called the Financial Supervisory Service, there was a case of fake loan consultation, which resulted in financial loss and leakage of personal information. There have been a variety of malicious apps targeting mobile devices. As a result, it became necessary to detect the risks to such malicious apps and to make decisions about the apps. In this paper, we created a model to evaluate the risk of apps in Android and define the characteristics of each element. In addition, the risk from the model is used to make a risk map for decision making using unsupervised algorithms. To make the risk map in this paper uses the data of 2970 apps that is malicious or benign. As a result of the experiment, some of the benign apps were classified as very high risk. They had a lot of high-risk permissions, and there was a need for users to be careful. The results of this study can help users know the exact risk of Android apps and help detect unknown malicious apps.","PeriodicalId":364838,"journal":{"name":"2019 International Conference on Platform Technology and Service (PlatCon)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114257643","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}

引用次数: 1

Source Code Analysis for Static Prediction of Dynamic Memory Usage 源代码分析动态内存使用的静态预测

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-01-01 DOI: 10.1109/PLATCON.2019.8669417

Sangwho Kim, Jaecheol Ryou

引用次数: 0

A Study on the Needs for Enhancement of Personal Information Protection in Cloud Computing Security Certification System 云计算安全认证体系中加强个人信息保护的需求研究

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-01-01 DOI: 10.1109/PLATCON.2019.8669413

Minju Kang, Hunyeong Kwon

引用次数: 2

ICMPv6SD: A Compact Service Discovery Protocol Supporting Plug-and-Play in Home Networks ICMPv6SD:支持家庭网络即插即用的紧凑型服务发现协议

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-01-01 DOI: 10.1109/PLATCON.2019.8669421

Zi-Chao Lin, Chun-Feng Liao

{"title":"ICMPv6SD: A Compact Service Discovery Protocol Supporting Plug-and-Play in Home Networks","authors":"Zi-Chao Lin, Chun-Feng Liao","doi":"10.1109/PLATCON.2019.8669421","DOIUrl":"https://doi.org/10.1109/PLATCON.2019.8669421","url":null,"abstract":"UPnP (Universal Plug and Play) is popular in home networks because it provides a general service management schemes for heterogeneous hardware and software based on open standards. Meanwhile, the rise of the internet of things (IoT) results in the rapid growth of the number of small or embedded devices which makes the IPv4 address exhaustion even worse. Hence, IPv6 is widely adopted in recent years. It is worthy to note that IPv6 also improves the design of the family of IP-based management protocols, namely, ICMPv6, so that the efficiency of transmission is significantly improved. Following this trend, UPnP also supports IPv6, but this extension concentrates on the address compatibility and neglects to utilize the improved design in IPv6. In light of this, this paper proposes a new service discovery protocol which bases on ICMPv6 in order to make the service discovery of UPnP more compact and efficient. Also, we develop a monitoring tool for developers to troubleshoot the problems of the proposed protocol. We hope this enhancement can make the deployment of IoT in the smart home network more scalable and robust.","PeriodicalId":364838,"journal":{"name":"2019 International Conference on Platform Technology and Service (PlatCon)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114361218","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}

引用次数: 1

PlatCon 2019 TOC

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-01-01 DOI: 10.1109/platcon.2019.8669433

引用次数: 0

Simulation System of a Reservation-Based 3D Intersection Crossing Scheme for UAVs 基于预约的无人机三维交叉方案仿真系统

2019 International Conference on Platform Technology and Service (PlatCon) Pub Date : 2019-01-01 DOI: 10.1109/PLATCON.2019.8669427

Areeya Rubenecia, Myungwhan Choi, Hyohyun Choi

引用次数: 0