检索结果-南通市图书馆

Constructing Collective Signature Schemes Using Problem of Finding Roots Modulo

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2022年第7期72卷 1105-1122页

Digital signature schemes are often built based on the difficulty of the discrete logarithm problems,of the problem of factor analysis,of the problem of finding the roots modulo of large primes or a combination of the difficult problems mentioned *** this paper,we use the new difficult problem,which is to find the wth root in the finite ground field GF(p)to build representative collective signature schemes,but the chosen modulo p has a special structure distinct p=Nt_(0)t_(1)t_(2)+1,where N is an even number and t_(0),t_(1),t_(2) are prime numbers of equal magnitude,about 80 *** characteristics of the proposed scheme are:i)The private key of each signer consists of 2 components(K_(1),K_(2)),randomly selected,but the public key has only one component(Y)calculated by the formula Y=K_(w)^(1)_(1) K^(w)_(2)^(2);w_(1)=t_(0)t_(1) and w_(2)=t_(0)t_(2);and ii)The generated signature consists of a set of 3 components(e,S_(1),S_(2)).We use the technique of hiding the signer’s public key Y,which is the coefficientλgenerated by the group nanager,in the process of forming the group signature and representative collective signature to enhance the privacy of all members of the signing collective.

关键词： Computing roots finding roots modulo collective signature signing collective signing group

Object Detection in Remote Sensing Images Using Picture Fuzzy Clustering and MapReduce

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computer Systems Science & Engineering 2022年第12期43卷 1241-1253页

作者： Tran Manh tuan Tran Thi Ngan nguyen Tu Trung Faculty of Computer Science and Engineering Thuyloi University175 Tay SonDong DaHanoi010000Vietnam

In image processing, one of the most important steps is image segmentation. The objects in remote sensing images often have to be detected in order toperform next steps in image processing. Remote sensing images usually havelarge size and various spatial resolutions. Thus, detecting objects in remote sensing images is very complicated. In this paper, we develop a model to detectobjects in remote sensing images based on the combination of picture fuzzy clustering and MapReduce method (denoted as MPFC). Firstly, picture fuzzy clustering is applied to segment the input images. Then, MapReduce is used to reducethe runtime with the guarantee of quality. To convert data for MapReduce processing, two new procedures are introduced, including Map_PFC and Reduce_*** formal representation and details of two these procedures are presented in thispaper. The experiments on satellite image and remote sensing image datasets aregiven to evaluate proposed model. Validity indices and time consuming are usedto compare proposed model to picture fuzzy clustering model. The values ofvalidity indices show that picture fuzzy clustering integrated to MapReduce getsbetter quality of segmentation than using picture fuzzy clustering only. Moreover,on two selected image datasets, the run time of MPFC model is much less thanthat of picture fuzzy clustering.

关键词： Remote sensing images picture fuzzy clustering image segmentation object detection MapReduce

Constructing Representative Collective Signature Protocols Using The GOST R34.10-1994 Standard

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2023年第1期74卷 1475-1491页

作者： tuan nguyen Kim Duy Ho Ngoc Nikolay A.Moldovyan School of Computer Science Duy Tan UniversityDanangVietnam Department of Information Technology HanoiVietnam ITMO University St.PetersburgRussia

The representative collective digital signature,which was suggested by us,is built based on combining the advantages of group digital signature and collective digital *** collective digital signature schema helps to create a unique digital signature that deputizes a collective of people representing different groups of signers and may also include personal *** advantage of the proposed collective signature is that it can be built based on most of the well-known difficult problems such as the factor analysis,the discrete logarithm and finding modulo roots of large prime numbers and the current digital signature standards of the United States and Russian *** this paper,we use the discrete logarithmic problem on prime finite fields,which has been implemented in the GOST R34.10-1994 digital signature standard,to build the proposed collective signature *** protocols help to create collective signatures:Guaranteed internal integrity and fixed size,independent of the number of members involved in forming the *** signature built in this study,consisting of 3 components(U,R,S),stores the information of all relevant signers in the U components,thus tracking the signer and against the“disclaim of liability”of the signer later is *** idea of hiding the signer’s public key is also applied in the proposed *** makes it easy for the signing group representative to specify which members are authorized to participate in the signature creation process.

关键词： Signing collective signing group discrete logarithm group signature collective signature GOST standards

New Representative Collective Signatures Based on the Discrete Logarithm Problem

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2022年第10期73卷 783-799页

