[u' @article{echevarria_lwake:_2016, title = {{lwAKE}: {A} {Lightweight} {Authenticated} {Key} {Exchange} for {Class} 0 {Devices}}, volume = {2016}, url = {http://www.hindawi.com/journals/ijdsn/2016/6236494/}, doi = {10.1155/2016/6236494}, abstract = {Device-to-Device (D2D) communication enables devices in proximity to establish a wireless direct link. However, these devices may be severely constrained in terms of memory, CPU, and processing resources. Hence, a D2D communication with a constrained device implies new challenges as it does not have the resources required to be secured with standard cryptography. We propose lwAKE for class 0 devices (RFC 7228), which uses one-way cryptographic functions and zero-knowledge proofs to provide mutual authentication and a secure key establishment. We specify the protocol using the High Level Protocol Specification Language and then verify the security properties using the model checkers OFMC and CL-AtSe. The significance of the protocol stands in a key reuse for any successive authentication. Experimental results show that this shortened authentication mode reduces the computationalloadgreatly.}, language = {en}, journal = {International Journal of Distributed Sensor Networks}, author = {Echevarr\xeda, Juan Jos\xe9 and Legarda, Jon and Larra\xf1aga, Janire and Ruiz-de-Garibay, Jonathan}, month = may, year = {2016}, note = {00000}, keywords = {D2D communications, authentication, constrained devices, jcr0.665, key exchange, lightweight cryptography, q4} }']