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

On sequential composition, action prefixes and process prefix

Formal Aspects of Computing 1994年第3期6卷 250-268页

作者： Baeten, J.C.M. Bergstra, J.A. Department of Mathematics and Computer Science Eindhoven University of Technology MB Eindhoven 5600 PO Box 513 Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands

We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework extending ACP, and consider various subalgebras, some very close to value passing CCS, another one close to CSP. © 1994 BCS.

关键词： ACP Action prefix CCS Process algebra Process calculus Process prefix Sequential composition

来源：评论

学校读者我要写书评

暂无评论

Dynamic S-Box Generation Using Novel Chaotic Map with Nonlinearity Tweaking

引用

computers, Materials & Continua 2023年第5期75卷 3011-3026页

作者： Amjad Hussain Zahid Muhammad Junaid Arshad Musheer Ahmad Naglaa F.Soliman Walid El-Shafai School of Systems and Technology University of Management and TechnologyLahore54700Pakistan Department of Computer Science University of Engineering and TechnologyLahore54700Pakistan Department of Computer Engineering Jamia Millia IslamiaNew Delhi110025India Department of Information Technology College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Security Engineering Lab Computer Science DepartmentPrince Sultan UniversityRiyadh11586Saudi Arabia Department of Electronics and Electrical Communications Engineering Faculty of Electronic EngineeringMenoufia UniversityMenouf32952Egypt

A substitution box(S-Box)is a crucial component of contemporary cryptosystems that provide data protection in block *** the moment,chaotic maps are being created and extensively used to generate these SBoxes as a chaotic map assists in providing disorder and resistance to combat cryptanalytical *** this paper,the construction of a dynamic S-Box using a cipher key is proposed using a novel chaotic map and an innovative tweaking *** projected chaotic map and the proposed tweak approach are presented for the first time and the use of parameters in their workingmakes both of these dynamic in *** tweak approach employs cubic polynomials while permuting the values of an initial S-Box to enhance its cryptographic *** of the parameters are provided using the cipher key and a small variation in values of these parameters results in a completely different unique *** analysis and exploration confirmed that the projected chaoticmap exhibits a significant amount of chaotic *** security assessment in terms of bijectivity,nonlinearity,bits independence,strict avalanche,linear approximation probability,and differential probability criteria are utilized to critically investigate the effectiveness of the proposed S-Box against several *** proposed S-Box’s cryptographic performance is comparable to those of recently projected S-Boxes for its adaption in real-world security *** comparative scrutiny pacifies the genuine potential of the proposed S-Box in terms of its applicability for data security.

关键词： Substitution-box chaotic map data security tweaking

来源：评论

学校读者我要写书评

暂无评论

Design and testing tool for a safe monitoring system for neurodegenerative disorder patients 3

Design and testing tool for a safe monitoring system for neu...

引用

3rd International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2016

作者： Halabi, Nashaat El Achkar, Roger Daou, Roy Abi Zeid Hayek, Ali Borcsok, Josef Department of Computer and Communications Engineering Faculty of Engineering American University of Science and Technology Beirut Lebanon Department of Biomedical Technologies Faculty of Public Health Lebanese German University Sahel Alma Lebanon Department of Computer Architecture and System Programming Faculty of Electrical Engineering/Computer Science University of Kassel Kassel Germany

ISBN: (纸本)9781467385237

This paper aims to develop a sensor based monitoring and analyzing system for Neuro-Degenerative Disorder patients (NDD);this may consist on SpO2 sensor, Electrophysiological sensors, NIBP, Motion Capture sensors and Eye Monitoring sensor, taking into consideration an acceptable cost for the whole system. Recorded data will be sent to an embedded decision making unit where detection, analysis, classification, prediction and action control will occur. The sensors and the decision making unit will be implemented in a comfortable jacket that doesn't affect the patients' movements and that can be used by several patients with reduced sensor placement alterations. The decision that can be made is creating a stimulus to avoid falling in case of sudden stop while moving, initiating an alarm, sending a notification to a mobile phone application, and/or telemedicine monitoring features. Artificial Neural Networks will be used to classify and predict the abnormal cases where action should be taken, and since the sensors will be continuously recording, it is possible to achieve continuous learning for the ANN as a first phase. Initial models will be defined by testing normal behaviors and some known abnormal behaviors or symptoms related to the electrical activity and other characteristics of the heart, oxygen saturation level, eye activity and body motion. © 2016 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Brute-force attack mitigation on remote access services via software-defined perimeter

