检索结果-内蒙古大学图书馆

14th International Workshop on Data Privacy Management, DPM 2019, and the 3rd International Workshop on Cryptocurrencies and Blockchain Technology, CBT 2019, held in conjunction with the 24th European symposium on Research in Computer security, ESORICS 2019

14th International Workshop on Data Privacy Management, DPM ...

引用

14th International Workshop on Data Privacy Management, DPM 2019, and the 3rd International Workshop on Cryptocurrencies and Blockchain Technology, CBT 2019, held in conjunction with the 24th European symposium on Research in Computer security, ESORICS 2019

ISBN: (纸本)9783030314996

the proceedings contain 25 papers. the special focus in this conference is on Data Privacy Management. the topics include: PINFER: Privacy-Preserving Inference: Logistic Regression, Support Vector Machines, and More, over Encrypted Data;card-Based Cryptographic Protocols with the Minimum Number of Rounds Using Private Operations;TEE-Based distributed Watchtowers for Fraud Protection in the Lightning network;payment networks as Creation Games;an Efficient Micropayment Channel on Ethereum;extending Atomic Cross-Chain Swaps;a Minimal Core Calculus for Solidity Contracts;Multi-stage Contracts in the UTXO Model;the Operational Cost of Ethereum Airdrops;blockchain Driven Platform for Energy Distribution in a Microgrid;practical Mutation Testing for Smart Contracts;integral Privacy Compliant Statistics Computation;online Payment network Design;a Multi-protocol Payment system to Facilitate Financial Inclusion;Simulation Extractability in Groth’s zk-SNARK;auditable Credential Anonymity Revocation Based on Privacy-Preserving Smart Contracts;bonded Mining: Difficulty Adjustment by Miner Commitment;12 Angry Miners;towards Data Anonymization in Data Mining via Meta-heuristic Approaches;skiplist Timing Attack Vulnerability;A Study on Subject Data Access in Online Advertising After the GDPR;on Privacy Risks of Public WiFi Captive Portals;user Perceptions of security and Usability of Mobile-Based Single Password Authentication and Two-Factor Authentication;graph Perturbation as Noise Graph Addition: A New Perspective for Graph Anonymization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Exposing Congestion Attack on Emerging Connected Vehicle based Traffic Signal Control 25

Exposing Congestion Attack on Emerging Connected Vehicle bas...

引用

25th Annual network and distributed system security symposium (ndss)

作者： Chen, Qi Alfred Yin, Yucheng Feng, Yiheng Mao, Z. Morley Liu, Henry X. Univ Michigan Ann Arbor MI 48109 USA

ISBN: (纸本)1891562495

Connected vehicle (CV) technology will soon transform today's transportation systems by connecting vehicles and the transportation infrastructure through wireless communication. Having demonstrated the potential to greatly improve transportation mobility efficiency, such dramatically increased connectivity also opens a new door for cyber attacks. In this work, we perform the first detailed security analysis of the next-generation CV-based transportation systems. As a first step, we target the USDOT (U.S. Department of Transportation) sponsored CV-based traffic control system, which has been tested and shown high effectiveness in real road intersections. In the analysis, we target a realistic threat, namely CV data spoofing from one single attack vehicle, with the attack goal of creating traffic congestion. We first analyze the system design and identify data spoofing strategies that can potentially influence the traffic control. Based on the strategies, we perform vulnerability analysis by exhaustively trying all the data spoofing options for these strategies to understand the upper bound of the attack effectiveness. For the highly effective cases, we analyze the causes and find that the current signal control algorithm design and implementation choices are highly vulnerable to data spoofing attacks from even a single attack vehicle. these vulnerabilities can be exploited to completely reverse the benefit of the CV-based signal control system by causing the traffic mobility to be 23.4% worse than that without adopting such system. We then construct practical exploits and evaluate them under real-world intersection settings. the evaluation results are consistent with our vulnerability analysis, and we find that the attacks can even cause a blocking effect to jam an entire approach. In the jamming period, 22% of the vehicles need to spend over 7 minutes for an original half-minute trip, which is 14 times higher. We also discuss defense directions leveraging the insigh

关键词： network security

来源：评论

学校读者我要写书评

暂无评论

Opaque: An Oblivious and Encrypted distributed Analytics Platform 14

Opaque: An Oblivious and Encrypted Distributed Analytics Pla...

引用

14th USENIX symposium on networked systems Design and Implementation (NSDI)

作者： Zheng, Wenting Dave, Ankur Beekman, Jethro G. Popa, Raluca Ada Gonzalez, Joseph E. Stoica, Ion Univ Calif Berkeley Berkeley CA 94720 USA

ISBN: (纸本)9781931971379

