Filter by: Subject
Зараз показуються 1-10 з 1
cryptographic protocols (1) |
information security (1) |
linear temporal logic (1) |
mathematical modelling (1) |
security properties formalization (1) |
защита информации (1) |
криптографические протоколы (1) |
линейная темпоральная логика (1) |
математическое моделирование (1) |
формализация свойств безопасности (1) |