Symbolic Model Checking and Analysis for E-Commerce Protocol

A new approach is proposed for analyzing non-repudiation and fairness of e-commerce protocols. The authentication e-mail protocol CMP1 is modeled as finite state machine and analyzed in two vital aspects- non-repudiation and fairness using SME. As a result, the CMP1 protocol is not fair and we have improved it. This result shows that it is effective to analyze and check the new features of e-commerce protocols using SMV model checker.

Cell replacement with stem cell-derived retinal ganglion cells from different protocols

Glaucoma,characterized by a degenerative loss of retinal ganglion cells,is the second leading cause of blindness worldwide.There is currently no cure for vision loss in glaucoma because retinal ganglion cells do not regenerate and are not replaced after injury.Human stem cell-derived retinal ganglion cell transplant is a potential therapeutic strategy for retinal ganglion cell degenerative diseases.In this review,we first discuss a 2D protocol for retinal ganglion cell differentiation from human stem cell culture,including a rapid protocol that can generate retinal ganglion cells in less than two weeks and focus on their transplantation outcomes.Next,we discuss using 3D retinal organoids for retinal ganglion cell transplantation,comparing cell suspensions and clusters.This review provides insight into current knowledge on human stem cell-derived retinal ganglion cell differentiation and transplantation,with an impact on the field of regenerative medicine and especially retinal ganglion cell degenerative diseases such as glaucoma and other optic neuropathies.

Optimistic fair exchange E-commerce protocol based on secret sharing

A key problem of electronic commerce （for short e-commerce） is fair exchange which guarantees that at the end of the transaction, either both parties involved in the trausaction receive each other＇s items or none do. A non-interactive optimistic fair exchange e-commerce protocol model based on the publicly verifiable secret sharing is presented. The main idea of our exchange protocol is to interchange verifiable and recoverable keys of the symmetric encryption for participants＇ items. So it is especially suitable for exchange of large-size items. Furthermore, our protocol is efficient and simple as it does not need interactive proof system which has been adopted by a large quantity of previously proposed fair exchange protocols. Based on a modified （2,2） secret sharing scheme, a concrete non-interactive fair exchange e-commerce protocol is designed.

Home Monitoring of Estrone-3-Glucuronide (E1-3G) Levels in Two Different Ovarian Stimulation Protocols: A Pilot Study

Background: Studies have shown a strong correlation between the growth of E2 in serum and estrone-3-glucuronide (E1-3G) in urine during ovarian stimulation. Thus, we developed theoretical models for using urinary E1-3G in ovarian stimulation and focused on their experimental verification and analysis. Methods: A prospective, observational pilot study was conducted involving 54 patients who underwent 54 cycles of ovarian stimulation. The goal was to establish the growth rate of urinary E1-3G during the course of stimulation and to determine the daily upper and lower limits of growth rates at which stimulation is appropriate and safe. Controlled ovarian stimulation was performed using two different stimulation protocols—an antagonist protocol in 25 cases and a progestin-primed ovarian stimulation protocol (PPOS) in 29 cases, with fixed doses of gonadotropins. From the second day of stimulation, patients self-measured their daily urine E1-3G levels at home using a portable analyzer. In parallel, a standard ultrasound follow-up protocol accompanied by a determination of E2, LH, and P levels was applied to optimally control stimulation. Results: The average daily growth rates in both groups were about 50%. The daily increase in E1-3G for the antagonist protocol ranged from 14% to 79%, while they were 28% to 79% for the PPOS protocol. Conclusion: This is the first study to analyze the dynamics of E1-3G in two different protocols and to estimate the limits of its increase during the entire course of the stimulation. The results confirm our theoretical model for the viability of using urinary E1-3G for monitoring ovarian stimulation.

Impacts of agri-food e-commerce on traditional wholesale industry:Evidence from China

Rapidly expanding studies investigate the effects of e-commerce on company operations in the retail market.However,the interaction between agri-food e-commerce(AEC)and the traditional agri-food wholesale industry(AWI)has not received enough attention in the existing literature.Based on the provincial panel data from 2013 to 2020 in China,this paper examines the effect of AEC on AWI,comprising three dimensions:digitalization(DIGITAL),agrifood e-commerce infrastructure and supporting services(AECI),and agri-food e-commerce economy(AECE).First,AWI and AEC are measured using an entropy-based combination of indicators.The results indicate that for China as a whole,AWI has remained practically unchanged,whereas AEC exhibits a significant rising trend.Second,the findings of the fixed-effect regression reveal that DIGITAL and AECE tend to raise AWI,whereas AECI negatively affects AWI.Third,threshold regression results indicate that AECI tends to diminish AWI with three-stage inhibitory intensity,which manifests as a first increase and then a drop in the inhibition degree.These results suggest that with the introduction of e-commerce for agricultural product circulation,digital development will have catfish effects that tend to stimulate the vitality of the conventional wholesale industry and promote technical progress.Furthermore,the traditional wholesale industry benefits financially from e-commerce even while it diverts part of the traditional wholesale circulation for agricultural products.

