Related content

Formal security analysis of Ariadne secure routing protocol using model checking

By Onem E.   Gü A. Burak     Ç M. Ufuk      

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 9, Iss. 1, 2012-02 ,pp. : 12-24

Inderscience Publishers

Access to resources Recommend Favorite

Model checking-based safety verification for railway signal safety protocol-I

By Meng Mei   Zhongwei Xu   Xi Wang   Yongbing Wan  

International Journal of Computer Applications in Technology, Vol. 46, Iss. 3, 2013-03 ,pp. : 195-202

Inderscience Publishers

Access to resources Recommend Favorite

Checking JML specifications using an extensible software model checking framework

By   Rodríguez Edwin   Dwyer Matthew   Hatcliff John  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 280-299

Springer Publishing Company

Access to resources Recommend Favorite

Efficient multicast stream authentication for the fully adversarial network model

By Tartary Christophe   Wang Huaxiong  

International Journal of Security and Networks, Vol. 2, Iss. 3-4, 2007-04 ,pp. : 175-191

Inderscience Publishers

Access to resources Recommend Favorite

Model-based verification of privacy preserving authentication protocol for VANETs

By Chaurasia Brijesh Kumar  

International Journal of Information Technology, Communications and Convergence, Vol. 2, Iss. 2, 2012-08 ,pp. : 120-137

Inderscience Publishers

Access to resources Recommend Favorite