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

4th IEEE International Conference on Computer and Communications, ICCC 2018

作者： Wang, Liqun Zhang, Zheng Li, Weichao Liu, Hao MEAC State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781538683392

The notion of attack surface shifting is introduced to describe the situation of shifting the attack surface in the moving target defense system. However, the situation of shifting the attack surface in the mimic defense system is different from the situation of shifting the attack surface in the moving target defense system. Hence, the existing notion of attack surface shifting can't be applied to describe the situation of shifting the attack surface in mimic defense system. In this paper, we redefine the notion of attack surface shifting for the mimic defense system, and provide a formal method for quantifying the shifting. Experimental results reveal that the new notion of attack surface shifting contributes to improve the strategy of scheduling the heterogeneous redundant executive entity so as to enhance the security of mimic defense system. © 2018 IEEE.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Analysis of security capability of MVX based on probabilistic attack and defense models 3

Analysis of security capability of MVX based on probabilisti...

引用

3rd International Conference on Computer Science and Communication Technology, ICCSCT 2022

作者： Liu, Zijing Zhang, Zheng Xi, Ruicheng Zhu, Pengzhe State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9781510661240

Multi Variant eXecution (MVX) is a security defense technique that uses software diversity to protect system from attacks. MVX improves security capability by enhancing system endogenous security compared to traditional passive defense techniques. However, the current MVX technique lacks formal theoretical analysis and cannot effectively assess the overall security of the system. To address the constraint relationship between complex attack means and dynamic defense environment, we construct a novel atomic combination attack chain model, which decomposes macro attack means into single atomic attack behaviors and provides theoretical support for analyzing the security capability of dynamic systems. Then, the defense model of the MVX system is established, and the defense model's security capability is analyzed using the attack model. Finally, the advantages and shortcomings of the security defense capability of the MVX system are evaluated based on a typical kernel attack example, and system optimization improvement measures are proposed. © 2022 SPIE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

A compact construction for non-monotonic online/offline CP-ABE scheme 10th

A compact construction for non-monotonic online/offline CP-A...

引用

10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2017

作者： Zhang, Junqi Cheng, Qingfeng Wei, Fushan Zhang, Xinglong State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9783319723945

Nowadays the mobile devices are becoming the necessities in our life, while they are generally resource-constrained, CP-ABE schemes designed for mobile devices should have the property of low computational complexity, therefore Online/Offline mechanism has prospect future in cryptographic mechanism. In this paper, we attempt to construct an unbounded Online/Offline CP-ABE scheme based on a non-monotonic access structure. During the offline phase, most of the computations for encryption are done;during the online phase, we transform the non-monotonic access structure with positive attribute sets into a monotonic access structure which is based on the LSSS access structure with positive and negative attribute sets, then it only needs a small amount of addition and multiplication operations for the rest components of encryption. Compared with the original non-monotonic CP-ABE scheme, our scheme remains the same on the public keys and the master secret keys, with only a small increase in computational complexity. The computational complexity during online phase is very small. © Springer International Publishing AG 2017.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

keyword search over encrypted data in cloud computing from lattices in the standard model 2nd

Keyword search over encrypted data in cloud computing from l...

引用

2nd International Conference on Cloud computing and Big Data, CloudCom-Asia 2015

作者： Gu, Chunxiang Zheng, Yonghui Kang, Fei Xin, Dan State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9783319284293

As cloud computing becomes popular, more and more sensitive information are being centralized into the cloud. Hence, we need some mechanism to support operations on encrypted data in many applications in cloud. Public key encryption with keyword search (PEKS) is a mechanism for searching on encrypted data. It enables user Alice to send a secret value TW to a cloud server that will enable the server to selectively retrieve encrypted messages containing the keyword, but learn nothing else. In this paper, we propose a PEKS scheme using lattices. Lattice-based cryptosystems are becoming an increasingly popular in the research community. Our scheme can be proven secure in the standard model with the hardness of the standard Learning With Errors problem. © Springer International Publishing Switzerland 2015.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

Building smart classroom of combinatorial mathematics based on PBL teaching model 10

Building smart classroom of combinatorial mathematics based ...

引用

10th International Conference on Information Technology in Medicine and Education, ITME 2019

作者： Yang, Benchao Zeng, Guang Yu, Gang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan China

ISBN: (纸本)9781728139173

With the prevalence of artificial intelligence and the continuous development of information-based teaching, the emergence of smart classrooms has provided a new teaching environment for classroom teaching. As a new and efficient teaching mode, smart classroom has entered schools. Based on the classical PBL teaching method, this paper attempts to construct the question-driven smart classroom of combinatorial mathematics, and shares some teaching experience and experience from the aspects of teaching preparation, teaching implementation and teaching evaluation. © 2019 IEEE.

关键词： Combination mathematics PBL teaching mode Smart classroom

来源：评论

学校读者我要写书评

暂无评论

Scalable QoS multicast provisioning in wide-sense circuit tree

Scalable QoS multicast provisioning in wide-sense circuit tr...

引用

International Conference on Control engineering and Information System, ICCEIS 2014

作者： Huang, K.X. Chen, Y. Li, C.L. Zhang, X.B. State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan China

ISBN: (纸本)9781138026858

It is still a hot topic that how to provide dynamic reconfigurable QoS multicast service in the network. The MPLS network combined with the DiffServ can provide end-to-end QoS guarantee for differentiated services, and aggregated multicast can reduce the cost of maintaining multicast state. In this paper, based on the technology of the Wide-sense circuit Tree technique, we propose an architecture to provide the dynamic QoS multicast service, in the reconfigurable network environment. With the idea of aggregated multicast to reduce multicast state, and using the Wide-sense circuit technology to guarantee the quality of the transport service. © 2015 Taylor & Francis Group, London.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