Enhancing Network Design through Statistical Evaluation of MANET Routing Protocols

This paper contributes a sophisticated statistical method for the assessment of performance in routing protocols salient Mobile Ad Hoc Network(MANET)routing protocols:Destination Sequenced Distance Vector(DSDV),Ad hoc On-Demand Distance Vector(AODV),Dynamic Source Routing(DSR),and Zone Routing Protocol(ZRP).In this paper,the evaluation will be carried out using complete sets of statistical tests such as Kruskal-Wallis,Mann-Whitney,and Friedman.It articulates a systematic evaluation of how the performance of the previous protocols varies with the number of nodes and the mobility patterns.The study is premised upon the Quality of Service(QoS)metrics of throughput,packet delivery ratio,and end-to-end delay to gain an adequate understanding of the operational efficiency of each protocol under different network scenarios.The findings explained significant differences in the performance of different routing protocols;as a result,decisions for the selection and optimization of routing protocols can be taken effectively according to different network requirements.This paper is a step forward in the general understanding of the routing dynamics of MANETs and contributes significantly to the strategic deployment of robust and efficient network infrastructures.

Designing Proportional-Integral Consensus Protocols for Second-Order Multi-Agent Systems Using Delayed and Memorized State Information

This paper is concerned with consensus of a secondorder linear time-invariant multi-agent system in the situation that there exists a communication delay among the agents in the network.A proportional-integral consensus protocol is designed by using delayed and memorized state information.Under the proportional-integral consensus protocol,the consensus problem of the multi-agent system is transformed into the problem of asymptotic stability of the corresponding linear time-invariant time-delay system.Note that the location of the eigenvalues of the corresponding characteristic function of the linear time-invariant time-delay system not only determines the stability of the system,but also plays a critical role in the dynamic performance of the system.In this paper,based on recent results on the distribution of roots of quasi-polynomials,several necessary conditions for Hurwitz stability for a class of quasi-polynomials are first derived.Then allowable regions of consensus protocol parameters are estimated.Some necessary and sufficient conditions for determining effective protocol parameters are provided.The designed protocol can achieve consensus and improve the dynamic performance of the second-order multi-agent system.Moreover,the effects of delays on consensus of systems of harmonic oscillators/double integrators under proportional-integral consensus protocols are investigated.Furthermore,some results on proportional-integral consensus are derived for a class of high-order linear time-invariant multi-agent systems.

A Formal Model for Analyzing Fair Exchange Protocols Based on Event Logic

Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.

Hyperbolic Tangent Function-Based Protocols for Global/Semi-Global Finite-Time Consensus of Multi-Agent Systems

This paper investigates the problem of global/semi-global finite-time consensus for integrator-type multi-agent sys-tems.New hyperbolic tangent function-based protocols are pro-posed to achieve global and semi-global finite-time consensus for both single-integrator and double-integrator multi-agent systems with leaderless undirected and leader-following directed commu-nication topologies.These new protocols not only provide an explicit upper-bound estimate for the settling time,but also have a user-prescribed bounded control level.In addition,compared to some existing results based on the saturation function,the pro-posed approach considerably simplifies the protocol design and the stability analysis.Illustrative examples and an application demonstrate the effectiveness of the proposed protocols.

Impact of BRICS Trade Facilitation on China's Exports Using Cross-Border E-Commerce

With the rapid growth of the global digital economy, cross-border e-commerce, as an emerging form of trade, has gradually become a powerful engine to promote the development of global trade. BRICS is an important force in the global economy, and the progress of the BRICS countries' trade facilitation level has an important impact on the global trade environment. This paper conducts an in-depth study of the dynamic changes in BRICS trade facilitation from 2013 to 2022, and uses an extended gravity model to analyze the specific impact of this change on China's exports using cross-border e-commerce. The results show that although the BRICS countries have made some progress in trade facilitation, the overall level still needs to be improved, and there are obvious differences among member countries. However, the improvement of trade facilitation among BRICS countries has undoubtedly brought significant positive effects to China's exports using cross-border e-commerce.

Distributed Fault Estimation for Nonlinear Systems With Sensor Saturation and Deception Attacks Using Stochastic Communication Protocols

This paper is aimed at the distributed fault estimation issue associated with the potential loss of actuator efficiency for a type of discrete-time nonlinear systems with sensor saturation.For the distributed estimation structure under consideration,an estimation center is not necessary,and the estimator derives its information from itself and neighboring nodes,which fuses the state vector and the measurement vector.In an effort to cut down data conflicts in communication networks,the stochastic communication protocol(SCP)is employed so that the output signals from sensors can be selected.Additionally,a recursive security estimator scheme is created since attackers randomly inject malicious signals into the selected data.On this basis,sufficient conditions for a fault estimator with less conservatism are presented which ensure an upper bound of the estimation error covariance and the mean-square exponential boundedness of the estimating error.Finally,a numerical example is used to show the reliability and effectiveness of the considered distributed estimation algorithm.

