The design and analysis of authenticated key exchange protocol is an important problem in information security area. At present, extended Canetti-Krawczyk (eCK) model provides the strongest definition of security for ...The design and analysis of authenticated key exchange protocol is an important problem in information security area. At present, extended Canetti-Krawczyk (eCK) model provides the strongest definition of security for two party key agreement protocol, however most of the current secure protocols can not be prove to secure without Gap assumption. To avoid this phenomenon, by using twinning key technology we propose a new two party key agreement protocol TUP which is obtained by modifying the UP protocol, then in conjunction with the trapdoor test, we prove strictly that the new protocol is secure in eCK model. Compared with previous protocols, the security assumption of new proposal is more standard and weaker, and it also solves an open problem in ProvSec'09.展开更多
In a landfill, excessive tensile strains or failure of the liner system due to localized subsidence underneath the geosynthetic liner, is a concern in design and operation of the landfill. The localized subsidence can...In a landfill, excessive tensile strains or failure of the liner system due to localized subsidence underneath the geosynthetic liner, is a concern in design and operation of the landfill. The localized subsidence can be commonly withstood by reinforcements such as geogrids. A total of nine model tests were carried out to study the influence of soil arching in overburden sandy soil on the geosynthetics and the interaction between the soil and the geosynthetics. The localized subsidence was modeled by a strip trapdoor under the geosynthetic reinforcements. The reinforcement includes several layers of polyvinylchlorid (PVC) membrane or both PVC membrane and a compacted clay layer. Test results show that the vertical soil pressure acting on the geosynthetics within the subsidence zone is strongly related to the deflection of the geosynthetics. The soil pressure acting on the deflected geosynthetics will decrease to a minimum value with respect to its deflection if the final deflection is large enough, and this minimum value is almost independent of the overburden height. Otherwise, the deflection of geosynthetics cannot result in a full degree of soil arching, and the soil pressure within the subsidence zone increases with the increase of overburden height. Deflections and strains of the geosynthetics obviously decrease with the increase of their tensile stiffness. The presence of a compacted clay layer buffer can therefore reduce both deflections and strains of the geosynthetics. Finally, a composite liner structure is recommended for landfills to withstand the localized subsidences.展开更多
文摘The design and analysis of authenticated key exchange protocol is an important problem in information security area. At present, extended Canetti-Krawczyk (eCK) model provides the strongest definition of security for two party key agreement protocol, however most of the current secure protocols can not be prove to secure without Gap assumption. To avoid this phenomenon, by using twinning key technology we propose a new two party key agreement protocol TUP which is obtained by modifying the UP protocol, then in conjunction with the trapdoor test, we prove strictly that the new protocol is secure in eCK model. Compared with previous protocols, the security assumption of new proposal is more standard and weaker, and it also solves an open problem in ProvSec'09.
基金supported by the National Basic Research Program of China(No. 2012CB719800)the National Natural Science Foundation of China (No. 51127005)the Key Innovative Team Program of Zhejiang Province (No. 2009R50050), China
文摘In a landfill, excessive tensile strains or failure of the liner system due to localized subsidence underneath the geosynthetic liner, is a concern in design and operation of the landfill. The localized subsidence can be commonly withstood by reinforcements such as geogrids. A total of nine model tests were carried out to study the influence of soil arching in overburden sandy soil on the geosynthetics and the interaction between the soil and the geosynthetics. The localized subsidence was modeled by a strip trapdoor under the geosynthetic reinforcements. The reinforcement includes several layers of polyvinylchlorid (PVC) membrane or both PVC membrane and a compacted clay layer. Test results show that the vertical soil pressure acting on the geosynthetics within the subsidence zone is strongly related to the deflection of the geosynthetics. The soil pressure acting on the deflected geosynthetics will decrease to a minimum value with respect to its deflection if the final deflection is large enough, and this minimum value is almost independent of the overburden height. Otherwise, the deflection of geosynthetics cannot result in a full degree of soil arching, and the soil pressure within the subsidence zone increases with the increase of overburden height. Deflections and strains of the geosynthetics obviously decrease with the increase of their tensile stiffness. The presence of a compacted clay layer buffer can therefore reduce both deflections and strains of the geosynthetics. Finally, a composite liner structure is recommended for landfills to withstand the localized subsidences.