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

Universally composable anonymous password authenticated key exchange

Science China(Information Sciences) 2017年第5期60卷 153-168页

作者： Xuexian HU Jiang ZHANG Zhenfeng ZHANG Jing XU Trusted Computing and Information Assurance Laboratory Institute of SoftwareChinese Academy of Sciences State Key Laboratory of Mathematical Engineering and Advanced Computing Science and Technology on Information Assurance Laboratory State Key Laboratory of Cryptology

Anonymous password authenticated key exchange(APAKE) is an important cryptographic primitive, through which a client holding a password can establish a session key with a server both authentically and anonymously. Although the server is guaranteed that the client in communication is from a pre-determined group, but the client’s actual identity is protected. Because of their convenience, APAKE protocols have been widely studied and applied to the privacy protection research. However, all existing APAKE protocols are handled in stand-alone models and do not adequately settle the problem of protocol composition, which is a practical issue for protocol implementation. In this paper, we overcome this issue by formulating and realizing an ideal functionality for APAKE within the well-known universal composability(UC) framework, which thus guarantees security under the protocol composition operations. Our formulation captures the essential security requirements of APAKE such as off-line dictionary attack resistance, client anonymity and explicit mutual authentication. Moreover, it addresses the arbitrary probabilistic distribution of passwords. The construction of our protocol, which utilizes SPHF-friendly commitments and CCA2-secure encryption schemes, can be instantiated and proven secure in the standard model, i.e., without random oracle heuristics.

关键词： anonymous password authentication key exchange universal composability provable security standard model

来源：评论

学校读者我要写书评

暂无评论

ThicknessVAE: Learning a Lateral Prior for Clothed Human Body Reconstruction

ThicknessVAE: Learning a Lateral Prior for Clothed Human Bod...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Xiaotao Wu Zhaoxin Fan Huiguang He Dinggang Shen School of Biomedical Engineering & State Key Laboratory of Advanced Medical Materials and Devices ShanghaiTech University Shanghai China NeuBCI Group State Key Laboratory of Brain Cognition and Brain-Inspired Intelligence Technology Institute of Automation Chinese Academy of Sciences Beijing China Beijing Advanced Innovation Center for Future Blockchain and Privacy Computing Institute of Artificial Intelligence Beihang University Beijing China Beijing Academy of Blockchain and Edge Computing China Shanghai United Imaging Intelligence Co. Ltd. Shanghai China Shanghai Clinical Research and Trial Center Shanghai China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

Sandwich-like structures have shown remarkable efficacy in clothed human reconstruction. However, these approaches often generate unrealistic side geometries due to inadequate handling of lateral regions. This paper addresses this limitation by incorporating the side geometry of clothed humans as a prior. We propose ThicknessVAE, a novel two-stage method that makes two key contributions: (1) We learn a prototype from point clouds for the lateral regions of clothed humans to extract common and detailed geometric features. (2) We utilize this prototype as a prior to transform geometric features into a thickness map associated with clothed human images, enabling refined normal integration for sandwich-like reconstruction methods. By seamlessly integrating our model into the sandwich-like reconstruction pipeline, we achieve highly realistic side views. Both qualitative and quantitative experiments demonstrate that our approach is comparable to state-of-the-art methods in terms of side-view realism.

关键词： Geometry Surface reconstruction Three-dimensional displays Pipelines Prototypes Transforms Feature extraction Speech processing Image reconstruction Surface treatment

来源：评论

学校读者我要写书评

暂无评论

An efficient and practical threshold gateway-oriented password-authenticated key exchange protocol in the standard model

引用

Science China(Information Sciences) 2017年第7期60卷 130-143页

作者： Fushan WEI Jianfeng MA Ruijie ZHANG Chuangui MA Xuan WANG State Key Laboratory of Integrated Service Networks Xidian University State Key Laboratory of Mathematical Engineering and Advanced Computing The PLA Information Engineering University Engineering University of CAPF

With the assistance of an authentication server, a gateway-oriented password-authenticated key exchange(GPAKE) protocol can establish a common session key shared between a client and a gateway. Unfortunately, a GPAKE protocol becomes totally insecure if an adversary can compromise the authentication server and steal the passwords of the clients. In order to provide resilience against adversaries who can hack into the authentication server, we propose a threshold GPAKE protocol and then present its security proof in the standard model based on the hardness of the decisional Diffie-Hellman(DDH) problem. In our proposal,the password is shared among n authentication servers and is secure unless the adversary corrupts more than t + 1 servers. Our protocol requires n > 3t servers to work. Compared with existing threshold PAKE protocols,our protocol maintains both stronger security and greater efficiency.

关键词： password key exchange gateway threshold provable security

来源：评论

学校读者我要写书评

暂无评论

TETRAHEDRAL C^m INTERPOLATION BY RATIONAL FUNCTIONS

引用

Journal of Computational Mathematics 2001年第2期19卷 131-138页

作者： Guo-liang Xu Chuan I Chu Wei-min Xue State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific/Engineering ComputingAcademy of Mathematics an d Systems SciencesChinese Academy of SciencesBeijing 100080China Department of Mathematics Hong Kong Baptist UniversityKowloonHong Kong

