English: Essentially this is a formal model or a mathematically represented model of the security policy.
Telugu: ముఖ్యంగా ఇది ఒక అధికారిక నమూనా లేదా భద్రతా విధానానికి గణితశాస్త్రంగా ప్రాతినిధ్యం వహించిన మోడల్.