The representative collective digital signature scheme allows the creation of a unique collective signature on document M that represents an entire signing community consisting of many individual signers and many different signing groups,each signing group is represented by a group *** document M,a collective signature can be created using the representative digital signature scheme that represents an entire community consisting of individual signers and signing groups,each of which is represented by a group *** characteristic of this type of letter is that it consists of three elements(U,E,S),one of which(U)is used to store the information of all the signers who participated in the formation of the collective signature on document *** storing this information is necessary to identify the signer and resolve disputes later,it greatly increases the size of *** is considered a limitation of the collective signature representing 3 *** this paper,we propose and build a new type of collective signature,a collective signature representing 2 elements(E,S).In this case,the signature has been reduced in size,but it contains all the information needed to identify the signer and resolve disputes if *** construct the approved group signature scheme,which is the basic scheme for the proposed representative collective signature schemes,we use the discrete logarithm problem on the prime finite *** the end of this paper,we present the security analysis of the AGDS scheme and a performance evaluation of the proposed collective signature schemes.

关键词： Elliptic curve signing group individual signer collective signature group signature

SeVe： automatic tool for verification of security protocols

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2012年第1期6卷 57-75页

作者： anh tuan LUU Jun SUN Yang LIU Jin Song DONG Xiaohong LI Thanh Tho QUAN School of Computing National University of Singapore Singapore 119077 Singapore School of Computing Singapore University of Technology and Design Singapore 138682 Singapore Department of Computer Science Tianjin University Tianjin 300222 China Department of Computer Science HoChiMinhCity University of Technology HoChiMinh City 162903 Vietnam

Security protocols play more and more important roles with wide use in many applications nowadays. Cur- rently, there are many tools for specifying and verifying secu- rity protocols such as Casper/FDR, ProVerif, or AVISPA. In these tools, the intruder＇s ability, which either needs to be specified explicitly or set by default, is not flexible in some circumstances. Moreover, whereas most of the existing tools focus on secrecy and authentication properties, few supports privacy properties like anonymity, receipt freeness, and coer- cion resistance, which are crucial in many applications such as in electronic voting systems or anonymous online transac- tions. In this paper, we introduce a framework for specifying security protocols in the labeled transition system （LTS） se- mantics model, which embeds the knowledge of the par- ticipants and parameterizes the ability of an attacker. Us- ing this model, we give the formal definitions for three types of privacy properties based on trace equivalence and knowledge reasoning. The formal definitions for some other security properties, such as secrecy and authentica- tion, are introduced under this framework, and the veri- fication algorithms are also given. The results of this pa- per are embodied in the implementation of a SeVe mod- ule in a process analysis toolkit （PAT） model checker, which supports specifying, simulating, and verifying se- curity protocols. The experimental results show that a SeVe module is capable of verifying many types of secu- rity protocols and complements the state-of-the-art securityverifiers in several aspects. Moreover, it also proves the abil- ity in building an automatic verifier for security protocols re- lated to privacy type, which are mostly verified by hand now.

关键词： security protocols model checking processanalysis toolkit (PAT) authentication secrecy privacy

Deep Reinforcement Learning Based Decision‑Making Strategy of Autonomous Vehicle in Highway Uncertain Driving Environments

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Automotive Innovation 2023年第3期6卷 438-452页

作者： Huifan Deng Youqun Zhao Qiuwei Wang anh‑Tu nguyen Department of Vehicle Engineering Nanjing University of Aeronautics and AstronauticsNanjing 210016China Laboratory LAMIH‑CNRS UMR 8201Universite Polytechnique Hauts-de-France59300 ValenciennesHauts‑de‑FranceFrance INSA Hauts-de-France 59300 ValenciennesFrance

Uncertain environment on multi-lane highway,e.g.,the stochastic lane-change maneuver of surrounding vehicles,is a big challenge for achieving safe automated highway *** improve the driving safety,a heuristic reinforcement learning decision-making framework with integrated risk assessment is ***,the framework includes a long short-term memory model to predict the trajectory of surrounding vehicles and a future integrated risk assessment model to estimate the possible driving ***,a heuristic decaying state entropy deep reinforcement learning algorithm is introduced to address the exploration and exploitation dilemma of reinforcement ***,the framework also includes a rule-based vehicle decision model for interaction decision problems with surrounding *** proposed framework is validated in both low-density and high-density traffic *** results show that the traffic efficiency and vehicle safety are both improved compared to the common dueling double deep Q-Network method and rule-based method.

关键词： Automated driving Decision making Uncertain driving environments Reinforcement learning Multi-lane traffic Integrated risk assessment