Many systems run rich analytics on sensitive data in the cloud, but are prone to data breaches. Hardware enclaves promise data confidentiality and secure execution of arbitrary computation, yet still suffer from access pattern leakage. We propose Opaque, a distributed data analytics platform supporting a wide range of queries while providing strong security guarantees. Opaque introduces new distributed oblivious relational operators that hide access patterns, and new query planning techniques to optimize these new operators. Opaque is implemented on Spark SQL with few changes to the underlying system. Opaque provides data encryption, authentication and computation verification with a performance ranging from 52% faster to 3.3x slower as compared to vanilla Spark SQL;obliviousness comes with a 1.6-46x overhead. Opaque provides an improvement of three orders of magnitude over state-of-the-art oblivious protocols, and our query optimization techniques improve performance by 2-5x.

关键词： Sensitive data

来源：评论

学校读者我要写书评

暂无评论

Probabilistic energy-aware scheduling for wireless networked control systems

引用

COMPUTER systemS SCIENCE AND ENGINEERING 2017年第6期32卷 499-506页

作者： Lin, Qiang Wu, Guowei Ren, Jiankang Dalian Univ Technol Sch Software Technol Dalian Peoples R China Dalian Inst Sci & Technol Dalian Peoples R China Dalian Univ Technol Sch Comp Sci & Technol Dalian Peoples R China

As a special application of real-time systems, Wireless networked Control system (WNCS) is composed of distributed fields and plant devices interconnected via a wireless network and energy management is a key issue. In this paper, we consider a single-hop networked real-time embedded system. In order to maximize the expected total reward of the system, we proposed a genetic algorithm (GA) to get a suitable operating frequency for each probabilistic real-time task. Experiments demonstrate that our scheduling strategy has advantages over non-energy-aware scheduling strategy. Moreover, our scheduling strategy is very efficient for the system with more tasks, probabilistic deadline miss requirements and strict energy consumption budget constraints

关键词： Wireless networked Control system Probabilistic Scheduling Energy Awareness

来源：评论

学校读者我要写书评

暂无评论

Joint correlation exploitation and network coding in two-way relaying systems

引用

COMPUTER systemS SCIENCE AND ENGINEERING 2017年第6期32卷 445-450页

作者： ZhuanSun, Zongliang Li, Keqiu Qi, Heng Chen, Guolong Dalian Univ Technol Sch Comp Sci & Technol Dalian Peoples R China Suzhou Univ Sch Informat Informat Engn Suzhou Peoples R China

In this paper, we focus on the encoding/decoding designing and its performance analysis for a two-way relaying system. In the two-way relaying system, two source points broadcast their information to a group of relays in different phases. the relays lightly decode the received signals from them to estimate the information of two source points. An exclusive OR (XOR)-based network coding is then performed by each relay over two estimated binary sequences even though they contain errors. Each relay re-encodes the XORed information using concatenated convolutional codes and forwards the coded information to two source points. A joint decoding scheme which utilizes the correlation knowledge among the relayed information is proposed to reduce the energy consumption and to achieve well performance. Simulation results show that the proposed scheme can signi cantly reduce the energy consumptions and can achieve full diversity order.

关键词： correlation network coding two-way relaying LLR updating energy saving

来源：评论

学校读者我要写书评

暂无评论

Research on the nonintrusive resource level fault injection technology for windows system 15

Research on the nonintrusive resource level fault injection ...

引用

Joint 15th IEEE International Conference on Trust, security and Privacy in Computing and Communications, 10th IEEE International Conference on Big Data Science and Engineering and 14th IEEE International symposium on Parallel and distributed Processing with Applications, IEEE TrustCom/BigDataSE/ISPA 2016

作者： Jianyong, Fang Jiangsu Automation Research Institute Lianyungang China

ISBN: (纸本)9781509032051

there are often a few harsh testing scenarios need to simulate, such as the bandwidth of the network is limited, the memory is overload or the file system access is denied. Now, there have been some traditional methods to simulate those faults, but these methods often make damage on the system resource or the code of the system under testing. Using the interception service of Windows system, the nonintrusive resource level fault injection methods are proposed to simulate resource level faults accurately. then a fault injection tool named JariFI is designed, which can inject faults needed in software testing and reliability evaluation. At last, the accuracy and the function applicability about the tool are verified by the fault injection experiment. © 2016 IEEE.

关键词： Software reliability

来源：评论

学校读者我要写书评

暂无评论

Securing Mobile Ad Hoc networks Using distributed Firewall with PKI 14

Securing Mobile Ad Hoc Networks Using Distributed Firewall w...

引用

14th IEEE International symposium on Applied Machine Intelligence and Informatics (SAMI)

作者： Filipek, Jozef Hudec, Ladislav Slovak Univ Technol Bratislava Fac Informat & Informat Technol Ilkovicova 2 Bratislava 84216 Slovakia

ISBN: (纸本)9781467387408

