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 Methodology for Modeling Software Safety in Safety-Critical Computing Systems
Author	S. Phani Kumar, P.Seetha Ramaiah, V.Khanaa
Citation	Vol. 9  No. 7  pp. 185-193
Keywords	Index Terms, Software Safety, Safety Critical Systems, Safer Software Development, Railroad Crossing Control System(RCCS)