Land subsidence prediction for a new urban mass rapid transit line in Hanoi

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Underground Space 2020年第2期5卷 93-104页

作者： Pham Huy Giao Vu Thi Hue nguyen Dang Han nguyen Thi Hai anh nguyen Ngoc Minh Asian Institute of Technology BangkokThailand Institute of Foundation and Underground FECONHanoiViet Nam Sonhai JSC Viet Nam

The rapidly increasing population,urbanization,and industrialization of Hanoi city in the last few decades have necessitated the urgent development of a new underground public transport infrastructure such as the urban mass rapid transit(UMRT)system that is now under ***,concerns on the possible effects of land subsidence on the to-be-constructed and operated UMRT lines must be *** of the difficulties while assessing land subsidence in Hanoi is the insufficient subsidence monitoring ***,a good geotechnical characterization of the subsoil profile and proper numerical analysis can help predict groundwater pumping-induced subsidence *** UMRT line No.2 that was selected for this study is special as it runs across the old quarter downtown,located at the very heart of Hanoi *** this paper,the Hanoi aquifer system,groundwater extraction,and subsidence monitoring network of Hanoi are reviewed *** data from 30 investigation boreholes were analyzed to characterize the subsoil profile underlying a segment of the UMRT line No.2 that consists of both elevated and underground *** soil layers were identified up to a depth of 50 m,including a compressible soft clay layer 10-15 m thick that is supposed to be most vulnerable to subsidence by groundwater *** on the long-term groundwater monitoring data,one-dimensional finite element method(FEM)consolidation analyses were carried out for three drawdown boundary conditions of 5,10,and 15 m and yielded a total subsidence of 0.15,0.35,and 0.5 m,respectively,after 25 years with 1994 as the reference *** results of this study confirmed that land subsidence in particular should be considered in the construction and maintenance of the UMRT lines in Hanoi,in particular for underground sections that are founded on soft to medium clay layers.

关键词： Hanoi aquifer system Groundwater pumping Land subsidence UMRT line Geotechnical characterization

Building 3D CityGML models of mining industrial structures using integrated UAV and TLS point clouds

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Journal of Coal Science & Technology 2023年第5期10卷 158-177页

作者： Canh Le Van Cuong Xuan Cao anh Ngoc nguyen Chung Van Pham Long Quoc nguyen Department of Mine Surveying Hanoi University of Mining and GeologyHanoiVietnam Viettel Group Viettel Cyberspace CenterHanoiVietnam

Mining industrial areas with anthropogenic engineering structures are one of the most distinctive features of the real world.3D models of the real world have been increasingly popular with numerous applications,such as digital twins and smart factory *** this study,3D models of mining engineering structures were built based on the CityGML *** collecting spatial data,the two most popular geospatial technologies,namely UAV-SfM and TLS were *** accuracy of the UAV survey was at the centimeter level,and it satisfied the absolute positional accuracy requirement of creat-ing all levels of detail(LoD)according to the CityGML ***,the UAV-SfM point cloud dataset was used to build LoD 2 *** addition,the comparison between the UAV-SfM and TLS sub-clouds of facades and roofs indicates that the UAV-SfM and TLS point clouds of these objects are highly consistent,therefore,point clouds with a higher level of detail and accuracy provided by the integration of UAV-SfM and TLS were used to build LoD 3 *** resulting 3D CityGML models include 39 buildings at LoD 2,and two mine shafts with hoistrooms,headframes,and sheave wheels at LoD3.

关键词： 3D modelling CityGML-Mining industry UAV Terrestrial laser scanning Point cloud

Physical activity,COVID-19,and respiratory comorbidities:The good,the bad,and the ugly

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Sport and Health Science 2023年第2期12卷 216-218页

作者： anh-tuan Dinh-Xuan Thõng Hua-Huy Sven Günther Lung Function&Respiratory Physiology Units Department of Respiratory Physiology and Sleep MedicineAssistance Publique-Hôpitaux de ParisCochin&George Pompidou HospitalsUniversity Paris CitéParis 75006France

Almost 3 years after the outbreak of the novel severe acute respiratory syndrome coronavirus 2(SARS-CoV-2)responsible for the coronavirus disease 2019(COVID-19)that has caused more than 6 million deaths worldwide,1the pandemic persists and hampers our daily *** are at least 2 main reasons explaining why we still struggle to terminate this ***,novel variants of concern of SARS-CoV-2unceasingly emerge despite almost 12 billion doses of vaccinebeing administered to date.

关键词： respiratory doses acute