Үүнийг мессежээр илгээх: Logics and languages for reliability and security