引用

Scientific reports 2025年第1期15卷 18599页

作者： Francis A Ruambo Elijah E Masanga Beston Lufyagila Abdelhamied A Ateya Ahmed A Abd El-Latif May Almousa Bassem Abd-El-Atty School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China. College of Information Communication and Technology Mbeya University of Science and Technology (MUST) P.O Box 131 Mbeya Tanzania. Research and Development Department Aifrruis Laboratories Mbeya Tanzania. EIAS Data Science Lab College of Computer and Information Sciences Prince Sultan University 11586 Riyadh Saudi Arabia. Department of Electronics and Communications Engineering Zagazig University Zagazig 44519 Sharqia Egypt. EIAS Data Science Lab College of Computer and Information Sciences Prince Sultan University 11586 Riyadh Saudi Arabia. aabdellatif@psu.edu.sa. Center of Excellence in Quantum and Intelligent Computing Prince Sultan University 11586 Riyadh Saudi Arabia. aabdellatif@psu.edu.sa. Department of Mathematics and Computer Science Faculty of Science Menoufia University Shibin Al Kawm 32511 Egypt. aabdellatif@psu.edu.sa. Information Technology Department College of Computer and Information Sciences Princess Nourah bint Abdulrahman University Riyadh Saudi Arabia. Department of Computer Science Faculty of Computers and Information Luxor University Luxor 85957 Egypt. bassem.abdelatty@fci.luxor.edu.eg.

Remote Access Services (RAS)-including protocols such as Remote Desktop Protocol (RDP), Secure Shell (SSH), Virtual Network Computing (VNC), Telnet, File Transfer Protocol (FTP), and Secure File Transfer Protocol (SFTP)-are essential to modern network infrastructures, particularly with the rise of remote work and cloud adoption. However, their exposure significantly increases the risk of brute-force attacks (BFA), where adversaries systematically guess credentials to gain unauthorized access. Traditional defenses like IP blocklisting and multifactor authentication (MFA) often struggle with scalability and adaptability to distributed attacks. This study introduces a zero-trust-aligned Software-Defined Perimeter (SDP) architecture that integrates Single Packet Authorization (SPA) for service cloaking and Connection Tracking (ConnTrack) for real-time session analysis. A Docker-based prototype was developed and tested, demonstrating no successful BFA attempts observed, latency reduction by above 10% across all evaluated RAS protocols, and the system CPU utilization reduction by 48.7% under attack conditions without impacting normal throughput. It also proved effective against connection-oriented attacks, including port scanning and distributed denial of service (DDoS) attacks. The proposed architecture offers a scalable and efficient security framework by embedding proactive defense at the authentication layer. This work advances zero-trust implementations and delivers practical, low-overhead protection for securing RAS against evolving cyber threats.

关键词： Brute-force attacks Remote access services (RAS) Single packet authorization (SPA) Software-defined perimeter (SDP) Zero-trust architecture

来源：评论

学校读者我要写书评

暂无评论

A proof-theoretic approach to logic programming: II. Programs as definitions

引用

Journal of Logic and Computation 1991年第5期1卷 635-660页

作者： Hallnäs, Lars Schroeder-Heister, Peter Programming Methodology Group Department of Computer Science Chalmers University of Technology Sweden Universitä Tübingen 7400 Tübingen Germany University Göteborg 412 96 Göteborg Sweden

