Az információ biztonság formális és félig-formális módszerei - (:unkn) unknown (My University, 2026)