Readings for the TruSe lab meetings

Fall 2004

• August 24  (Mahesh Tripunitara)

  • A Survey of BGP Security Issues and Solutions by Toni Farley, Patrick McDaniel, and Kevin Butler, draft paper.

  • Securing the Border Gateway Protocol  Slides by Dr. Stephen Kent

• Sept 1 (Ziad Bizri)

  • A Secure Routing Protocol for Ad Hoc Networks  by by K Sanzgiri, B Dahill, B Levine, C. Shields and E. Belding-Royer, in ICNP'02.

  • Formal verification of Ad Hoc Routing Protocols Using Spin Model Checker,  by R. de Renesse and A.H. Aghvami

• Sept 8 (Ninghui Li)

  • Chapter one of the book "Logic in Computer Science: Modelling and Reasoning about Systems" by Michael Huth and Mark Ryan.

• Sept 15 (Xiaoxin Wu)

  • SEAD: Secure Efficient Distance Vector Routing for Mobile Wireless Ad Hoc Networks by Y. Hu, D. Johnson, and A. Perrig

  • Intrusion Detection Techniques for Mobile Wireless Networks by Y. Zhang, W. Lee, and Y. Huang

• Sept 22 (Abhilasha Bhargav)
  • Client-side defense against web-based identity theft by Chou et al.
• Sept 29 (Ninghui Li)
  • Chapter two of the book "Logic in Computer Science: Modelling and Reasoning about Systems"
• October 6 (Abhilasha Bhargav)
  • Labeled State Transition Systems
• October 13 (Ziad Bizri)
  • Chapter three of the logic book (LTL and CTL)
• October 22 (Qihua Wang)
  • Logic Programming Chapters 2 &3 of the book "Logic, Programming and Prolog"