Invia SMS: Bezpečnostná analýza dynamického systému pomocou metódy SQMD