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) |