Loma pretrunu izmeklēšana šifrogramtīkla modelī