Research trends of clinical studies on acupuncture protocols over the past 20 years:a bibliometric analysis

Background:Acupuncture protocols are essential as they guide study design and improve the quality of clinical trial,thus preventing avoid research waste.Given the increasing number of publications on acupuncture protocols,this study aimed to assess the publications trends of acupuncture protocols over the past two decades and provided an overview for future research directions.Methods:Publications focusing on acupuncture protocols in clinical settings were retrieved and compiled from the Web of Science Core Collection spanning the period from 2004 to 2023.CiteSpace and Microsoft Excel software were used to analyze the relationship of publication with countries,institutions,authors,co-cited author,journals,references,keywords and other literature aspects.Results:This study analyzed 721 articles encompassing acupuncture protocols.A continuous yet fluctuating growth in publications volume were observed from 2004 to 2023.Notably,China stands at the forefront in contributing to acupuncture protocols,publishing 513 papers and demonstrating a high centrality score of 1.07 in cooperative network.Furthermore,China has fostered close collaborations with the USA and South Korea.Beijing University of Chinese Medicine(89),Zhishun Liu(36)and Trials(306)emerged as the top contributors in terms of institution,author,and journal,respectively.However,inter-institutional and author collaboration was relatively weak.Macpherson H was the most frequently cited author.High-frequency keywords included“randomized controlled trials”,“acupuncture”,“management”,“study protocol”,“quality of life”.Analysis of timeline diagram of keywords indicated that“functional dyspepsia”,“stroke”,“electroacupuncture”,and“colorectal cancer”were the research development trends and focus.Conclusion:Clinical acupuncture protocols have experienced robust development over the past two decades,with current research hotspots focusing on disease management and quality of life,which remain key research concerns.Moreover,we advocate for researchers to publish acupuncture protocols,which remain key research concerns.This approach allows for thorough pre-study planning of methodologies and objectives,enhancing scientific rigor through peer review,thereby laying the foundation for conducting high-quality research.

Predicting Purchasing Behavior on E-Commerce Platforms: A Regression Model Approach for Understanding User Features that Lead to Purchasing

This research introduces a novel approach to improve and optimize the predictive capacity of consumer purchase behaviors on e-commerce platforms. This study presented an introduction to the fundamental concepts of the logistic regression algorithm. In addition, it analyzed user data obtained from an e-commerce platform. The original data were preprocessed, and a consumer purchase prediction model was developed for the e-commerce platform using the logistic regression method. The comparison study used the classic random forest approach, further enhanced by including the K-fold cross-validation method. Evaluation of the accuracy of the model’s classification was conducted using performance indicators that included the accuracy rate, the precision rate, the recall rate, and the F1 score. A visual examination determined the significance of the findings. The findings suggest that employing the logistic regression algorithm to forecast customer purchase behaviors on e-commerce platforms can improve the efficacy of the approach and yield more accurate predictions. This study serves as a valuable resource for improving the precision of forecasting customers’ purchase behaviors on e-commerce platforms. It has significant practical implications for optimizing the operational efficiency of e-commerce platforms.

Research on Current Situation and Legal Regulation of Cosmetics Live Streaming E-commerce in China

Analyze the compatibility between cosmetics and live streaming e-commerce from its own nature,marketing means and supply chain characteristics.According to the prominent problems,sort out the relationship between all parties in the cosmetics live e-commerce industry chain.Combined with the latest regulatory policies of live streaming e-commerce and cosmetics,the responsibilities of different subjects in cosmetics live streaming e-commerce are summarized,and relevant suggestions and countermeasures are put forward for the standardization and development of live streaming e-commerce.Cosmetics brand owners are the first responsible persons for product quality.Anchors,as a mixed identity between intermediary,advertising spokesperson and operator,should bear stricter joint and several liability when recommending products related to consumers’health.If anchors fail to clearly identify themselves in the recommendation process,thus causing consumers to mistake them for the operator of the cosmetics,they should assume the obligations of the operator.

How Does E-Commerce Policy Affect Consumption Disparities of Rural Households?-Evidence from China

