Title	Formal Network Designs for Critical Network Security Systems
Author	Dea-Woo Park
Citation	Vol. 6  No. 4  pp. 172-178
Keywords	Critical Systems, Risk Management, Security Requirements, Security Policy, Formal Methods

Title	On Recent Security Enhancements to Autoconfiguration Protocols for MANETs Real Threats and Requirements
Author	A. Abdelmalek, M. Feham, A. Taleb-Ahmed
Citation	Vol. 9  No. 4  pp. 401-407
Keywords	Autoconfiguration, Threats, Security Requirements, Mobile Ad Hoc Networks

Title	Detection Mechanism on Vehicular Adhoc Networks (VANETs) A Comprehensive Survey
Author	Shobana Gopalakrishnan and Dr.Arockia Xavier Annie R.
Citation	Vol. 21  No. 6  pp. 294-303
Keywords	VANET, Attacker model, attacks, Sybil attacks, attackers, security requirements.

Title	Detection Mechanism on Vehicular Adhoc Networks (VANETs) A Comprehensive Survey
Author	Shobana Gopalakrishnan and Dr.Arockia Xavier Annie R.
Citation	Vol. 21  No. 6  pp. 294-303
Keywords	VANET, Attacker model, attacks, Sybil attacks, attackers, security requirements.