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	The simple information security audit process: SISAP
Author	Bel G. Raggad, Emilio Collar
Citation	Vol. 6  No. 6  pp. 189-198
Keywords	Security audit, vulnerability assessment, threats, ISO 17799, nominal audit, risk assessment

Title	Analyzing Network Security using Malefactor Action Graphs
Author	Igor Kotenko, Mikhail Stepashkin
Citation	Vol. 6  No. 6  pp. 226-235
Keywords	Vulnerability Assessment, Risk Assessment, Security Metrics, Network attacks, Management of Computing Security

Title	Risk Leveling of Network Traffic Anomalies
Author	Charlie Isaksson, Yu Meng, Margaret H. Dunham
Citation	Vol. 6  No. 6  pp. 258-265
Keywords	data mining, risk leveling, intrusion detection, anomaly, data stream