In the context of China’s ongoing efforts to promote countryside revitalization and facilitate domestic economic circulation,it is of great significance to reduce the consumption disparity among rural households and unleash the consumption potential in the countryside.Based on data from China Family Panel Studies,this paper adopts a staggered difference-in-differences method to assess the impact of the e-commerce to enter rural areas on the consumption disparity among rural households.Findings:the comprehensive demonstration work of promoting e-commerce to enter rural areas has reduced the consumption disparity among rural households through the following mechanisms.Firstly,this policy initiative has mitigated the consumption-inhibiting effect on rural household consumption due to the local market size and external market accessibility by promoting the distribution of consumer goods to villages.Secondly,this policy initiative has also increased the agricultural income of rural households and reduced their consumption disparity by distributing farm produce to cities and enhancing the agricultural income of rural households.Moreover,the work is characterized by inclusive growth and is not susceptible to the“elite capture”phenomenon.

Perspectives on the extracellular matrix in inflammatory bowel disease and bowel decellularization protocols

The extracellular matrix(ECM)is a non-cellular three-dimensional structure present in all tissues that is essential for the intestinal maintenance,function and structure,as well as for providing physical support for tissue integrity and elasticity.ECM enables the regulation of various processes involved in tissue homeostasis,being vital for healing,growth,migration and cell differentiation.Structurally,ECM is composed of water,polysaccharides and proteins,such as collagen fibers and proteoglycans,which are specifically arranged for each tissue.In pathological scenarios,such as inflammatory bowel disease(IBD),the deposition and remodeling of the ECM can be altered in relation to the homeostatic composition.IBD,such as Ulcerative colitis and Crohn’s disease,can be differentiated according to ECM alterations,such as circulating levels of collagen,laminin and vimentin neoepitopes.In this context,ECM presents parti-cularities in both physiological and pathological processes,however,exploring methods of tissue decellularization is emerging as a promising frontier for new therapeutic interventions and clinical protocols,promoting the development of new approaches to intestinal diseases.

The Impact of E-Commerce Live Broadcasts on Consumers’Purchase Intention

E-commerce live broadcast has an important influence on consumers’purchase intention.The three dimensions of live broadcast content in the broadcast room are the number of comments,product quality,and live content as independent variables.A theoretical model is constructed with perceived value and risk as intermediaries and the consumers’purchase intention as the dependent variable,and corresponding hypotheses are put forward.We designed the scale,collected relevant data,and tested the model hypothesis using Statistical Package for Social Sciences(SPSS)and Analysis of Moment Structure(AMOS)software.The study found that the number of comments and product quality had a significant impact on perceived value,perceived risk,and consumers’purchase intention.From this conclusion,it is suggested that businesses should control the number of comments,strengthen the product quality of comments,and distinguish the repetition degree of the content of live broadcasts.

Analysis of the Current Situation, Influential Factors, and Countermeasures of Rural E-commerce Development

The development of rural e-commerce is becoming an important driver for the transformation of China’s rural economy,and with the rapid development of information technology and the upgrading of the agricultural industry,rural e-commerce is showing a vigorous momentum of development.Traditionally,agricultural products are mainly sold through traditional farmers’markets,which are subjected to geography and channel limitations,resulting in inefficient circulation of agricultural products.This paper analyzes the definition,the status quo,as well as the influencing factors of rural e-commerce development.On this basis,countermeasures for the advancement of rural e-commerce development are put forward.

Research on Professional Teaching Reform of the E-Commerce Major in Vocational Colleges Under the Internet Era

With the rapid development of science and technology,the face of human society has undergone great changes;with the emergence of the Internet era,all kinds of educational technology,equipment,and software in vocational colleges have been widely used to carry out education and teaching,and has achieved remarkable results.Based on this,colleges and universities’electronic commerce(e-commerce)professional teachers should try to rely on the Internet to build information teaching classrooms,introduce advanced methods to build efficient classrooms by integrating teaching resources,and optimize the top-level design,so as to activate the classroom atmosphere,mobilize students’emotions,make them immersed in the teaching of electronic commerce courses.In view of this,this paper combines the existing theory and experience,first analyzes the dilemma faced by the current teaching of e-commerce in vocational colleges,then discusses the practical significance of teaching reform based on the Internet era,and lastly puts forward the specific practice path.

A TTP-Independent Watermarking Protocol Based on Commutative Cryptosystem for Copyright Protection in E-Commerce

For the purpose of deterring unauthorized duplication and distribution of multimedia contents in e-commerce, some Buyer-seller watermarking protocols which combine of traditional watermarking and fingerprinting techniques have been proposed, However, previous protocols have potential risk from trust third party （TTP） because all entities （including multi-buyers and multi-sellers） mentioned in protocol construct a star tupology like connection, in which the watermark certification authority （WCA） serves as the central point in the interaction and therefore its availability probably turns out to be the vital bottleneck of reliability and efficiency to the whole system. Secondly, WCA holds entire information about watermark used hy Buyers so that an innocent Buyer can he found as guilty if WCA collude with the Seller. In this paper, we propose a watermarking protocol to address the problems using cryptographic technologies in phase of watermark generation. The resuh is a TTP-independent and collusion-secure buyer-seller watermarking protocol.