English: So in this way any gaps in the security policy would be deducted and secondly, we could also use tools and techniques in order to argue or prove that the system is indeed secure with respect to the security policy that was defined.
Telugu: కాబట్టి ఈ విధంగా భద్రతా విధానంలో ఏదైనా ఖాళీలు తీసివేయబడతాయి మరియు రెండవది, వాదనలు మరియు పద్ధతులు వాదిస్తూ, భద్రతా విధానానికి సంబంధించి ఈ వ్యవస్థ నిజంగా సురక్షితం అని నిరూపించడానికి లేదా నిరూపించడానికి కూడా ఉపయోగించవచ్చు.