There are several drawbacks in the existing typical analysis logics of cryptographic protocols, such as limitations of security properties analysis, limited ability in analyzing hybrid cryptography-based primitives an...
详细信息
There are several drawbacks in the existing typical analysis logics of cryptographic protocols, such as limitations of security properties analysis, limited ability in analyzing hybrid cryptography-based primitives and lack of formal semantics. In view of the above-mentioned problems, the paper proposes a novel logic, which can analyze the main security properties of the e-commerce cryptographic protocols, such as key confidentiality, authentication, non-repudiation, accountability, fairness and atomicity. Due to the fact that most existing analysis logics are lack of formal semantics which can prove the correctness of the logic systems, strand space semantics of the new logic are given, and the correctness of the main theorems in this logic is proved by using the strand space model semantics. Furthermore, the validity of this logic is verified by analyzing a sample of cryptographic security protocols.
Fineness is one of the key factors in determining the hydration activity factor of slag. The present research investigates the effect of particle size distribution (PSD) of slag on water requirement, setting time, and...
详细信息
Fineness is one of the key factors in determining the hydration activity factor of slag. The present research investigates the effect of particle size distribution (PSD) of slag on water requirement, setting time, and compressive strength. For this purpose, a reference and 17 cement samples containing different blast furnace slag are made and the properties are tested. When slags with proper PSD are prepared the cement properties can be better than the reference.
In order to propose the method of eval- uating and improving the real-time performance of EPA (Ethernet for plant automation) industrial Ethernet, the real-time performance of EPA information transmission was studied ...
详细信息
In order to propose the method of eval- uating and improving the real-time performance of EPA (Ethernet for plant automation) industrial Ethernet, the real-time performance of EPA information transmission was studied from theoretical and experimental perspec- tives. By analyzing information transmission regularity and EPA deterministic scheduling mechanism, several in- dicators including delivery time, time synchronization ac- curacy, utilization percentage of configured timeslice, data- sending time offset accuracy and throughput RTE that can be used to specify the real-time performance of EPA infor- mation transmission were presented and investigated. On this basis, the test principles and test methods of the indi- cators were studied. Furthermore, an experiment platform was developed to test the real-time indicators of EPA in- formation transmission. According to the analysis and the experiment, some methods to improve the real-time per- formance of EPA information transmission were proposed.
In this paper, we present an exergame called VNM (Virtual Network Marathon). The VNM employs specially devised treadmills for running in an immersive virtual environment on a local area network or the Internet. The tr...
详细信息
Clinical trial is a kind of research to evaluate the effects of the interventions on health outcomes. Now, there're many clinical trial registries all over the world which provide the registration and search of th...
详细信息
Clinical trial is a kind of research to evaluate the effects of the interventions on health outcomes. Now, there're many clinical trial registries all over the world which provide the registration and search of the clinical trials. Here, we present an architecture of clinical trial knowledge management system using ontology to facilitate the knowledge representation, data integration of the clinical trial. Also, we build a prototype system. In this prototype system, the clinical trial data is retrieved from ***, an ontology includes clinical trial knowledge is developed, and the clinical trial data is annotated as the instances of the ontology. A concept recognition tool is used to recognize the disease concept from the clinical trial data and the relation between the clinical trial and the disease is built. Users can browse the ontology, use disease instances and keywords of some properties to express the structured semantic query in SPARQL to locate the clinical trial instances. Compared with the traditional query, the query conditions meet the user's need more accurately.
A poor job scheduling strategy in cloud computing can result in lower scheduling efficiency, unbalance workload, frequent scheduling, even as thrashing machines, which cripple the cluster's computational power. Af...
详细信息
A poor job scheduling strategy in cloud computing can result in lower scheduling efficiency, unbalance workload, frequent scheduling, even as thrashing machines, which cripple the cluster's computational power. After researching many "Time for quality" job scheduling models and algorithms, the authors propose a novel elastic, positive, feedback job scheduling model ------EPSM(Elastic Positive Scheduling Model) which implements "Space for quality" strategy, making a milestone among job scheduling fields. Simultaneously, this model breaks down Mapreduce's original architecture drawback that slave node should be assigned job passively by master node. By comparing experimental tests, this model is proved to own many advantages such as flexibility, simplicity, high throughput and short response time. The design idea is valuable to other researchers.
Modular exponentiations have been considered the most expensive operation in discrete-logarithm based cryptographic protocols. In this paper, we propose a new secure outsourcing algorithm for exponentiation modular a ...
详细信息
There are different structure of the network and the variables, and the process of learning Bayesian networks has a lot of different forms. The structure of the network can be fuzzy or clear, and the variables can be ...
详细信息
Particle filter has been widely applied into many fields in recent years. Combined with the deficiency analysis of particle filter, an adaptive optimized strategy for particle filter is proposed. This adaptive optimiz...
详细信息
Particle filter has been widely applied into many fields in recent years. Combined with the deficiency analysis of particle filter, an adaptive optimized strategy for particle filter is proposed. This adaptive optimized strategy includes two parts. One is an improved hybrid proposal distribution with adaptive parameter optimization for particle filter. Based on the performance analysis of different proposal distribution, a hybrid proposal distribution with adaptive annealing parameter optimization is utilized to consider current information of the latest observed measurement. The other is an adaptive resampling strategy based on diversity guidance. An adaptive resampling step in particle filter is tuned based on two diversity measures and an improved partial stratified resampling strategy is presented based on the weights optimal idea. With the simulation program, the performance of the proposed strategy is evaluated and its validity is verified.
Accurate 3D localization is very important in the real condition of wireless sensor networks, which are usually deployed in complex 3D terrains. In this paper, we extend our previous work and present a new three-dimen...
详细信息
Accurate 3D localization is very important in the real condition of wireless sensor networks, which are usually deployed in complex 3D terrains. In this paper, we extend our previous work and present a new three-dimensional positioning algorithm, called 3DPHDV-Hop. The method of total minimum mean square error is used to calculate the average distance of each hop among the anchor nodes, and the normalized weight is computed to evaluate the importance of different hops. At the same time, the total least square method is employed to alleviate the multiple-linear problem when computing the locations of unknown nodes. The both extended work can significantly improve the performance in terms of positioning error and coverage. The simulation results show that the accuracy of our proposed algorithm can notably enhance the positioning coverage, compared to APIS algorithm at a maximum percentage of up to 45.2%, 'Simple 3D DV-Hop' at a percentage of 35.4%, and '3D-MDS' at a percentage of 32.3%. Therefore, our algorithm has the larger potential which can be used in much more fields under the real deployment environment of WSN.
暂无评论