Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowychKurkowski MirosławVypredanáPostrážiť
