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	A Survey of Security issues in Collaborative Virtual Environment
Author	Seunglim Yong, Hyun-Yi Moon, Yuseung Sohn, Miguel Fernandes
Citation	Vol. 8  No. 1  pp. 14-19
Keywords	Collaborative virtual environment, virtual reality, security requirement, security solution

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	Threat Modeling for Careem System
Author	Hajar Barrak Alharbi, Azaah Ali Kabbas, Nahla Aljojo
Citation	Vol. 20  No. 1  pp. 218-228
Keywords	Architecture, Trust boundaries, Attack surface, Threat agent, Security requirement.