Search

Your search keyword '"Xing, Xiaoshuang"' showing total 129 results
Start Over Author "Xing, Xiaoshuang"
129 results on '"Xing, Xiaoshuang"'

6. Light Intensity Based IoT Device Positioning for Indoor Monitoring

Author

Sun, Gaofei, Xing, Xiaoshuang, Qian, Zhenjiang, Wang, Zhiguo, Zhu, Saide, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Wang, Guojun, editor, Chen, Bing, editor, Li, Wei, editor, Di Pietro, Roberto, editor, Yan, Xuefeng, editor, and Han, Hao, editor

Published
2021
Full Text
View/download PDF

7. Flexible Interval Intermittent Jamming Against Eavesdropping in WAVE Based Vehicular Networks

Author

Li, Hao, Xing, Xiaoshuang, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Chellappan, Sriram, editor, Choo, Kim-Kwang Raymond, editor, and Phan, NhatHai, editor

Published
2020
Full Text
View/download PDF

8. Cluster-Based Basic Safety Message Dissemination in VANETs

Author

Chen, Lin, Xing, Xiaoshuang, Sun, Gaofei, Xu, Jiang, Zhang, Jie, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Yu, Dongxiao, editor, Dressler, Falko, editor, and Yu, Jiguo, editor

Published
2020
Full Text
View/download PDF

9. Virtual Location Generation for Location Privacy Protection in VANET

Author

Li, Zhihong, Xing, Xiaoshuang, Sun, Gaofei, Qian, Zhenjiang, Qian, Jin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Yu, Dongxiao, editor, Dressler, Falko, editor, and Yu, Jiguo, editor

Published
2020
Full Text
View/download PDF

10. An Efficient Malicious User Detection Mechanism for Crowdsensing System

Author

Wu, Xiaocan, Sun, Yu-E, Du, Yang, Xing, Xiaoshuang, Gao, Guoju, Huang, He, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Yu, Dongxiao, editor, Dressler, Falko, editor, and Yu, Jiguo, editor

Published
2020
Full Text
View/download PDF

11. Distributed Data Aggregation in Dynamic Sensor Networks

Author

Zou, Yifei, Xu, Minghui, Xu, Yicheng, Zhang, Yong, Gong, Bei, Xing, Xiaoshuang, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Yu, Dongxiao, editor, Dressler, Falko, editor, and Yu, Jiguo, editor

Published
2020
Full Text
View/download PDF

13. LPAH: Illustrating Efficient Live Patching With Alignment Holes in Kernel Data

Author

Su, Chao, Xing, Xiaoshuang, Cheng, Xiaolu, Guo, Rui, and Luo, Chuanwen

Abstract

The Linux kernel is regularly updated to enhance security, improve performance, and introduce new functionalities. Traditional updating methods typically require rebooting, leading to service disruptions and potential data loss. Live-patching technology dynamically updates the kernel modules without rebooting, ensuring continuous service availability. However, this technique has its drawbacks. Since live-patching alters the original structure of data types, it can no longer utilize base offsets to access the members, imposing considerable overheads. This paper proposes LPAH (Live Patching with Alignment Holes), a live patching system that leverages the fragmented space generated by compile-time alignment for data types, to enable effective live patching updates for security vulnerability fixes, feature enhancements, and user-defined patching tasks. LPAH capitalizes on the relationship between these alignment holes and data objects. This approach ensures efficient access to extended data members while preserving the original data's integrity. This approach allows other functions to remain unaffected by updates and replacements through explicit type casts. Extensive experimental results show that LPAH offers valid and robust live patching for multiple real vulnerabilities in the Linux kernel, without degrading performance. Our method provides an efficient way to install security patches in the Linux kernel, and thus reenforces kernel security.

Published
2024
Full Text
View/download PDF

15. Cooperative BSM Dissemination in DSRC/WAVE Based Vehicular Networks

Author

Chen, Lin, Xing, Xiaoshuang, Sun, Gaofei, Qian, Jin, Guan, Xin, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Biagioni, Edoardo S., editor, Zheng, Yao, editor, and Cheng, Siyao, editor

Published
2019
Full Text
View/download PDF

19. Research on Formal Design and Verification of Operating Systems

Author

Qian, Zhenjiang, Liu, Yongjun, Jin, Yong, Xing, Xiaoshuang, Zhang, Mingxin, Gong, Shengrong, Liu, Wei, Yang, Weiyong, Tan, Jack, Zhang, Lifeng, Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Bi, Yuanguo, editor, Chen, Gang, editor, Deng, Qingxu, editor, and Wang, Yi, editor

Published
2018
Full Text
View/download PDF

20. Data Uploading Mechanism for Internet of Things with Energy Harvesting

Author

Sun, Gaofei, Xing, Xiaoshuang, Qin, Xiangping, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Chellappan, Sriram, editor, Cheng, Wei, editor, and Li, Wei, editor

