The Canetti-Krawczyk (CK) model is a formalism for the analysis of keyexchange protocols, which can guarantee many security properties for the protocols proved
On the basis of quantitative evaluation of susceptibility to solidification cracking with Trans-Varestraint-Test, the microstructures of two stainless steels of
A description of the reliability evaluation of tactical network is given, which reflects not only the non-reliable factors of nodes and links but also the facto
For the past few years, there has been an explosion in the number of individuals carrying wireless devices that are capable of conducting location-dependent inf