With the rapid development of Internet, the security of network protocol become the focus of attention. As the main access authentication protocol, the importance of IEEE802.1X protocol’s security is obvious. Formal method is an important software and protocol analysis and verification tools. Formal method includes model checking, logic inference and theorem-proving. This paper uses the
(Read More…)
With the rapid development of Internet, the security of network protocol become the focus of attention. As the main access authentication protocol, the importance of IEEE802.1X protocol’s security is obvious. Formal method is an important software and protocol analysis and verification tools. Formal method includes model checking, logic inference and theorem-proving. This paper uses the
(Read More…)
As the wide application of Internet and distributed system, the electronic commerce develops more and more quickly too, and the correspondent web e-commerce protocols are the keys to make sure that the new exchange model runs smoothly. The design of e-commerce protocol is a very large and complicated job, and has extremely easily appeared all
(Read More…)
There are many links in ensuring the security of computer network communication system, the security protocol is a particularly important part of the system. The secure communication between entities in the network is done over a secure protocol to assist. So once the attackers find the vulnerability of the security protocol, they can use it
(Read More…)
Coal gas detection technology is one of factor restricted the expansion of coal mining and digging with the growing dependence on energy needs and safety of coal mining operations increasingly strict requirements. Therefore, the development of a precise detection, mine gas transmission and reliable wireless detection system is the subject of major research paper.WSN is
(Read More…)
Coal gas detection technology is one of factor restricted the expansion of coal mining and digging with the growing dependence on energy needs and safety of coal mining operations increasingly strict requirements. Therefore, the development of a precise detection, mine gas transmission and reliable wireless detection system is the subject of major research paper.WSN is
(Read More…)
Coal gas detection technology is one of factor restricted the expansion of coal mining and digging with the growing dependence on energy needs and safety of coal mining operations increasingly strict requirements. Therefore, the development of a precise detection, mine gas transmission and reliable wireless detection system is the subject of major research paper.WSN is
(Read More…)
Coal gas detection technology is one of factor restricted the expansion of coal mining and digging with the growing dependence on energy needs and safety of coal mining operations increasingly strict requirements. Therefore, the development of a precise detection, mine gas transmission and reliable wireless detection system is the subject of major research paper.WSN is
(Read More…)
Formal method is a means to verify the reliability and safety of concurrent systems. Model checking is used for formal verification of finite state concurrent (distributed) systems, and has been applied to a variety of software safety and reliability verification. Extracting the model from the concurrent software systems built with high-level language and using the
(Read More…)
With the development of computer technology, the extensive application of software system, the portability, serviceability and cooperation ability of software system become more and more important. MDA (Model Driven Architecture) which take the model as the key of software developing, is a new technology to resolve these problems. PIM(Platform Independent Model), which is set up
(Read More…)