We introduce a definitional extension of logic programming by means of an inference schema (Ph), which, in acertain sense, is dual to the (1-P) schema of rule application discussed in Part I. In the operational semantics, this schema is dual to the resolution principle. We prove soundness and completeness for the extended system, discuss the computation of substitutions that this new schema gives rise to, and also consider the notion of negation intrinsic to the system and its relation to negation by failure. © 1991 Oxford University Press.

关键词：

来源：评论

学校读者我要写书评

暂无评论

STAR-RIS and UAV Combination in MEC Networks: Simultaneous Task Offloading and Communications

引用

IEEE Transactions on Communications 2025年

作者： Xiao, Han Hu, Xiaoyan Wang, Wenjie Su, Zhou Wong, Kai-Kit Yang, Kun Xi'an Jiaotong University School of Information and Communications Engineering Xi'an710049 China Southeast University National Mobile Communications Research Laboratory Nanjing210096 China Xi'an Jiaotong University School of Cyber Science and Engineering Xi'an710049 China University College London Department of Electronic and Electrical Engineering Torrington Place LondonWC1E 7JE United Kingdom Yonsei University Yonsei Frontier Lab Seoul Korea Republic of Nanjing University State Key Laboratory of Novel Software Technology Nanjing210008 China School of Intelligent Software and Engineering Suzhou215163 China University of Essex School of Computer Science and Electronic Engineering Essex United Kingdom

This paper explores a simultaneous tasks offloading and communications (STOC) scheme in mobile edge computing (MEC) networks, supported by the combination of simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) and the unmanned aerial vehicle (UAV). Different from the traditional MEC schemes, the proposed scheme concurrently considers the computation and communication capabilities of the MEC networks, which is actually more practical in reality. Specifically, an optimization problem is devised to maximize the weighted sum of the minimum computed task data and communication data, while ensuring the quality of service (QoS) constraints for STOC through joint design of time scheduling, resource allocation, active and passive beamforming, alongside with the UAV trajectory planning. This non-convex problem with strong couplings among variables is challenging to solve directly. Then, a novel alternating optimization method is proposed, leveraging the successive convex approximation (SCA) and semi-definite relaxation (SDR) techniques. We provide sufficient numerical results to validate the effectiveness of the proposed STOC scheme, which demonstrate that the proposed scheme supported by STAR-RIS and UAV outperforms five benchmark schemes in terms of performance gain. It is important to note that the proposed scheme offers a feasible and realistic way for the implementations of STOC in practical MEC networks. © 1972-2012 IEEE.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

CCA secure certificateless encryption schemes based on RSA

CCA secure certificateless encryption schemes based on RSA

引用

作者： Vivek, S. Sree Deva Selvi, S. Sharmila Rangan, C. Pandu Theoretical Computer Science Lab Department of Computer Science and Engineering Indian Institute of Technology Madras Chennai India

ISBN: (纸本)9789898425713

Certificateless cryptography, introduced by Al-Riyami and Paterson eliminates the key escrow problem inherent in identity based cryptosystem. In this paper, we present two novel and completely different RSA based adaptive chosen ciphertext secure (CCA2) certificateless encryption schemes. For the first scheme, the security against Type-I adversary is reduced to RSA problem, while the security against Type-II adversary is reduced to the CCDH problem. For teh second scheme both Type-I and Type-II security is related to the RSA problem. The new schemes are efficient when compared to other existing certificatless encryption schemes that are based on the costly bilinear pairing operation and are quite comparable with the certificateless encryption scheme based on multiplicative groups (without bilinear pairing) by Sun et al. (Sun et al., 2007) and the RSA based CPA secure certificateless encryption scheme by Lai et al. (Lai et al., 2009). We consider a slightly stronger security model than the ones considered in (Lai et al., 2009) and (Sun et al., 2007) to prove the security of our schemes.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

Multi-Domain Sentiment Classification with Classifier Combination

引用

Journal of computer science & technology 2011年第1期26卷 25-33页

作者：李寿山黄居仁宗成庆 NLP Lab School of Computer Science and TechnologySoochow University Department of Chinese and Bilingual Studies The Hong Kong Polytechnic University National Laboratory of Pattern Recognition Institute of AutomationChinese Academy of Sciences

