Computer Science and Technology is an international, peer-reviewed open access journal dedicated to advancing research the field of computer science and technology. The journal provides a rapid publication process to ensure wide dissemination of high-quality articles to scientists, professionals, and interested individuals worldwide. Our goal is to serve as an efficient, reliable, and trusted platform for scholars and readers, publishing cutting-edge research in the field.
Abstract: This paper presents a novel cloud security protection system that integrates quantum encryption, AI behavior analysis, and the Zero Trust Architecture (ZTA) in response to the increasingly severe security risks in the cloud environment. Based on the analysis of 37 typical cloud security incidents worldwide from 2020 to 2024, the research reveals three major weaknesses in the current protection system: the vulnerability of traditional encryption algorithms against quantum computing, the sharp expansion of the attack surface caused by multi-cloud environments, and the security gaps triggered by human factors. To tackle these challenges, this study proposes the following core solutions: 1) Quantum encryption optimization: Replace traditional encryption with lattice-based encryption algorithms (such as Kyber). While effectively fending off quantum computing threats, it achieves a 40% increase in key generation speed and a 15% reduction in TLS handshake time. 2) Intelligent threat detection: Construct a multi-modal deep learning model integrating Convolutional Neural Network (CNN), Long Short-Term Memory Network (LSTM), and Graph Neural Network (GNN) for multi-dimensional analysis of network traffic, system logs, and user behavior. The attack detection accuracy reaches 96.7%, the false alarm rate is 0.6%, and the interception success rate for Log4j vulnerability attacks is as high as 99.2%. 3) Dynamic permission management: Implement fine-grained dynamic permission adjustment and network micro-segmentation based on the Zero Trust Architecture (ZTA), combined with the real-time risk scoring mechanism of User and Entity Behavior Analytics (UEBA). This significantly shortens the vulnerability response time from 50 hours in the traditional solution to within 1 hour, with an 85% efficiency improvement. This comprehensive protection system has significantly enhanced the data security protection ability and system operation efficiency in the cloud environment, especially suitable for complex multi-cloud scenarios. Looking ahead, it is necessary to further explore the collaborative application of post-quantum cryptography and federated learning technologies to address the more severe privacy protection challenges in the era of quantum computing.Abstract: This paper presents a novel cloud security protection system that integrates quantum encryption, AI behavior analysis, and the Zero Trust Architecture (ZTA) in response to the increasingly severe security risks in the cloud environment. Based on the analysis of 37 typical cloud security incidents worldwide from 2020 to 2024, the research reveals th...Learn More
Abstract: With the rapid development of information technology, the complexity of chip design continues to increase, with highly coupled internal data paths and control logic as well as sharply rising integration density in System-on-Chip (SoC), which impose greater demands on verification methodologies. Traditional approaches show inherent limitations in scalability, reusability, and platform standardization, making it difficult to efficiently achieve comprehensive coverage of all chip behaviors within limited resources. Although large-scale automated tools and the Universal Verification Methodology (UVM) have been widely adopted to enhance random testing and regression simulation, they still fail to efficiently capture extreme boundary scenarios that may lead to fatal failures, leaving potential blind spots in verification. To address this challenge, this paper proposes a hybrid verification method that combines dynamic simulation with Formal Property Verification (FPV), using the critical path of the PWR module as an example for analysis. A UVM-based verification platform is constructed to execute randomized test cases on key functions and typical scenarios, achieving more than 94% coverage in line, toggle, branch, and functional metrics, which confirms the completeness of basic functional validation but also indicates the difficulty of covering corner cases. Then, FPV is applied by formulating property assertions, such as state transition constraints, and performing exhaustive mathematical analysis of the Register Transfer Level (RTL) design, thereby detecting extremely low-probability boundary conditions and revealing implicit usage restrictions in design logic. By incorporating these restrictions into formal constraints, the verification results are corrected and latent design defects are confirmed. This hybrid method effectively leverages the complementary strengths of UVM dynamic simulation and FPV formal analysis, significantly improving the detection capability of corner cases, enhancing verification completeness and efficiency, and strengthening design reliability, while also providing a theoretical basis and practical reference for optimizing verification strategies in future SoC design projects.Abstract: With the rapid development of information technology, the complexity of chip design continues to increase, with highly coupled internal data paths and control logic as well as sharply rising integration density in System-on-Chip (SoC), which impose greater demands on verification methodologies. Traditional approaches show inherent limitations in sc...Learn More
Abstract: The M-modified glide path antenna has a similar structure to the M-typed one. Firstly, from the signal principle and feeding principle, the basic signal radiation characteristics of the M-modified glide path antenna would be theoretically analyzed, and then compared M-modified with the original M-typed one. Secondly, from the perspective of adjusting antenna parameters based on the flight checking procedure and sampling rules, the characteristics of changes in threshold crossing height (TCH), glide path angle, and symmetry are calculated by a three-dimensional electromagnetic model through the structure, as well as the feeding amplitude and phase of a ternary antenna, as well as the principle of spatial signal synthesis. The advantages of the two glide antennas are compared, which can serve as a reference for equipment selection during the initial installation stage.Abstract: The M-modified glide path antenna has a similar structure to the M-typed one. Firstly, from the signal principle and feeding principle, the basic signal radiation characteristics of the M-modified glide path antenna would be theoretically analyzed, and then compared M-modified with the original M-typed one. Secondly, from the perspective of adjusti...Learn More
Abstract: Surface Plasmon Polaritons (SPP) are hybrid electromagnetic modes generated by the strong coupling of electromagnetic oscillations and electronic oscillations in metals. However, in the microwave and terahertz bands, due to the weakened skin effect of metals and the reduced effective electrical conductivity, they are difficult to be directly excited. Localized Spoof Surface Plasmonic (LSSP), as a functional material that achieves electromagnetic characteristics similar to SPP in this frequency band, has unique advantages such as deep wavelength compression and high sensitivity. This thesis focuses on the research of tunable LSSP devices. Based on the strong dispersion and high field restraint of LSSP, a microwave sensor with high sensitivity and high Figures of Merit (FOM) is designed. When the dielectric constant of the measured medium varies from 2 to 4, the dipole mode frequency shifts up to 270 MHz. With a sensitivity of 135 MHz/RIU, after introducing a crack, the FOM value of the dipole mode increased by approximately 4.4% while maintaining the sensitivity, and the excitation efficiency improved by 22%. The LSSP composite resonator, with its ultra-compact effective wavelength, low-cost manufacturing process and high Quality Factor (Q), has great application potential in microwave non-destructive testing fields such as micro-biomedicine and chemical sensing, achieving precise regulation of the electromagnetic characteristics of local artificial plasmons.Abstract: Surface Plasmon Polaritons (SPP) are hybrid electromagnetic modes generated by the strong coupling of electromagnetic oscillations and electronic oscillations in metals. However, in the microwave and terahertz bands, due to the weakened skin effect of metals and the reduced effective electrical conductivity, they are difficult to be directly excite...Learn More
