Formal verification of security model using SPR tool

Podrobná bibliografia
Hlavní autori:	Kim, Il-Gon (Autor), Kang, Miyoung (Autor), Choi, Jin-Young (Autor), Zegzhda, Peter, D. (Autor), Kalinin, Maksim O. (Autor), Zegzhda, Dmitrij P. (Autor), Kang, Inhye (Autor)
Médium:	Článok
Jazyk:	slovenčina angličtina
Fyzický popis:	Fotogr., sch., tab.
ISSN:	1335-9150
Predmet:	informačná bezpečnosť modelovanie formálna verifikácia

Podobné exempláre