A Bidirectional Data Packet Tampering Method for Linux System

A Bidirectional Data Packet Tampering Method for Linux Syste...

引用

2022 International Conference on Network Communication and Information Security, ICNCIS 2022

作者： Lv, Siou Yang, Pengfei Liu, Shengli State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9781510661134

Network data security is very important for each user and service provider, and every process of network data transmission is at risk of being tampered with. In this paper, we proposed a bidirectional tampering method of network data for Linux system. In this method we uses the combination of Netfilter and iptables, and uses the NetfilterQueue module in Python to tamper with the packets entering and leaving a Linux host. This tampering operation is transparent to upper users and may cause domain name redirection or many other serious consequences which threaten the security of hosts. Finally, the feasibility of this tampering method is verified by experiments. © 2022 SPIE.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

A formal android permission model based on the B method 10th

A formal android permission model based on the B method

引用

10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2017

作者： Ren, Lu Chang, Rui Yin, Qing Man, Yujia State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9783319723884

The rapid development of Android devices brings the increase of security requirements, especially for access control. Recently, many enhancements have been put forward towards the Android permission mechanism. However, few researches focus on the formalization and verification of security schemes. In this paper, we propose a formal Android permission model based on the B method, describing mechanism specifications and proving security properties. All model components are type checked by AtelierB, with 87% (154 out of 178) of generated proof obligations proved yet. The model is fully animated and checked by ProB. The results show that all specifications are well-defined without any deadlock and invariant violation. The proposed B model is for not only security analysis, but also system animation and extension. It presents a feasible approach to specify and verify the security scheme in the embedded system, which is able to translate into executable codes and implement practical module as well. © 2017, Springer International Publishing AG.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Measurement-Based Non-Stationary Markov Tapped Delay Line Channel Model for 5G-Railways

引用

IEEE Antennas and Wireless Propagation Letters 2025年

作者： Zhang, Xuejian He, Ruisi Yang, Mi Ding, Jianwen Chen, Ruifeng Gao, Shuaiqi Qi, Ziyi Zhang, Zhengyu Ai, Bo Zhong, Zhangdui Beijing Jiaotong University State Key Laboratory of Advanced Rail Autonomous Operation The School of Electronics and Information Engineering The Frontiers Science Center for Smart High-speed Railway System Beijing100044 China Beijing Jiaotong University School of Electronics and Information Engineering Beijing100044 China Henan High Speed Railway Operation and Maintenance Engineering Research Center Zhengzhou451460 China China Academy of Railway Sciences Corporation Ltd. Institute of Computing Technology Beijing100081 China

5 G for Railways (5G-R) is globally recognized as a promising next-generation railway communication system designed to meet increasing demands. Channel modeling serves as foundation for communication system design, with tapped delay line (TDL) models widely utilized in system simulations due to their simplicity and practicality and serves as a crucial component of various standards like 3GPP. However, existing TDL models applicable to 5G-R systems are limited. Most fail to capture non-stationarity, a critical characteristic of railway communications, while others are unsuitable for the specific frequency bands and bandwidths of 5G-R. In this paper, a channel measurement campaign for 5G-R dedicated network is carried out, resulting in a measurement-based 5-tap TDL model utilizing a first-order two-state Markov chain to represent channel non-stationarity. key model parameters, including number of taps, statistical distribution of amplitude, phase and Doppler shift, and state transition probability matrix, are extracted. The correlation between tap amplitudes is also obtained. Finally, the accuracy of model is validated through comparisons with measurement data and 3GPP model. These findings are expected to offer valuable insights for design and link-level simulation of 5G-R systems. © 2025 IEEE.

关键词： Markov chains

来源：评论

学校读者我要写书评

暂无评论

Continual Reinforcement Learning for Digital Twin Synchronization Optimization

arXiv

引用

arXiv 2025年

作者： Tong, Haonan Chen, Mingzhe Zhao, Jun Hu, Ye Yang, Zhaohui Liu, Yuchen Yin, Changchuan The Beijing Key Laboratory of Network System Architecture and Convergence The Beijing Advanced Information Network Laboratory Beijing University of Posts and Telecommunications Beijing China Singapore The Department of Electrical and Computer Engineering Frost Institute for Data Science and Computing University of Miami Coral GablesFL33146 United States The Department of Industrial and Systems Engineering University of Miami Coral GablesFL33146 United States The College of Information Science and Electronic Engineering Zhejiang University Zhejiang Hangzhou310027 China The Department of Computer Science North Carolina State University RaleighNC27695 United States The Beijing Key Laboratory of Network System Architecture and Convergence China The Beijing Advanced Information Network Laboratory Beijing University of Posts and Telecommunications Beijing100876 China

This article investigates the adaptive resource allocation scheme for digital twin (DT) synchronization optimization over dynamic wireless networks. In our considered model, a base station (BS) continuously collects factory physical object state data from wireless devices to build a real-time virtual DT system for factory event analysis. Due to continuous data transmission, maintaining DT synchronization must use extensive wireless resources. To address this issue, a subset of devices is selected to transmit their sensing data, and resource block (RB) allocation is optimized. This problem is formulated as a constrained Markov process (CMDP) problem that minimizes the long-term mismatch between the physical and virtual systems. To solve this CMDP, we first transform the problem into a dual problem that refines RB constraint impacts on device scheduling strategies. We then propose a continual reinforcement learning (CRL) algorithm to solve the dual problem. The CRL algorithm learns a stable policy across historical experiences for quick adaptation to dynamics in physical states and network capacity. Simulation results show that the CRL can adapt quickly to network capacity changes and reduce normalized root mean square error (NRMSE) between physical and virtual states by up to 55.2%, using the same RB number as traditional methods. © 2025, CC BY-NC-SA.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：