Auflistung Конференції Nach Schlagwort "линейная темпоральная логика"
Anzeige der Dokumente 1-1 von 1
-
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
(2014)Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.