1. egy informális hivatalos biztonsági házirend modelljének bemutatását. 2. . egy informális hivatalos biztonsági házirend modelljének bemutatását. 3. . A logikailag pontos lepárlása részben vagy egészben a rendszer elektronikus információs biztonsági szabályzatért, fejlett kétértelmű és ellentmondások elkerülése érdekében, és jó alapot a későbbi szakaszában a rendszer kialakítását. Megjegyzés: lehet, hogy egy biztonsági házirend modell formális (azaz alapján a matematikai alapelvei. )