首页 > 最新文献

2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)最新文献

英文 中文
Test Data Augmentation for Image Recognition Software 图像识别软件的测试数据增强
Pu Wang, Zhiyi Zhang, Yuqian Zhou, Zhiqiu Huang
Image recognition software has been widely used in many vital areas, so it needs to be thoroughly tested with images as test data. However, for some special areas, such as medical treatment, there are only a few sufficient and credible test data. Some test data still depends on the training data, which results in the defect detection ability of the testing is not high. In this paper, we propose a new test data augmentation approach with combing domain knowledge and data mutation. Given an image, our approach extracts the features of the recognition targets in this image based on domain knowledge, then mutates these features to generate new images. In theory, our approach could generate high-quality test data, which helps testing image recognition software adequately, and improving the accuracy of image recognition software.
图像识别软件已广泛应用于许多重要领域,因此需要以图像作为测试数据进行彻底的测试。然而,对于一些特殊领域,如医疗,只有少数充分和可信的测试数据。部分测试数据仍然依赖于训练数据,导致测试的缺陷检测能力不高。本文提出了一种结合领域知识和数据突变的测试数据增强方法。给定图像,我们的方法基于领域知识提取图像中识别目标的特征,然后对这些特征进行突变以生成新图像。理论上,我们的方法可以生成高质量的测试数据,有助于充分测试图像识别软件,提高图像识别软件的准确性。
{"title":"Test Data Augmentation for Image Recognition Software","authors":"Pu Wang, Zhiyi Zhang, Yuqian Zhou, Zhiqiu Huang","doi":"10.1109/QRS-C51114.2020.00054","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00054","url":null,"abstract":"Image recognition software has been widely used in many vital areas, so it needs to be thoroughly tested with images as test data. However, for some special areas, such as medical treatment, there are only a few sufficient and credible test data. Some test data still depends on the training data, which results in the defect detection ability of the testing is not high. In this paper, we propose a new test data augmentation approach with combing domain knowledge and data mutation. Given an image, our approach extracts the features of the recognition targets in this image based on domain knowledge, then mutates these features to generate new images. In theory, our approach could generate high-quality test data, which helps testing image recognition software adequately, and improving the accuracy of image recognition software.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123249006","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
Formal Verification of CAN Bus in Cyber Physical System 网络物理系统CAN总线的形式化验证
Rui Wang, Yong Guan, Xiaojuan Li, Rui Zhang
Cyber physical system (CPS) is a multi-dimensional complicated system integrating computing, communication and physical environment. CPS is widely used in safety-critical areas such as aerospace, intelligent transportation and medical equipment. So ensuring the security and reliability of CPS is of great significance. Formal verification is one of the useful ways. This paper builds timed automata models for the communication process of CAN bus used in CPS. Our research especially analyses the gateway in the communication process, and simulates the transmission with different rates between the external environment and internal unit. The task also takes into account the packet transmission priority. The model checking tool Uppaal is used to verify the functional and real-time properties. The verification results illustrate that the established model can meet the relevant properties, and the packet can be transmitted in an orderly and efficient manner.
网络物理系统是一个集计算、通信和物理环境于一体的多维复杂系统。CPS广泛应用于航空航天、智能交通和医疗设备等安全关键领域。因此,保证CPS的安全性和可靠性具有十分重要的意义。形式验证是一种有用的方法。本文建立了用于CPS的CAN总线通信过程的时间自动机模型。我们的研究重点分析了网关在通信过程中的作用,并模拟了外部环境和内部单元之间以不同速率的传输。该任务还考虑了数据包的传输优先级。使用模型校验工具Uppaal对模型的功能性和实时性进行校验。验证结果表明,所建立的模型能够满足相关特性,数据包能够有序、高效地传输。
{"title":"Formal Verification of CAN Bus in Cyber Physical System","authors":"Rui Wang, Yong Guan, Xiaojuan Li, Rui Zhang","doi":"10.1109/QRS-C51114.2020.00050","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00050","url":null,"abstract":"Cyber physical system (CPS) is a multi-dimensional complicated system integrating computing, communication and physical environment. CPS is widely used in safety-critical areas such as aerospace, intelligent transportation and medical equipment. So ensuring the security and reliability of CPS is of great significance. Formal verification is one of the useful ways. This paper builds timed automata models for the communication process of CAN bus used in CPS. Our research especially analyses the gateway in the communication process, and simulates the transmission with different rates between the external environment and internal unit. The task also takes into account the packet transmission priority. The model checking tool Uppaal is used to verify the functional and real-time properties. The verification results illustrate that the established model can meet the relevant properties, and the packet can be transmitted in an orderly and efficient manner.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121810357","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}
引用次数: 3
Using TDL for Standardised Test Purpose Definitions 使用TDL进行标准化测试目的定义
Philip Makedonski, Ilie-Daniel Gheorghe-Pop, A. Rennoch, F. Kristoffersen, Bostjan Pintar, A. Ulrich
This article reports on experiences from the use of the ETSI Test Description Language (TDL) and its extension for structured test objective specification (TDL-TO) for the definition of functional and non-functional test purposes in the Internet of Things (IoT) domain. The experiences are based on results from different working groups at ETSI TC MTS and the ETSI Specialist Task Force (STF) 574, focusing on the definition of test purposes for functional, security, and performance testing of the CoAP and MQTT protocols as well as VxLTeinteroperability testing.
本文报告了使用ETSI测试描述语言(TDL)及其对结构化测试目标规范(TDL- to)的扩展的经验,以定义物联网(IoT)领域中的功能和非功能测试目的。这些经验是基于ETSI TC MTS和ETSI专家任务组(STF) 574的不同工作组的结果,重点是CoAP和MQTT协议以及vxlte互操作性测试的功能、安全性和性能测试目的的定义。
{"title":"Using TDL for Standardised Test Purpose Definitions","authors":"Philip Makedonski, Ilie-Daniel Gheorghe-Pop, A. Rennoch, F. Kristoffersen, Bostjan Pintar, A. Ulrich","doi":"10.1109/QRS-C51114.2020.00091","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00091","url":null,"abstract":"This article reports on experiences from the use of the ETSI Test Description Language (TDL) and its extension for structured test objective specification (TDL-TO) for the definition of functional and non-functional test purposes in the Internet of Things (IoT) domain. The experiences are based on results from different working groups at ETSI TC MTS and the ETSI Specialist Task Force (STF) 574, focusing on the definition of test purposes for functional, security, and performance testing of the CoAP and MQTT protocols as well as VxLTeinteroperability testing.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133310299","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
Effective Iterative Program Synthesis with Knowledge Searched from Internet 基于网络知识检索的有效迭代程序综合
Jiaxin Liu, Wei Dong, Binbin Liu, Yating Zhang, Daiyan Wang
This paper presents the ongoing work of studying the iterative program synthesis based on knowledge searched from the Internet, which can fairly reduce the scale of program space and improve the efficiency of synthesis. First, we implement a tool named Args(api Recommendation via General Search) to obtain the API knowledge from the Internet. Second, we propose an iterative method that incrementally constructs the program space to quickly approach the target program. The initial experimental result shows the effectiveness of our work.
本文介绍了基于互联网知识搜索的迭代程序综合的研究工作,该方法可以较好地减小程序空间的规模,提高综合效率。首先,我们实现了一个名为Args(api Recommendation via General Search)的工具,从互联网上获取api知识。其次,我们提出了一种迭代方法,增量构建程序空间以快速接近目标程序。初步的实验结果表明了我们工作的有效性。
{"title":"Effective Iterative Program Synthesis with Knowledge Searched from Internet","authors":"Jiaxin Liu, Wei Dong, Binbin Liu, Yating Zhang, Daiyan Wang","doi":"10.1109/QRS-C51114.2020.00117","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00117","url":null,"abstract":"This paper presents the ongoing work of studying the iterative program synthesis based on knowledge searched from the Internet, which can fairly reduce the scale of program space and improve the efficiency of synthesis. First, we implement a tool named Args(api Recommendation via General Search) to obtain the API knowledge from the Internet. Second, we propose an iterative method that incrementally constructs the program space to quickly approach the target program. The initial experimental result shows the effectiveness of our work.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134272031","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
Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis 并行流敏感需求驱动点分析
Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao
Ahstract-Points-to analysis is a fundamental, but computationally intensive technique for static program analysis, optimization, debugging and verification. Context-Free Language (CFL) reachability has been proposed and widely used in demand-driven points-to analyses that aims for computing specific points-to relations on demand rather than all variables in the program. However, CFL-reachability-based points-to analysis still faces challenges when applied in practice especially for flow-sensitive points-to analysis, which aims at improving the precision of points-to analysis by taking account of the execution order of program statements. We propose a scalable approach named Parseeker to parallelize flow-sensitive demand-driven points-to analysis via CFL-reachability in order to improve the performance of points-to analysis with high precision. Our core insights are to (1) produce and process a set of fine-grained, parallelizable queries of points-to relations for the objective program, and (2) take a CFL-reachability-based points-to analysis to answer each query. The MapReduce is used to parallelize the queries and three optimization strategies are designed for further enhancing the efficiency.
抽象点分析是静态程序分析、优化、调试和验证的基本技术,但计算量很大。上下文无关语言(CFL)可达性已经被提出并广泛应用于需求驱动的点对分析,目的是计算特定的点对关系,而不是程序中的所有变量。然而,基于cfl可达性的点对分析在实际应用中仍然面临挑战,特别是流敏感点分析,其目的是通过考虑程序语句的执行顺序来提高点对分析的精度。我们提出了一种可扩展的Parseeker方法,通过cfl可达性并行化流敏感需求驱动的点对分析,以提高点对分析的高精度性能。我们的核心见解是:(1)为目标程序生成和处理一组细粒度的、可并行的点对关系查询,以及(2)采用基于cfl可达性的点对分析来回答每个查询。使用MapReduce对查询进行并行化处理,并设计了三种优化策略来进一步提高查询效率。
{"title":"Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis","authors":"Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao","doi":"10.1109/QRS-C51114.2020.00026","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00026","url":null,"abstract":"Ahstract-Points-to analysis is a fundamental, but computationally intensive technique for static program analysis, optimization, debugging and verification. Context-Free Language (CFL) reachability has been proposed and widely used in demand-driven points-to analyses that aims for computing specific points-to relations on demand rather than all variables in the program. However, CFL-reachability-based points-to analysis still faces challenges when applied in practice especially for flow-sensitive points-to analysis, which aims at improving the precision of points-to analysis by taking account of the execution order of program statements. We propose a scalable approach named Parseeker to parallelize flow-sensitive demand-driven points-to analysis via CFL-reachability in order to improve the performance of points-to analysis with high precision. Our core insights are to (1) produce and process a set of fine-grained, parallelizable queries of points-to relations for the objective program, and (2) take a CFL-reachability-based points-to analysis to answer each query. The MapReduce is used to parallelize the queries and three optimization strategies are designed for further enhancing the efficiency.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115787443","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
Depth Estimation and Object Detection for Monocular Semantic SLAM Using Deep Convolutional Network 基于深度卷积网络的单目语义SLAM深度估计与目标检测
Changbo Hou, Xuejiao Zhao, Yun Lin
It is still challenging to efficiently construct semantic map with a monocular camera. In this paper, deep learning is introduced to combined with SLAM to realize semantic map production. We replace depth estimation module of SLAM with FCN which effectively solves the contradiction of triangulation. The Fc layers of FCN are modified to convolutional layers. Redundant calculation of Fc layers is avoided after optimization, and images can be input in any size. Besides, Faster RCNN, namely, a two-stage object detection network is utilized to obtain semantic information. We fine-tune RPN and Fc layers by transfer learning. The two algorithms are evaluated on official dataset. Results show that the average relative error of depth estimation is reduced by 12.6%, the accuracy of object detection is improved by 10.9%. The feasibility of the combination of deep learning and SLAM is verified.
利用单目相机高效地构建语义地图仍然是一个挑战。本文引入深度学习,结合SLAM实现语义地图的生成。我们用FCN代替SLAM的深度估计模块,有效地解决了三角测量的矛盾。将FCN的Fc层修改为卷积层。优化后避免了Fc层的冗余计算,可以输入任意大小的图像。此外,采用更快的RCNN,即两阶段目标检测网络来获取语义信息。我们通过迁移学习对RPN和Fc层进行微调。在官方数据集上对两种算法进行了评估。结果表明,深度估计的平均相对误差降低了12.6%,目标检测的精度提高了10.9%。验证了深度学习与SLAM相结合的可行性。
{"title":"Depth Estimation and Object Detection for Monocular Semantic SLAM Using Deep Convolutional Network","authors":"Changbo Hou, Xuejiao Zhao, Yun Lin","doi":"10.1109/QRS-C51114.2020.00051","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00051","url":null,"abstract":"It is still challenging to efficiently construct semantic map with a monocular camera. In this paper, deep learning is introduced to combined with SLAM to realize semantic map production. We replace depth estimation module of SLAM with FCN which effectively solves the contradiction of triangulation. The Fc layers of FCN are modified to convolutional layers. Redundant calculation of Fc layers is avoided after optimization, and images can be input in any size. Besides, Faster RCNN, namely, a two-stage object detection network is utilized to obtain semantic information. We fine-tune RPN and Fc layers by transfer learning. The two algorithms are evaluated on official dataset. Results show that the average relative error of depth estimation is reduced by 12.6%, the accuracy of object detection is improved by 10.9%. The feasibility of the combination of deep learning and SLAM is verified.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134213977","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
Predicting Remaining Useful Life with Uncertainty Using Recurrent Neural Process 基于递归神经过程的不确定性剩余使用寿命预测
Guozhen Gao, Z. Que, Zhengguo Xu
Recently deep learning based remaining useful life (RUL) prediction approaches have gained increasing attention due to their scalability and generalization ability. Although deep learning based approaches can obtain promising point prediction performance, it is not easy for them to estimate the uncertainty in RUL prediction. In this paper, a recurrent neural process model is proposed to address the prognostics uncertainty problem based on deep learning. Compared with the original neural process model, a recurrent layer is added to extract sequential information from input sliding windows. The RUL prediction problem can be considered as finding a regression function mapping the sliding window input to its corresponding RUL. By obtaining the distribution over the regression functions, the recurrent neural process is able to model the probability distribution of the RUL. As a probabilistic model, stochastic variational inference and reparameterization trick is applied to learn the parameters of the model. The proposed method is validated through the C-MAPSS turbofan engine dataset.
近年来,基于深度学习的剩余使用寿命预测方法因其可扩展性和泛化能力而受到越来越多的关注。尽管基于深度学习的方法可以获得很好的点预测性能,但它们不容易估计出规则点预测中的不确定性。本文提出了一种基于深度学习的递归神经过程模型来解决预测不确定性问题。与原有的神经过程模型相比,该模型增加了一个循环层,从输入滑动窗口中提取序列信息。RUL预测问题可以看作是找到一个将滑动窗口输入映射到相应RUL的回归函数。通过得到回归函数上的分布,递归神经过程能够模拟RUL的概率分布。作为一个概率模型,采用随机变分推理和重参数化技巧来学习模型的参数。通过C-MAPSS涡扇发动机数据集对该方法进行了验证。
{"title":"Predicting Remaining Useful Life with Uncertainty Using Recurrent Neural Process","authors":"Guozhen Gao, Z. Que, Zhengguo Xu","doi":"10.1109/QRS-C51114.2020.00057","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00057","url":null,"abstract":"Recently deep learning based remaining useful life (RUL) prediction approaches have gained increasing attention due to their scalability and generalization ability. Although deep learning based approaches can obtain promising point prediction performance, it is not easy for them to estimate the uncertainty in RUL prediction. In this paper, a recurrent neural process model is proposed to address the prognostics uncertainty problem based on deep learning. Compared with the original neural process model, a recurrent layer is added to extract sequential information from input sliding windows. The RUL prediction problem can be considered as finding a regression function mapping the sliding window input to its corresponding RUL. By obtaining the distribution over the regression functions, the recurrent neural process is able to model the probability distribution of the RUL. As a probabilistic model, stochastic variational inference and reparameterization trick is applied to learn the parameters of the model. The proposed method is validated through the C-MAPSS turbofan engine dataset.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"137 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134252709","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}
引用次数: 5
Time-aware multi-resolutional approach to re-identifying location histories by using social networks 利用社会网络重新识别位置历史的时间感知多分辨率方法
Takuto Ohka, Shun Matsumoto, Masatsugu Ichino, H. Yoshiura
Identifying people from anonymous location histories is important for two purposes. i.e. to clarify privacy risks in using the location histories and to find evidence of who went where and when. Although linking with social network accounts is an excellent approach for such identification, previous methods need information about social relationships and have a limitation on the number of target data sets. Moreover, they make limited use of time information. We present models that overcome these problems by estimating the sameness and difference of people by using combinations of time and distance. Our proposed method uses these models along with multi-resolution models for both sides of linking, i.e. location histories and social network accounts. Evaluation using real data demonstrated the effectiveness of our method even when linking only one pseudonymized and obfuscated location history to 1 of 10,000 social network accounts without any information about social relationships.
从匿名位置历史记录中识别人有两个重要目的。例如,澄清使用位置历史记录的隐私风险,以及寻找谁在何时何地去过的证据。虽然与社交网络账户链接是一种很好的识别方法,但以前的方法需要有关社交关系的信息,并且对目标数据集的数量有限制。此外,他们对时间信息的利用有限。我们提出了克服这些问题的模型,通过使用时间和距离的组合来估计人们的相似性和差异性。我们提出的方法使用这些模型以及链接双方的多分辨率模型,即位置历史和社交网络帐户。使用真实数据的评估证明了我们的方法的有效性,即使只将一个假名化和模糊的位置历史链接到10,000个社交网络帐户中的一个,而没有任何有关社交关系的信息。
{"title":"Time-aware multi-resolutional approach to re-identifying location histories by using social networks","authors":"Takuto Ohka, Shun Matsumoto, Masatsugu Ichino, H. Yoshiura","doi":"10.1109/QRS-C51114.2020.00038","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00038","url":null,"abstract":"Identifying people from anonymous location histories is important for two purposes. i.e. to clarify privacy risks in using the location histories and to find evidence of who went where and when. Although linking with social network accounts is an excellent approach for such identification, previous methods need information about social relationships and have a limitation on the number of target data sets. Moreover, they make limited use of time information. We present models that overcome these problems by estimating the sameness and difference of people by using combinations of time and distance. Our proposed method uses these models along with multi-resolution models for both sides of linking, i.e. location histories and social network accounts. Evaluation using real data demonstrated the effectiveness of our method even when linking only one pseudonymized and obfuscated location history to 1 of 10,000 social network accounts without any information about social relationships.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115902094","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
Reliability Service Assurance in Public Clouds based on Blockchain 基于区块链的公共云可靠性服务保障
Sa Meng, Liang Luo, Peng Sun, Yuan Gao
The public cloud is a type of cloud computing offered by third-party providers over the public Internet, making them available to Internet users. The public cloud is featured in large-scale, high complexity, dynamic resource change. However, how to provide secure and reliable cloud services to the widest range of Internet users is a big challenge for the development of cloud computing. Blockchain is a new decentralized distributed computing paradigm. The data stored in the blockchain has the characteristics of unforgeability, whole process trace, traceability, openness and transparency, and collective maintenance. Based on these characteristics, blockchain has laid a solid foundation of trust and created a reliable cooperation mechanism. Applying blockchain technology to the cloud computing platform and improving the service quality of the cloud computing platform by using the blockchain mechanism is a research topic with great application prospects.
公共云是由第三方提供商通过公共互联网提供的一种云计算,使其可供互联网用户使用。公有云具有大规模、高复杂性、资源动态变化等特点。然而,如何为最广泛的互联网用户提供安全可靠的云服务是云计算发展面临的一大挑战。区块链是一种新的去中心化分布式计算范式。区块链中存储的数据具有不可伪造性、全程可追溯性、公开透明、集体维护等特点。基于这些特点,区块链奠定了坚实的信任基础,创造了可靠的合作机制。将区块链技术应用于云计算平台,利用区块链机制提高云计算平台的服务质量是一个极具应用前景的研究课题。
{"title":"Reliability Service Assurance in Public Clouds based on Blockchain","authors":"Sa Meng, Liang Luo, Peng Sun, Yuan Gao","doi":"10.1109/QRS-C51114.2020.00122","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00122","url":null,"abstract":"The public cloud is a type of cloud computing offered by third-party providers over the public Internet, making them available to Internet users. The public cloud is featured in large-scale, high complexity, dynamic resource change. However, how to provide secure and reliable cloud services to the widest range of Internet users is a big challenge for the development of cloud computing. Blockchain is a new decentralized distributed computing paradigm. The data stored in the blockchain has the characteristics of unforgeability, whole process trace, traceability, openness and transparency, and collective maintenance. Based on these characteristics, blockchain has laid a solid foundation of trust and created a reliable cooperation mechanism. Applying blockchain technology to the cloud computing platform and improving the service quality of the cloud computing platform by using the blockchain mechanism is a research topic with great application prospects.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134081074","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
Adaptive Rule Engine for Anomaly Detection in 5G Mobile Edge Computing 5G移动边缘计算异常检测自适应规则引擎
Peng Sun, Liang Luo, Shangxin Liu, Weifeng Wu
Mobile Edge Computing received significant attention in recent years. MEC can effectively reduce the data transmission pressure from end to cloud, while meeting the requirements of low latency and high bandwidth in 5G scenarios, and has wide application prospects in industrial and medical fields. In this paper, we propose to adopt the deployment of computing resources in the telecom operator's C-RAN (Centralized Radio Access Network) to form a landing solution for MEC. At the same time, it is combined with smart street light equipped with 5G base stations to form the IoT front-end of the C-RAN network for data collection. Finally, an adaptive rule engine is used to routinely monitor data and detect data anomalies in a timely manner. The anomaly monitoring solution can meet the rapid response capability to anomalies in 5G communication.
近年来,移动边缘计算受到了极大的关注。MEC可以有效降低端到云的数据传输压力,同时满足5G场景下低时延、高带宽的需求,在工业和医疗领域具有广泛的应用前景。本文提出在电信运营商的C-RAN(集中式无线接入网)中部署计算资源,形成MEC的落地方案。同时与搭载5G基站的智慧路灯结合,构成C-RAN网络的IoT前端,进行数据采集。最后,使用自适应规则引擎对数据进行常规监控,及时检测数据异常。该异常监控方案能够满足5G通信中对异常的快速响应能力。
{"title":"Adaptive Rule Engine for Anomaly Detection in 5G Mobile Edge Computing","authors":"Peng Sun, Liang Luo, Shangxin Liu, Weifeng Wu","doi":"10.1109/QRS-C51114.2020.00123","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00123","url":null,"abstract":"Mobile Edge Computing received significant attention in recent years. MEC can effectively reduce the data transmission pressure from end to cloud, while meeting the requirements of low latency and high bandwidth in 5G scenarios, and has wide application prospects in industrial and medical fields. In this paper, we propose to adopt the deployment of computing resources in the telecom operator's C-RAN (Centralized Radio Access Network) to form a landing solution for MEC. At the same time, it is combined with smart street light equipped with 5G base stations to form the IoT front-end of the C-RAN network for data collection. Finally, an adaptive rule engine is used to routinely monitor data and detect data anomalies in a timely manner. The anomaly monitoring solution can meet the rapid response capability to anomalies in 5G communication.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133732915","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
期刊
2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1