the MANETs (Mobile Ad Hoc networks) are increasing on popularity due to their dynamic nature, minimal infrastructure requirements, deployment cost and their self-configuring attributes. Advances in low power computing and communications and increase of transfer rates makes MANETs even more desired in different real world applications. these properties make them ideal for employment in tactical military and civil rapid-deployment networks, including emergency rescue operations and ad hoc disaster-relief networks. Every MANET node acts as a router, thus expanding communications range and creating even larger network. However, decentralized nature of MANETs makes them susceptible to insider and outsider attacks. In this paper, we define security model for MANETs using PKI (Public Key Infrastructure), Firewall and aspects of IPS (Intrusion Prevention system). Our model denies all communication by default. Nodes can access only other nodes and services they are authorized to. Every node contains same security model, which protects it against routing, network and surveillance attacks. Model helps mitigate and prevent against most common attacks. this approach helps nodes to protect against insider and outsider attackers and allows them to withstand security threats which would otherwise damage or cripple whole network.

关键词： Mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Model checking probabilistic network propagation protection strategies 15

Model checking probabilistic network propagation protection ...

引用

作者： Zonghao, Guo Ou, Wei Peng, Yu Lansheng, Han Weiming, Wu College of Computer Science and Technology Nanjing University of Aeronautic and Astronautics Nanjing211100 China School of Computer Science and Technonlgy Huazhong University of Science and Technology Wuhan430074 China

ISBN: (纸本)9781509032051

network exists widely in nature and human society. the spread of infections such as computer viruses, diseases and rumors poses great challenges to economic and social system. It is an important issue in the network propagation control to protect individuals by finding effective intervention strategies. By analyzing network propagation processes, we build the probabilistic network propagation model and express the intervention goals as probabilistic logical properties. Furthermore, we propose to use probabilistic model checking method to solve intervention problem. In addition, we take the discrete spreading model of the email virus as an example and make a further study on three kinds of specific protective measures including the free propagation, the installation protection and the periodical protection. We conduct experiments with the probabilistic model checker PRISM and apply approximate probabilistic model checking method to solve large-scale problem. the results demonstrate the efficiency and feasibility of our proposed method. © 2016 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

An accurate FDD-based approach for discovering distributed firewalls misconfigurations 15

An accurate FDD-based approach for discovering distributed f...

引用

作者： Saâdaoui, Amina Souayeh, Nihel Ben Youssef Ben Bouhoula, Adel University of Carthage Tunisia

ISBN: (纸本)9781509032051

Problems arising from firewalls are common, cost time and money and have dramatic consequences for the operations of networks, especially in multi-firewall enterprise network. In fact, any misconfiguration that can arise between rules creates ambiguity in classification and filtering of the traffic. the discovery and removal of these misconfigurations is a serious and complex problem to solve. Several solutions have been proposed, though these methods are useful for discovering anomalies, most of them identify each overlap between two rules with different actions as a configuration error while, in some cases, network administrator add, intentionally, overlapping rules. Also, in a distributed environment, they deal only with pair-wise filtering rules in a simple firewall and they consider relations between only two firewalls even if a network path could contain more than two firewalls and anomaly could happen between different rules from different firewalls. In this paper, we present (1) a new classification of anomalies in multi-firewall environment bringing out real configurations errors, (2) we use a data structure (FDD) to represent relations between different rules in different firewalls in the network, (3) a new approach to rule-set optimization and clean-up by removing superfluous rules from a simple firewall and firewalls in a distributed environment and (4) formal specification and validation of proposed techniques, we also proved its correctness and completeness and demonstrated its scalability and applicability. © 2016 IEEE.

关键词： Computer system firewalls

来源：评论

学校读者我要写书评

暂无评论

Fault-tolerant and secure distributed data storage using random linear network coding 14

Fault-tolerant and secure distributed data storage using ran...

引用

14th International symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless networks, WiOpt 2016

作者： Ostovari, Pouya Wu, Jie Department of Computer and Information Sciences Temple University PhiladelphiaPA19122 United States

ISBN: (纸本)9781509013111

network coding is a technique which can be used in wired and wireless networks to increase the throughput of the networks and provide reliable transmissions. Also, it can be used in distributed storage systems to store large data on different storages and provide fault tolerance against storage failures. Using network coding, the set of packets that form a file can be encoded to an infinite number of packets, and a subset of these coded packets is sufficient to retrieve the original data. In addition to providing fault tolerance, network coding is an efficient tool for protecting the data from eavesdroppers. An eavesdropper is not able to decode the coded packets and retrieve the original data unless it has access to a sufficient number of coded packets. Increasing the redundancy enhances the fault tolerance. However, it makes the system more vulnerable against eavesdropper attacks. In this work, we perform a tradeoff between security of a distributed storage system and its fault tolerance. We formulate the problem as a mixed integer and linear programming, and propose two linear programming optimizations to solve it. © 2016 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：