Anant Chaudhary

	2005
1		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: 16-33

Coauthor Index

1	Poornima Balasubramanyam	[1]
2	Calvin Ko	[1]
3	Karl N. Levitt	[1]
4	Tao Song	[1]
5	Chinyang Henry Tseng	[1]