State-of-the-arts studies on sentiment classification are typically domain-dependent and domain-restricted. In this paper, we aim to reduce domain dependency and improve overall performance simultaneously by proposing an efficient multi-domain sentiment classification algorithm. Our method employs the approach of multiple classifier combination. In this approach, we first train single domain classifiers separately with domain specific data, and then combine the classifiers for the final decision. Our experiments show that this approach performs much better than both single domain classification approach （using the training data individually） and mixed domain classification approach （simply combining all the training data）. In particular, classifier combination with weighted sum rule obtains an average error reduction of 27.6% over single domain classification.

关键词： sentiment classification multiple classifier system multi-domain learning

来源：评论

学校读者我要写书评

暂无评论

The content pollution in peer-to-peer live streaming systems: Analysis and implications

The content pollution in peer-to-peer live streaming systems...

引用

37th International Conference on Parallel Processing, ICPP 2008

作者： Yang, Sirui Jin, Hai Li, Bo Liao, Xiaofei Yao, Hong Tu, Xuping Services Computing Technology and System Lab. School of Computer Science and Technology Huazhong University of Science and Technology China Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay Kowloon Hong Kong

ISBN: (纸本)9780769533742

There has been significant progress in the development and deployment of Peer-to-Peer (P2P) live video streaming systems. However, there has been little study on the security aspect in such systems. Our prior experiences in Anysee exhibit that existing systems are largely vulnerable to intermediate attacks, in which the content pollution is a common attack that can significantly reduce the content availability, and consequently impair the playback quality. This paper carries out a formal analysis of content pollution and discusses its implications in P2P live video streaming systems. Specifically, we establish a probabilistic model to capture the progress of content pollution. We verify the model using a real implementation based on Anysee system;we evaluate the content pollution effect through extensive simulations. We demonstrate that (1) the number of polluted peers can grow exponentially, similar to random scanning worms. This is vital that with 1 % polluters, the overall system can be compromised within minutes;(2) the effective bandwidth utilization can be sharply decreased due to the transmission of polluted packets;(3) Augmenting the number of polluters does not imply a faster progress of content pollution, in which the most influential factors are the peer degree and access bandwidth. We further examine several techniques and demonstrate that a hash-based signature scheme can be effective against the content pollution, in particular when being used during the initial phase.1 © 2008 IEEE.

关键词： Pollution

来源：评论

学校读者我要写书评

暂无评论

Two Will Do: CNN with Asymmetric Loss, Self-Learning label Correction, and Hand-Crafted Features for Imbalanced Multi-label ECG Data Classification

Two Will Do: CNN with Asymmetric Loss, Self-Learning Label C...

引用

2021 Computing in Cardiology, CinC 2021

作者： Vazquez, Cristina Gallego Breuss, Alexander Gnarra, Oriella Portmann, Julian Da Poian, Giulia Lab Department of Health Sciences and Technology Switzerland ETH Zurich Department of Computer Science Switzerland Switzerland

ISBN: (纸本)9781665479165

In this work, we present a machine learning approach that is able to classify 30 cardiac abnormalities from an arbitrary number of electrocardiogram (ECG) leads. Features extracted by a deep convolutional neural network are combined with hand-crafted features (demographic, morphological, and heart rate variability metrics) and fed into a multilayer perceptron. We employ an Asymmetric Loss (ASL) function, which enables the model to focus on hard but under-represented samples. To mitigate the issue of ground-truth mislabeling and to provide robustness, we investigate the use of a self-learning label correction method that iteratively estimates correct labels during training. Our team SMS+1 placed 7th on the unseen test set, with an overall challenge score of 0.51, and 0.52, 0.45, 0.50, 0.50, and 0.49 for twelve-, six-, four-, three-, and two-lead, respectively. Our model maintains similar diagnostic potential on both standard twelve-lead ECGs and reduced-lead ECGs. © 2021 Creative Commons.

关键词： Electrocardiography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：