A general local C-m(m greater than or equal to 0) tetrahedral interpolation scheme by polynomials of degree 4m + 1 plus low order rational functions from the given data is proposed. The scheme can have either 4m + 1 order algebraic precision if C-2m data at vertices and C-m data on faces are given or k + E[k/3] + 1 order algebraic precision if C-k (k less than or equal to 2m) data are given at vertices. The resulted interpolant and its partial derivatives of up to order m are polynomials on the boundaries of the tetrahedra.

关键词： C-m interpolation rational functions tetrahedra

来源：评论

学校读者我要写书评

暂无评论

Analytic approximations of Von Krmn plate under arbitrary uniform pressure—equations in integral form

引用

Science China(Physics,Mechanics & Astronomy) 2018年第1期61卷 57-67页

作者： XiaoXu Zhong ShiJun Liao School of Naval Architecture Ocean and Civil Engineering Shanghai Jiao Tong University Collaborative Innovative Center for Advanced Ship and Deep-Sea Exploration State Key Laboratory of Ocean Engineering Ministry-of-Education Key Laboratory of Scientific and Engineering Computing

Analytic approximations of the Von Karman＇s plate equations in integral form for a circular plate under external uniform pressure to arbitrary magnitude are successfully obtained by means of the homotopy analysis method （HAM）, an analytic approximation technique for highly nonlinear problems. Two HAM-based approaches are proposed for either a given external uniform pressure Q or a given central deflection, respectively. Both of them are valid for uniform pressure to arbitrary magnitude by choosing proper values of the so-called convergence-control parameters c1 and c2 in the frame of the HAM. Besides, it is found that the HAM- based iteration approaches generally converge much faster than the interpolation iterative method. Furthermore, we prove that the interpolation iterative method is a special case of the first-order HAM iteration approach for a given external uniform pressure Q when c1= -0 and c2 = -1, where 0 denotes the interpolation iterative parameter. Therefore, according to the convergence theorem of Zheng and Zhou about the interpolation iterative method, the HAM-based approaches are valid for uniform pressure to arbitrary magnitude at least in the special case c1 = -0 and c2= -1. In addition, we prove that the HAM approach for the Von karman＇s plate equations in differential form is just a special case of the HAM for the Von karman＇s plate equations in integral form mentioned in this paper. All of these illustrate the validity and great potential of the HAM for highly nonlinear problems, and its superiority over perturbation techniques.

关键词： circular plate high nonlinearity homotopy analysis method

来源：评论

学校读者我要写书评

暂无评论

Dynamic evolution of collective emotions in social networks: a case study of Sina weibo

引用

Science China(Information Sciences) 2013年第7期56卷 150-167页

作者： XIONG XiaoBing ZHOU Gang HUANG YongZhong CHEN HaiYong XU Ke State Key Laboratory of Mathematical Engineering and Advanced Computing State Key Laboratory of Software Development Environment Beihang University

Emotion is a fundamental object of human existence and determined by a complex set of factors. With the rapid development of online social networks (OSNs), more and more people would like to express their emotion in OSNs, which provides wonderful opportunities to gain insight into how and why individual emotion is evolved in social network. In this paper, we focus on emotion dynamics in OSNs, and try to recognize the evolving process of collective emotions. As a basis of this research, we first construct a corpus and build an emotion classifier based on Bayes theory, and some effective strategies (entropy and salience) are introduced to improve the performance of our classifier, with which we can classify any Chinese tweet into a particular emotion with an accuracy as high as 82%. By analyzing the collective emotions in our sample networks in detail, we get some interesting findings, including a phenomenon of emotion synchronization between friends in OSNs, which offers good evidence for that human emotion can be spread from one person to another. Furthermore, we find that the number of friends has strong correlation with individual emotion. Based on those useful findings, we present a dynamic evolution model of collective emotions, in which both self-evolving process and mutual-evolving process are considered. To this end, extensive simulations on both real and artificial networks have been done to estimate the parameters of our emotion dynamic model, and we find that mutual-evolution plays a more important role than self-evolution in the distribution of collective emotions. As an application of our emotion dynamic model, we design an efficient strategy to control the collective emotions of the whole network by selecting seed users according to k-core rather than degree.

关键词： online social network emotion classifier emotion spread emotion dynamic model emotion controlling

来源：评论

学校读者我要写书评

暂无评论

A TrustEnclave-Based Architecture for Ensuring Run-Time Security in Embedded Terminals

引用

Tsinghua Science and Technology 2017年第5期22卷 447-457页

作者： Rui Chang Liehui Jiang Wenzhi Chen Yaobin Xie Zhongyong Lu the State Key Laboratory of Mathematic Engineering and Advanced Computing the Department of Computer Zhejiang University

