- Tytuł:
- Użycie czasowych automatów probabilistycznych do modelowania protokołów zabezpieczających
- Autorzy:
- Siedlecka-Lamch, O.
- Data publikacji:
- 2017
- Słowa kluczowe:
-
czasowy automat probabilistyczny
protokoły zabezpieczające
modelowanie protokołów zabezpieczających
probabilistic timed automata
security protocols
security protocols modeling - Pokaż więcej
- Dostawca treści:
- BazTech