Anant Chaudhary

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt
Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks. Formal Aspects in Security and Trust (2005)