1. Presentasi informal model kebijakan keamanan formal. 2. Presentasi informal model kebijakan keamanan formal. 3. A penyulingan Logis tepat semua atau bagian dari sistem elektronik informasi kebijakan keamanan, dikembangkan untuk menghindari ambiguitas dan inkonsistensi dan untuk membentuk landasan yang kuat untuk tahap berikutnya pembangunan sistem. Catatan: Model kebijakan keamanan mungkin formal (yaitu berdasarkan pada prinsip-prinsip matematika. )