Formal Security Analysis Of A Secure On-Demand Routing Protocol For AD HOC Networks Using Model Checking

Formal Security Analysis Of A Secure On-Demand Routing Protocol For AD HOC Networks Using Model Checking

Advisor: 

M. Ufuk Caglayan

Assigned to: 

Evren Onem

Type: 

Year: 

2007

Status: 

Contact us

Department of Computer Engineering, Boğaziçi University,
34342 Bebek, Istanbul, Turkey

  • Phone: +90 212 359 45 23/24
  • Fax: +90 212 2872461
 

Connect with us

We're on Social Networks. Follow us & get in touch.