Published
2018
Full Text
View/download PDF

28. ESRS: An Efficient and Secure Relay Selection Algorithm for Mobile Social Networks

Author

Xing, Xiaoshuang, Cheng, Xiuzhen, Dai, Huan, Gong, Shengrong, Zhao, Feng, Qiu, Hongbin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Yang, Qing, editor, Yu, Wei, editor, and Challal, Yacine, editor

Published
2016
Full Text
View/download PDF

30. Cooperative Spectrum and Infrastructure Leasing on TV Bands

Author

Xing, Xiaoshuang, Liu, Hang, Cheng, Xiuzhen, Zhou, Wei, Chen, Dechang, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Xu, Kuai, editor, and Zhu, Haojin, editor

Published
2015
Full Text
View/download PDF

31. A Low Overhead and Stable Clustering Scheme for Crossroads in VANETs

Author

Huo, Yan, Liu, Yuejia, Xing, Xiaoshuang, Cheng, Xiuzhen, Ma, Liran, Jing, Tao, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Xu, Kuai, editor, and Zhu, Haojin, editor

Published
2015
Full Text
View/download PDF

32. Computation Off-Loading in Resource-Constrained Edge Computing Systems Based on Deep Reinforcement Learning

Author

Luo, Chuanwen, Zhang, Jian, Cheng, XiaoLu, Hong, Yi, Chen, Zhibo, and Xing, Xiaoshuang

Abstract

Edge computing is a computational paradigm that brings resources closer to the network edge, such as base stations or gateways, in order to provide quick and efficient computing services for mobile devices while relieving pressure on the core network. However, the current computing power of edge servers are insufficient to handle the high number of tasks generated by access devices. Additionally, some mobile devices may not fully utilize their computing resources. To maximize the use of resources, we propose a novel edge computing system architecture consisting of a resource-constrained edge server and three computing groups. Tasks from each group can be offloaded to either the edge server or the corresponding computing group for execution. We focus on optimizing the computation offloading of devices to minimize the maximum overall task processing latency in the system. This problem is proved to be NP-hard. To solve it, we propose a DQN-based resource utilization task scheduling (DQNRTS) algorithm that has two desirable characteristics: 1) it effectively utilizes the computing resources in the system and 2) it uses deep reinforcement learning to make intelligent scheduling decisions based on system state information. Experimental results demonstrate that the DQNRTS algorithm is capable of reducing the processing latency of the system by converging to optimal solutions.

Published
2024
Full Text
View/download PDF

33. An enhanced energy efficiency scheme for secure computing in UAV-MEC networks

Author

Qian, Jin, Gao, Xinmei, Gao, Qinghe, Li, Hui, Huo, Yan, and Xing, Xiaoshuang

Abstract

Mobile edge computing (MEC) mitigates terminal device computing demands by deploying cloud resources at the network's edge. In this MEC framework, unmanned aerial vehicles (UAVs) equipped with MEC servers enhance both uplink and downlink offloading due to their exceptional maneuverability and line-of-sight (LoS) connectivity. However, the wireless nature of UAV-MEC systems exposes sensitive data to potential eavesdropping. To address this concern, we formulate an optimisation challenge aimed at maximising data secrecy energy efficiency. This optimisation balances data and energy efficiency while preserving communication security. Due to the problem's time-varying and non-convex nature, we decompose it into four subproblems: terminal scheduling, local computing ratio, UAV transmit power, and UAV trajectory optimisation. Subsequently, we develop a hybrid iterative algorithm to maximise data secrecy energy efficiency during offloading. Simulations illustrate the algorithm can efficiently utilise terminal and MEC server computation capabilities, enhance system security, and improve energy efficiency while reducing energy consumption in task offloading.

Published
2024
Full Text
View/download PDF

35. A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model

Author

Qian, Zhenjiang, Zhong, Shan, Sun, Gaofei, Xing, Xiaoshuang, and Jin, Yong

Abstract

Operating system in intelligent transportation systems (ITSs) is a complex software system whose correctness and security are not obvious. There are advances in formal description and verification of operating systems in ITSs recently and they mainly focus on bottom-up proofs in which the source codes satisfy certain expected properties expressed by logic formulae. In this paper, we propose a layered object model for operating systems in ITSs. This model includes functionality layer, refinement layer and concrete layer. We consider the operating system object model as a logic system ( $L$ ) with variables representing the objects of $L$ , and a series of logic formulae for security and functional configurations in security of ITSs. We establish a mathematical structure as a domain of discourse for operating system in ITSs and accordingly, construct a mapping from operating system objects to the domain. In this way, we propose a formal method to verify the operating system security properties and configurations in ITSs. We use the virtual memory management part of our self-designed operating system VSOS as an example to illustrate the model and show that the claimed security properties can be rigorously proven for ITSs. The evaluation and verification of VSOS indicate that the proposed model implementation is feasible and achieves the security goals.

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results