2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)最新文献_第9页

New List Skeletons for the Python Skeleton Library Python骨架库的新列表骨架

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-12-01 DOI: 10.1109/PDCAT46702.2019.00077

F. Loulergue, Jolan Philippe

引用次数: 0

A Modified Community-Level Diffusion Extraction in Social Network 社会网络中改进的社区级扩散提取

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-12-01 DOI: 10.1109/PDCAT46702.2019.00101

Huajian Chang, Hong Shen

引用次数: 2

A Temporal Caching-Aware Dummy Selection Location Algorithm 一种感知时间缓存的虚拟选择定位算法

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-12-01 DOI: 10.1109/PDCAT46702.2019.00099

Xuejiao Mu, Hong Shen, Zhigang Lu

{"title":"A Temporal Caching-Aware Dummy Selection Location Algorithm","authors":"Xuejiao Mu, Hong Shen, Zhigang Lu","doi":"10.1109/PDCAT46702.2019.00099","DOIUrl":"https://doi.org/10.1109/PDCAT46702.2019.00099","url":null,"abstract":"Along with the increased convenience of our daily life thanks to the proliferation of location-based service (LBS), such as finding restaurants and booking taxi, concerns on privacy disclosure risks in sharing our locations with LBS have also increased and become a major bottleneck that obstacles the widespread of adoption of LBS [1]. To preserve privacy in LBS, k-anonymity was applied to conceal people's sensitive information against re-identification attacks [2]. Unfortunately, the k-anonymity technique relies on predefined background knowledge of an adversary. Once the adversary has different auxiliary information, we cannot guarantee any privacy preservation against such an adversary. To address the privacy leakage problem of the naive k-anonymity, a combination of k-anonymity and location's query frequency algorithm, the Caching-aware Dummy Selection Algorithm (CaDSA), were proposed [3]. CaDSA anonymises locations in a given area by grouping them with similar query frequency during a fixed time period, say one day. However, considering in the real-life situation location's query frequency often varies in different time slots even in a single day, privacy will clearly lose if we roughly group locations according to a fixed time period as CaDSA. Consequently, in this paper, we propose a Temporal Caching-aware Dummy Location Selection Algorithm (T-CaDLSA) that considers the differences among location's query frequencies over different time slots within a given time period (day). Both mathematical and experimental evaluations show that to achieve the same data utility, our method outperforms the existing work in privacy guarantee.","PeriodicalId":166126,"journal":{"name":"2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129703948","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

Event Causality Detection in Tweets by Context Word Extension and Neural Networks 基于上下文词扩展和神经网络的推文事件因果关系检测

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-12-01 DOI: 10.1109/PDCAT46702.2019.00070

Humayun Kayesh, Md. Saiful Islam, Junhu Wang

引用次数: 10

SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols SMT求解器作为安全协议时间属性自动验证的有效工具

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-12-01 DOI: 10.1109/PDCAT46702.2019.00065

A. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, M. Kurkowski

{"title":"SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols","authors":"A. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, M. Kurkowski","doi":"10.1109/PDCAT46702.2019.00065","DOIUrl":"https://doi.org/10.1109/PDCAT46702.2019.00065","url":null,"abstract":"This paper presents our next research related to the use of SMT techniques for the analysis of security protocols. The behaviours of users and their changing knowledge during an investigated protocol executions are modelled as networks of communicating timed automata. The time properties are defined as the reachability properties of some, properly indicated states in the product automaton. We can do it using specially described time conditions, that can express dependencies between defined as a reachability property of some, chosen states in automata network, the possibility of performing some desired protocol steps and filling time constraints that use generation time of timestamps and lifetimes or/and networks delays. For our experiments we use boolean and SMT encodings that are the basis for respectively, SAT-and SMT-based bounded model checking. For SMT, the runs in product automaton are translated into the quantifier-free first-order formula. So far, we have implemented a well known bounded model checking algorithm and evaluated it for Needham-Schroeder Public Key, Needham Schroeder Symmetric Key, Woo Lam Pi and Wide Mouth Frog protocols. Now we show the tests carried out for the group of four known from the literature security protocols. We also compared our new SMT-based approach with a previous, only SAT-based, technique. For experiments, we used Minisat SAT solver, Z3, Yices2, CVC4 and MathSAT SMT solvers.","PeriodicalId":166126,"journal":{"name":"2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125373634","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

[Title page i] [标题页i]

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-12-01 DOI: 10.1109/pdcat46702.2019.00001

引用次数: 0

Development of Filled Circle Drawing in High-Level Synthesis Oriented Game Programming Library 面向高级综合的游戏程序库中填充圆绘图的开发

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-12-01 DOI: 10.1109/PDCAT46702.2019.00058

Y. Yamagata, A. Yamawaki

引用次数: 4

Research on Case Preprocessing Based on Bert -CNN-LSTM Model 基于Bert -CNN-LSTM模型的案例预处理研究

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-12-01 DOI: 10.1109/PDCAT46702.2019.00054

Chuyue Zhang, Manchun Cai, Xiaofan Zhao

引用次数: 0

Logistics Scheduling for UAV Based on Tabu Search Algorithm 基于禁忌搜索算法的无人机物流调度

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-12-01 DOI: 10.1109/PDCAT46702.2019.00089

K. Zhao, Shoubao Su, Haiping Huang, Jie Zhu

引用次数: 1

CAAVI-RICS Model for Analyzing the Security of Fog Computing Systems: Authentication 雾计算系统安全性分析的CAAVI-RICS模型:认证

2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) Pub Date : 2019-10-02 DOI: 10.1109/PDCAT46702.2019.00050

Saša Pesic, Miloš Radovanović, M. Ivanović, C. Bǎdicǎ, M. Tosic, Ognjen Ikovic, D. Boskovic

{"title":"CAAVI-RICS Model for Analyzing the Security of Fog Computing Systems: Authentication","authors":"Saša Pesic, Miloš Radovanović, M. Ivanović, C. Bǎdicǎ, M. Tosic, Ognjen Ikovic, D. Boskovic","doi":"10.1109/PDCAT46702.2019.00050","DOIUrl":"https://doi.org/10.1109/PDCAT46702.2019.00050","url":null,"abstract":"The overarching connectivity of \"things\" in the Internet of Things presents an appealing environment for innovation and business ventures, but also brings a certain set of security challenges. Engineering secure Internet of Things systems requires addressing the peculiar circumstances under which they operate: constraints due to limited resources, high node churn, decentralized decision making, direct interfacing with end users etc. Thus, techniques and methodologies for building secure and robust Internet of Things systems should support these conditions. In this paper, we are presenting a description of the CAAVI-RICS framework, a novel security review methodology tightly coupled with distributed, Internet of Things and fog computing systems. With CAAVI-RICS we are exploring credibility, authentication, authorization, verification, and integrity (CAAVI) through explaining the rationale, influence, concerns and security solutions (RICS) that accompany them. Our contribution is a thorough systematic categorization and rationalization of security issues, covering the security landscape of Internet of Things/fog computing systems, as well as contributing to the discussion on the aspects of fog computing security and state-of-the-art solutions. Specifically, in this paper we explore the Authentication in Internet of Things systems through the RICS review methodology.","PeriodicalId":166126,"journal":{"name":"2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124487669","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}

引用次数: 6