The run-time security guarantee is a hotspot in current cyberspace security research, especially on embedded terminals, such as smart hardware as well as wearable and mobile devices. Typically, these devices use universal hardware and software to connect with public networks via the Internet, and are probably open to security threats from Trojan viruses and other malware. As a result, the security of sensitive personal data is threatened and economic interests in the industry are compromised. To address the run-time security problems efficiently, first, a TrustEnclave-based secure architecture is proposed, and the trusted execution environment is constructed by hardware isolation technology. Then the prototype system is implemented on real TrustZone-enabled hardware devices. Finally, both analytical and experimental evaluations are provided. The experimental results demonstrate the effectiveness and feasibility of the proposed security scheme.

关键词： run-time security trusted execution environment hardware isolation TrustZone

来源：评论

学校读者我要写书评

暂无评论

Optimal Bilinear Equalizer for Cell-Free Massive MIMO Systems over Correlated Rician Channels

引用

IEEE Transactions on Signal Processing 2025年

作者： Wang, Zhe Zhang, Jiayi Bjornson, Emil Niyato, Dusit Ai, Bo Beijing Jiaotong University State Key Laboratory of Advanced Rail Autonomous Operation Beijing100044 China Beijing Jiaotong University School of Electronics and Information Engineering Beijing100044 China KTH Royal Institute of Technology Department of Computer Science Stockholm114 28 Sweden Nanyang Technological University College of Computing & Data Science 639798 Singapore

In this paper, we explore the low-complexity optimal bilinear equalizer (OBE) combining scheme design for cell-free massive multiple-input multiple-output networks with spatially correlated Rician fading *** provide a spectral efficiency (SE) performance analysis framework for both the centralized and distributed processing schemes with bilinear equalizer (BE)-structure combining schemes applied. The BE-structured combining is a set of schemes that are constructed by the multiplications of channel statistics-based BE matrices and instantaneous channel estimates. Notably, we derive closed-form achievable SE expressions for centralized and distributed BE-structured combining schemes. We propose one centralized and two distributed OBE schemes: Centralized OBE (C-OBE), Distributed OBE based on Global channel statistics (DG-OBE), and Distributed OBE based on Local channel statistics (DL-OBE), which maximize their respective SE expressions. OBE matrices in these schemes are tailored based on varying levels of channel statistics. Notably, we obtain new and insightful closed-form results for the C-OBE, DG-OBE, and DL-OBE combining schemes. Numerical results demonstrate that the proposed OBE schemes can achieve excellent SE, even in scenarios with severe pilot contamination. © 2025 IEEE. All rights reserved.

关键词： Fading channels

来源：评论

学校读者我要写书评

暂无评论

Learning with Noisy Labels: the Exploration of Error Bounds in Classification

arXiv

引用

arXiv 2025年

作者： Liu, Haixia Li, Boxiao Yang, Can Wang, Yang School of Mathematics and Statistics Institute of Interdisciplinary Research for Mathematics and Applied Science Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Hubei Wuhan China School of Mathematics and Statistics Huazhong University of Science and Technology Hubei Wuhan China Department of Mathematics The Hong Kong University of Science and Technology Clear Water Bay China

Numerous studies have shown that label noise can lead to poor generalization performance, negatively affecting classification accuracy. Therefore, understanding the effectiveness of classifiers trained using deep neural networks in the presence of noisy labels is of considerable practical significance. In this paper, we focus on the error bounds of excess risks for classification problems with noisy labels within deep learning frameworks. We begin by exploring loss functions with noise-tolerant properties, ensuring that the empirical minimizer on noisy data aligns with that on the true data. Next, we estimate the error bounds of the excess risks, expressed as a sum of statistical error and approximation error. We estimate the statistical error on a dependent (mixing) sequence, bounding it with the help of the associated independent block sequence. For the approximation error, we first express the classifiers as the composition of the softmax function and a continuous function from [0, 1]d to RK. The main task is then to estimate the approximation error for the continuous function from [0, 1]d to RK. Finally, we focus on the curse of dimensionality based on the low-dimensional manifold assumption. Copyright © 2025, The Authors. All rights reserved.

关键词： Risk assessment

来源：评论

学校读者我要写书评

暂无评论

Lie Point Symmetries of Differential-Difference Equations

引用

Communications in Theoretical Physics 2004年第5期41卷 645-648页

作者： DING Wei~1 TANG Xiao-Yan~(2,3) 1 Department of Applied Mathematics,Shanghai Jiao Tong University,Shanghai 200030,China2 Department of Physics,Shanghai Jiao Tong University,Shanghai 200030,China3 state key laboratory of scientific and engineering computing,Institute of Computational Mathematics and scientific engineering computing,Academy of Mathematics and System Sciences,the Chinese Academy of Sciences,P.O.Box 2719,Beijing 100080,China State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific Engineering Computing Academy of Mathematics and System Sciences the Chinese Academy of Sciences P.O. Box 2719 Beijing 100080 China

In this paper,the classical Lie group approach is extended to find some Lie point symmetries of differential-difference *** reveals that the obtained Lie point symmetries can constitute a Kac-Moody-Virasoro algebra.

关键词： Lie point symmetry differential-difference equation Kac Moody-Virasoro algebra

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：